%0 Generic %1 simons_0a_compositional %A Simons, A. %D 2000a %K statecharts _no_doi uml 2000 %T The Compositional Properties of UML Statechart Diagrams %U http://citeseer.ist.psu.edu/391014.html %X This paper proposes a revised semantic interpretation of UML Statechart Diagrams which ensures, under the specified design rules, that Statecharts may be constructed to have true compositional properties. In particular, hierarchical state machines may be properly encapsulated to allow independent verification and compositional testing, something which is not possible under the current UML semantics. Certain problems regarding the formal tractability of UML Satechart Diagrams are addressed,...

@misc{simons_0a_compositional, abstract = {This paper proposes a revised semantic interpretation of UML Statechart Diagrams which ensures, under the specified design rules, that Statecharts may be constructed to have true compositional properties. In particular, hierarchical state machines may be properly encapsulated to allow independent verification and compositional testing, something which is not possible under the current UML semantics. Certain problems regarding the formal tractability of UML Satechart Diagrams are addressed,...}, added-at = {2009-02-11T20:08:40.000+0100}, author = {Simons, A.}, biburl = {https://www.bibsonomy.org/bibtex/2d192e582c2f1bb41dc563a3b00945161/leonardo}, citeulike-article-id = {843670}, interhash = {d6d3f9735b6e07ebf972e665152748bf}, intrahash = {d192e582c2f1bb41dc563a3b00945161}, keywords = {statecharts _no_doi uml 2000}, posted-at = {2006-09-14 23:54:43}, priority = {2}, timestamp = {2009-02-11T20:08:40.000+0100}, title = {The Compositional Properties of UML Statechart Diagrams}, url = {http://citeseer.ist.psu.edu/391014.html}, year = {2000a} }