Subject: RE: Master list of changes
From: Birger Møller-Pedersen (ETO) (Birger.Moller-Pedersen#eto.ericsson.se)
Date: Wed Dec 06 2000 - 20:43:58 GMT
What about something like this:
In 9 add the following:
"A <state partition reference area> and <composite state area> of the <state partition area> of an agent type is shorthand for a <composite state area> of an implied virtual composite state type. If the agent type is a subtype, and if the supertype has a <state partition area>, the implied state type is a subtype of the implied state type of the supertype. The constraint of the implied state type is the <state partition reference area> and <composite state area>, respectively."
If this is an acceptable solution, there should be a corresponding text on the textual grammar.
/birger
> -----Original Message-----
> From: Rick Reed TSE [mailto:rickreed#tseng.co.uk]
> Sent: 1. desember 2000 13:30
> To: meeting
> Subject: Re: Master list of changes
>
>
> Dear Birger, Martin and others
>
>
> Birger Møller-Pedersen (ETO) at
> Birger.Moller-Pedersen#eto.ericsson.se
> wrote on 30/11/2000 08:38:
>
> > When we discussed the contribution from Rick on virtual
> state diagram, it was
> > agreed that this had to be solved, and that his solution
> would be the solution
> > if no one came up with a better solution during the meeting.
> >
> > According to the Master List of corrections, the following
> is now part of
> > Z.100:
> >
> > "The <state partition area> of <interaction area>
> identifies the state machine
> > (composite state) of the agent, which may be given directly
> as an agent graph
> > or by reference to a state definition."
> >
> > So, these are two equivalent ways of defining the state
> machine of an agent
> > (and of agent types), and it should be possible to do the same thing
> > independent of the form.
> >
> > The fact that we had not revisited this point was
> discovered during the review
> > of the minutes, and therefore this sentence was added.
>
> It is still not clear to me what is agreed.
>
> Should we change the syntax to:
>
> <state partition reference area> ::=
> [ <virtuality> ] <state symbol> contains <state name>
>
> with a corresponding change in the textual syntax?
>
> What is static conditions (if any) should there be?
>
> I think we said in the informal discussion that the
> virtuality for the agent
> has to match the virtuality of the agent's state machine.
>
> In any case, I suggest that Birger should provide the
> suggested text for the
> Master list of changes, and we come to any agreement on
> whether this was the
> intent of the meeting (or not).
>
> --
> 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