Statechart DNA

We introduce and explore a new statechart (sc) abstraction method and define a simplified statechart (ssc) model. We study the basic building blocks (so the term 'DNA') of UML sc models. Within this formal approach, we untangle the object-oriented concepts characterizing the UML. We treat triggers, guards and effects as related to each other, but make no reference to any explicit value (type) in the computation. This abstract approach allows us to introduce mathematical manipulations of UML sc, in line with the theory of regular automata. Statechart DNA has been applied in defining complexity metrics for UML sc models, the automatic generation of model test cases and behavior manipulations in CASE tool environments.

[1]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[2]  Ivar Jacobson,et al.  Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series) , 2005 .

[3]  Albert Hoogewijs,et al.  SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts , 2006, WADT.

[4]  Vivek Sarkar,et al.  Location Consistency-A New Memory Model and Cache Consistency Protocol , 2000, IEEE Trans. Computers.

[5]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[6]  Albert Hoogewijs,et al.  Scenario-Based Analysis of Statechart Construction , 2006 .

[7]  Anneke Kleppe,et al.  The Object Constraint Language: Getting Your Models Ready for MDA , 2003 .

[8]  Albert Hoogewijs,et al.  UML based Verification of Software , 2004 .

[9]  T.M. Duffy,et al.  Scenario-Based Design: Envisioning Work and Technology in System Development [Book Review] , 1996, IEEE Transactions on Professional Communication.

[10]  Jiro Tanaka,et al.  Synthesizing statecharts from multiple interrelated scenarios , 2002 .

[11]  Jeremy Manson,et al.  JSR-133: Java Memory Model and Thread Specification , 2003 .

[12]  Peter Linz,et al.  An Introduction to Formal Languages and Automata , 1997 .

[13]  David Harel,et al.  The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version , 2004, SoftSpez Final Report.

[14]  Peter Linz,et al.  An Introduction to Formal Languages and Automata , 2011 .

[15]  Johann Schumann,et al.  Generating statechart designs from scenarios , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[16]  Erkki Mäkinen,et al.  An Interactive Approach for Synthesizing UML Statechart Diagrams from Sequence Diagrams , 2000, OOPSLA 2000.

[17]  Reginald L. Hobbs.  Using A Scenario Specification Language to Add Context to Design Patterns , 2004, SEKE.

[18]  B. De Leeuw,et al.  Formal management of object behavior with statechart DNA , 2007, AFRICON 2007.