Subject: Composite state entry and exit procedures
From: Rick Reed TSE (rickreed#tseng.co.uk)
Date: Fri Dec 22 2000 - 23:01:32 GMT
1. States in entry/exit procedures
There is a conditions that these procedures shall contain a single
transition. However, this does not prevent them calling another procedure
with internal states.
I suggest instead
"A procedure with states is a procedure that contains a state (explicit or
implicit) or calls a procedure with states. An entry procedures shall not be
a procedure with states. An exit procedures shall not be a procedure with
states."
2. Global procedures called entry and exit
The normal situation in SDL is that any visible procedure can be called.
It is not clear whether a visible procedure with the name entry (or exit)
counts as an entry (or exit respectively) procedure. I assume that this was
not intended and in any case it would be possible to explicitly inherit
another procedure.
I suggest therefore in the Abstract grammar of 11.11:
"A procedure with states is a procedure that contains a state (explicit or
implicit) or calls a procedure with states.
Entry-procedure-definition of a Composite-state-graph or
State-aggregation-node is a procedure without parameters explicitly defined
in the Composite-state-graph or State-aggregation-node respectively with the
name entry. An entry procedure shall not be a procedure with states.
Exit-procedure-definition of a Composite-state-graph or
State-aggregation-node is a procedure without parameters explicitly defined
in the Composite-state-graph or State-aggregation-node respectively with the
name exit. An exit procedure shall not be a procedure with states."
-- 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