RE: Flatenning statecharts



Date view Thread view Subject view Author view

Ivan Porres (iporres@abo.fi)
Tue, 6 Nov 2001 13:03:08 +0200


I haven't read the book. I just fetched it and after browsing it for 5 minutes it seems that our concept of flattened statechart is quite similar to the FREE model. The book cites some algorithms for flattening statecharts but they are all pre-UML (the most modern is by Holzmann 91), so I assume they will be of little help for our work. Calculating the crossproduct of states is easy, the problem is to inteprete the Big Mess^H^H^H^H^H^H^H^H UML standard and to deal with all the different model elements defined there. Thank your for the reference to the book. I'll definitelty read it. Ivan > -----Original Message----- > From: puml-list-request@cs.york.ac.uk > [mailto:puml-list-request@cs.york.ac.uk]On Behalf Of Jason Gorman > Sent: den 6 november 2001 11:34 > To: puml-list@cs.york.ac.uk > Subject: Re: Flatenning statecharts > > > Is this a little like the FREE model that Robert Binder discusses in his > book on OO testing? > > Jason Gorman > > ----- Original Message ----- > From: "Ivan Porres" <iporres@abo.fi> > To: "Puml-List@Cs. York. Ac. Uk" <puml-list@cs.york.ac.uk> > Sent: Tuesday, November 06, 2001 7:35 AM > Subject: Flatenning statecharts > > > > Dear UML scholars, > > > > We have been thinking about flattening UML statecharts, i.e. removing > > hierarchy, orthogonal regions etc. By flattening UML statechart we do > > not mean converting a UML statechart into a finite-state > > automaton, but to another statechart that only uses the "simpler" model > > elements. > > > > In the <<UML>> conference in Toronto, people seemed to agree that you > > cannot always flatten UML statecharts. However, We can't really think > > of an example where you cannot flatten a composite state with > > orthogonal regions by taking the Cartesian product of the substates > > (and arranging transitions accordingly). > > > > Can anyone give such an example or pointers to papers that discuss > > this? > > > > > > Regards, > > > > Dag and Ivan > > > > --- > > Ivan Porres > > iporres@abo.fi http://www.abo.fi/~iporres > > Lemminkaisenkatu 14A - FIN-20520 Turku Finland > > Phone +358-2-2153463 Fax: +358-2-2410154 > > > > > > > > > > To remove yourself from this list please mail > puml-list-request@cs.york.ac.uk > > with a message containing the word "unsubscribe". > > > > > > > > > To remove yourself from this list please mail > puml-list-request@cs.york.ac.uk > with a message containing the word "unsubscribe". > >


Date view Thread view Subject view Author view