Subject: Re: A question about SDL 2000
From: Rick Reed TSE (rickreed#tseng.co.uk)
Date: Tue Nov 06 2001 - 17:54:25 GMT
Here is the question raised by
Jacqueline Floch at Jacqueline.Floch#samson.item.ntnu.no on 11/09/2001
11:22:
> Dear Rick,
>
> I have started to use actively SDL 2000 to model "service roles" and
> service role composition. I found out that the new state concept is very
> powerful, and supports most of the compsition forms that I have defined.
>
> There are still some minor things that I did not understand yet.
> Interpreting the recommendation can sometimes be cumbersome. Moreover it
> would help me, if I could understand the reasons for some choices that were
> done by the Study Group 10.
>
> I have a question related to state aggregation and entry/exit points. Can I
> get som help from you? Or would you advice me to ask the members of the SDL
> Forum Society?
>
> Here is my question:
> ===============
> In Z.100, section 11.11.2 "state aggregation" on page 92: "All entry points
> of both the container state and the state partitions must appear in exactly
> one connection definition"
>
> Does it mean that it is not possible to define the exit condition of the
> state aggregation based on a combination ("logical and") of the exit
> conditions of the state partitions.
>
> Assume that I define the state aggregation A that consists of two
> aggregates B and C. I define two exit points for B: B-E-1 and B-E-2, and
> three exit points for C: C-E-1, C-E-2 and C-E-3.
> I would like to define thhe following exit points for A: (B-E-1, C-E-1),
> (B-E-1, C-E-2), (B-E-1, C-E-3), (B-E-2-, C-E-1), (B-E-2-, C-E-2), (B-E-2-,
> C-E-3).
> I understand that this is not supported by Z.100. Is this right? If so, why?
>
>
> Finally a comment/question
> ====================
> In my work, testing the value on a named return from a state (and similarly
> testing the name of a signal in a decision) would have simplified the
> modelling of choices. Why is this not supported in Z.100?
>
> I thank you for your help. Regards,
> Jacqueline.
>
> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ jacqueline.floch#item.ntnu.no ~~~
> Jacqueline Floch Tel: +47 73 59 28 90
> ITEM, NTNU Fax: 73 59 44 66
> N-7491 Trondheim, Norway Priv: 73 51 52 77
> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ http://www.item.ntnu.no/~jacf ~~~
-- 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