Subject: RE: Channels connected to typebased agents.
anders.ek#telelogic.se
Date: Mon Jan 22 2001 - 16:13:42 GMT
I agree. It was never the intention that a gate name inside the symbol
should be used to show an unconnected gate.
I also agree with your second proposal, to disallow the connection of a
channel and gate symbol. This has been allowed sofar but it has always been
one of those 'allowed but stupid' things that at least we did not plan to
support. If there is a channel connected to a gate, then it is more
convenient to show the connection with only the name of the gate.
Regards
Anders
> -----Original Message-----
> From: Rick Reed TSE [mailto:rickreed#tseng.co.uk]
> Sent: den 22 januari 2001 12:33
> To: meeting
> Subject: Re: Channels connected to typebased agents.
>
>
> On a related issue (perhaps also covered by TDC33 - I have
> not checked), it
> seems that there are two ways of showing unconnected gates
> when there is an
> agent reference area or graphical typebased agent definition
> or inherited
> agent definition:
>
> a) an unconnected gate symbol outside the block or process symbol;
>
> b) a gate name inside the block or process symbol with no
> corresponding
> connected channel.
>
> However, it is doubtful whether (b) is allowed because of the
> sentence:
> "The <gate>s are placed near the border of the symbols and
> associated with
> the connection point to channels."
>
> I propose that:
> a) whenever there is a <gate> inside the symbol there must be
> a channel
> connected to the symbol;
>
> b) a <gate> inside the symbol is mutually exclusive with a
> gate symbol with
> the same name outside the symbol.
>
> The syntax also allows a channel to be connected directly to
> a gate symbol.
> I can see no reason why this would ever be needed. If there
> is a channel
> leading to an agent the gate is not needed. I propose therefore that
> explicit gates are never used when channels are directly
> connected to an
> agent.
>
> --
> Rick Reed - rickreed#tseng.co.uk
> Tel:+44 1455 55 96 55 Fax:+44 1455 55 96 58 Mob.:+44 7970 50 96 50
>
>
This archive was generated by hypermail 2a23 : Mon May 05 2008 - 20:30:55 GMT