Subject: gates in states
From: Rick Reed TSE (rickreed#tseng.co.uk)
Date: Fri Jan 19 2001 - 20:29:21 GMT
It is allowed to have gates on a state (type) diagram: <gate on diagram> is
an optional part of <composite state type diagram>, <composite state graph
area> and <state aggregation area>.
For <composite state graph area> and <state aggregation area> there are
static conditions that the <gate on diagram>s may only be connected by
channels in case the <composite state graph area> or <state aggregation
area> is the <state machine area> of an agent.
There is condition for a Composite-state-type-definition that the
Gate-definition-set must be empty unless the composite state is used as a
State-machine-definition.
This last condition seems unnecessary because it seems harmless if a
composite state type defines gates that are not used. It is therefore
propose to delete this last condition.
However, even if gates are defined on a composite state type, the current
Z.100 graphical syntax does not allow these gates in a <graphical typebased
state partition definition>.
a) Was this intentional?
b) Alternatively, should <gate>s be contained within the state symbol or
<gate property area>s be connected to the state symbol for use as connection
points for channels?
In the current syntax there is no way to connect a channel to a named gate
of a graphical typebased state partition.
In the case of a <state partition area> that not typebased, it can be a
<composite state graph area> or <state aggregation area> has a <gate on
diagram> to which a channel can be connected. However, Z.100 does not allow
a channel to be connected to a specific gate in the case of a <state
partition reference area>. So it appears there is an inconsistency between a
partition that is referenced and one that is not.
I propose therefore that <gate>s be allowed in the state symbol in these
cases.
-- 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