Subject: Re: Master list of changes
From: Rick Reed TSE (rickreed#tseng.co.uk)
Date: Sat Dec 09 2000 - 19:28:59 GMT
Birger Møller-Pedersen (ETO) at Birger.Moller-Pedersen#eto.ericsson.se
wrote on 08/12/2000 23:12:
> I agree that I tend to write as little as possible, so your text may be
> better. As far as I can see it says the same as mine (was intended to do). The
> only thing missing is the constraint. The sentence "The constraint of the
> implied state type is the <state partition reference area> and <composite
> state area>, respectively." is based on the fact that the <state partition
> reference area> and <composite state area> are implied types and therefore can
> be constraints, but that could also be spelled out.
Dear Birger, Dear All
I left the constraint out because it did not seem to do anything. Each
implied virtual type by default would have a constraint that is the same is
the implied virtual type according to to 8.3.1 Semantics as far as I can
determine see. If I have understood correctly, then it seems to me nothing
needs to be stated here about the constraint.
In any case the sentence above was (in my opinion) wrong. I think that it
should refer to the implied type rather than to the concrete syntax rules
for the composite state. <composite state reference area> and
<composite state area> are not actually (implied) types themselves, but they
imply types. They are each (as stated below) part of the "shorthand for an
agent type having a state machine based ...".
I therefore suggest to replace the whole Model section of 8.1.1 by:
"An agent type with an <agent body> or an <agent body area> is shorthand for
an agent type having only a state machine, but no contained agents. This
state machine is obtained by replacing the <agent body> or <agent body area>
by a composite state definition. This composite state definition has the
same name as the agent type and its State-transition-graph is represented by
the <agent body> or the <agent body area>. The resulting agent type
definition is then further transformed in the same way as an agent type
directly defined with a composite state.
An agent type with
- a <state partition> with a <composite state reference> or <composite
state> , or
- a <state partition area> with a <composite state reference area> or
<composite state area>
is a shorthand for an agent type having a state machine that is based on a
virtual implied composite state type. The implied state type has the body of
the <composite state reference> or <composite state> or <composite state
reference area> or <composite state area>. If the agent type is a subtype,
and if the supertype has a <state partition> or <state partition area>, the
implied state type is a subtype that implicitly inherits the implied state
type of the supertype.
NOTE: Each implied type has a constraint which is itself (see 8.3.1)."
Any more comments from anyone before this is accepted as "agreed at the
November meeting"!
-- 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