Subject: Channels connected to typebased agents.
From: Rick Reed TSE (rickreed#tseng.co.uk)
Date: Sat Jan 20 2001 - 17:29:26 GMT
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."
The paragraph is a bit difficult to understand, and I think it can be made
clearer as:
"If an <agent definition> contains <channel definition>s and <textual
typebased agent definition>s, then each gate of the <agent type definition>s
of these contained <textual typebased agent definition>s must be connected
to a channel.
If an <agent type definition> is used in a <textual typebased agent
definition> and the <agent type definition> contains <channel definition>s
and <textual typebased agent definition>s, then each gate of the <agent type
definition>s of these contained <textual typebased agent definition>s must
be connected to a channel."
Of course, these should be conditions on the textual syntax with equivalent
conditions on the graphical syntax, or should be re-phrased to apply to the
abstract syntax. BUT DO WE NEED THE CONDITIONS AT ALL?
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