Subject: Re: Channels connected to typebased agents.
From: Eckhardt Holz (holz#informatik.hu-berlin.de)
Date: Mon Jan 22 2001 - 10:17:41 GMT
I agree to delete this because it realy seems to be a left-over. In
SDL-2000 there will always be implcit channles derived from unconnected
gates.
Eckhardt
Rick Reed TSE schrieb:
>
> In 9. Agents Semantics of Z.100 there is a paragraph:
>
> "If an <agent definition> or an <agent type definition>, which is used in a
> <textual typebased agent definition>, contains <channel definition>s and
> <textual typebased agent definition>s, then each gate of the <agent type
> definition>s of the contained <textual typebased agent definition>s must be
> connected to a channel."
(...)
> It seems to me that if the channels are omitted, implicit channels would be
> derived in any case. Also it seems to imply although it is allowed to derive
> a channel to a gate on a non-typebased agent, this is not allowed in the
> typebased case.
>
> I propose to delete the paragraph.
>
> I think that it is old text from the "all channels or no channels" rules of
> SDL-92.
>
> Comments?
>
> --
> 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