Subject: RE: SDL-News: A question about state aggregation in SDL-2000
From: Birger Møller-Pedersen (ETO) (Birger.Moller-Pedersen#eto.ericsson.se)
Date: Mon Feb 25 2002 - 14:38:43 GMT
I will try to answer, although I am not sure that I have completely understood the question.
/birger
> -----Original Message-----
> From: Rick Reed TSE [mailto:rickreed#tseng.co.uk]
> Sent: 6. november 2001 20:09
> To: meeting
> Subject: FW: SDL-news: A question about state aggregation in SDL-2000
>
>
> From: Jacqueline Floch <Jacqueline.Floch#item.ntnu.no>
> Reply-To: Jacqueline Floch <Jacqueline.Floch#item.ntnu.no>
> Date: Tue, 06 Nov 2001 15:59:59 +0100
> To: sdlnews#sdl-forum.org
> Subject: SDL-news: A question about state aggregation in SDL-2000
>
> Become an SDL Forum Society member
> <http://www.sdl-forum.org/Society/members.htm>
> The originator of this message is responsible for its content.
> -----From Jacqueline Floch <Jacqueline.Floch#item.ntnu.no> to
> sdlnews -----
>
> Dear SDL users,
>
> I am currently actively experimenting with SDL 2000 - and have a
> question(s) about state aggregation in SDL-2000. I do not
> understand the
> reasons for the choices done by the Study Group 10, and expect some
> feedback from an SDL expert. There are possbly other SDL
> users that wish to
> contribute to the discussion.
>
> From Z.100 section 11.11.2 State aggregation:
> * All entry and exit points of the both the container state
> and the state
> partitions must appear in exactly one Connection-definition.
> * If different partitions exit the composite state through
> different exit
> points, the exit point of the composite state is chosen in a
> non-deterministic way.
>
> I wish to "combine" exit points of the state partitions in a
> flexible way,
> and use the same exit point - in combination with several
> different exit
> points from other states - in different connections. Is this
> need shared by
> any other SDL user? Why does Z.100 set a retriction on the
> appearance of
> exit points in the definition connection?
>
As far as I remember, the appearance of an exit point in a connection plays the same rule as an input signal. So maybe we were wrong here. If it is possible to have the same input signal for different transitions from the same state (but e.g. with different enabling conditions), the same should be possible or connections.
This archive was generated by hypermail 2a23 : Mon May 05 2008 - 20:30:55 GMT