Subject: RE: Master list of changes
From: Birger Møller-Pedersen (ETO) (Birger.Moller-Pedersen#eto.ericsson.se)
Date: Sun Dec 10 2000 - 07:44:42 GMT
This is ok with me.
/birger
> -----Original Message-----
> From: Rick Reed TSE [mailto:rickreed#tseng.co.uk]
> Sent: 9. desember 2000 20:29
> To: meeting
> Subject: Re: Master list of changes
>
>
> 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