Subject: RE: Master list of changes
From: Birger Møller-Pedersen (ETO) (Birger.Moller-Pedersen#eto.ericsson.se)
Date: Thu Nov 30 2000 - 08:38:30 GMT
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.
Although virtual state diagrams in itself may not be most pleasing solution, it has obviously been the intention that specialisation of state machines should be there, independent of the form in which the state machine syntactically is part of the agent type.
A correction could e.g. be that a state reference as part of an interaction area of an agent type implies a virtual state type and a state of the type, and that specialisation of the agent type implies a redefinition of the virtual state type.
/birger
-----Original Message-----
From: Martin von Loewis [mailto:loewis#informatik.hu-berlin.de]
Sent: 28. november 2000 11:27
To: rickreed#tseng.co.uk
Cc: meeting#sdl-forum.org
Subject: Re: Master list of changes
> 1. On TD10 item 10 (see Minutes item 2.9) I do not have the proposed text
> from Martin, and the existing text seems to me to cover everything.
> Therefore I have not added anything.
Exactly. That is also what I found later, so I consider this item done.
> 2. On TD41 item 14 the Minutes on Formal Semantics state that "text was
> provided during the meeting" - I do not have that text - so I
> invented some text for 12.1.4 Abstract grammar
My recollection was that you offered to draft some text together with
Thomas, so it's good to hear you did :-)
> 3. On D29 there should be a clarification that "an inlined state graph has
> the same semantics as an agent type with state reference". However,
> there is no text in the minutes - and it is not clear to me what has
> been agreed. Therefore no change has been made.
I think there was indeed no agreement on that proposal.
Regards,
Martin
This archive was generated by hypermail 2a23 : Mon May 05 2008 - 20:30:55 GMT