An Institution for Simple UML State Machines

We present an institution for UML state machines without hierarchical states. The interaction with UML class diagrams is handled via institutions for guards and actions, which provide dynamic components of states such as valuations of attributes but abstract away from details of class diagrams. We also study a notion of interleaving product, which captures the interaction of several state machines. The interleaving product construction is the basis for a semantics of composite structure diagrams, which can be used to specify the interaction of state machines. This work is part of a larger effort to build a framework for formal software development with UML, based on a heterogeneous approach using institutions.

[1]  Wolfgang Müller,et al.  Transformation of UML state machines for direct execution , 2005, 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05).

[2]  Markus Roggenbach,et al.  Structured CSP - A Process Algebra as an Institution , 2006, WADT.

[3]  Tomasz Borzyszkowski.  Logical systems for structured specifications , 2002, Theor. Comput. Sci..

[4]  Till Mossakowski,et al.  A Simple Refinement Language for Casl , 2004, WADT.

[5]  Dieter Hutter,et al.  Development graphs - Proof management for structured specifications , 2006, J. Log. Algebraic Methods Program..

[6]  R. Azvan Diaconescu,et al.  Grothendieck Institutions , 2002 .

[7]  Reiko Heckel,et al.  The Consistency Workbench: A Tool for Consistency Management in UML-Based Development , 2003, UML.

[8]  Markus Roggenbach,et al.  CSP-CASL - A new integration of process algebra and algebraic specification , 2006, Theor. Comput. Sci..

[9]  Martin Grogbse-Rhode,et al.  Semantic Integration of Heterogeneous Software Specifications (Monographs in Theoretical Computer Science) , 2004 .

[10]  Markus Roggenbach,et al.  An Institutional Framework for Heterogeneous Formal Development in UML. , 2014 .

[11]  Kevin Lano,et al.  UML 2 Semantics and Applications , 2009 .

[12]  S. Wölfl,et al.  The Heterogeneous Tool Set , 2007 .

[13]  Nora Szasz,et al.  Institutionalising UML 2.0 state machines , 2011, Innovations in Systems and Software Engineering.

[14]  Joseph A. Goguen,et al.  Institutions: abstract model theory for specification and programming , 1992, JACM.

[15]  Till Mossakowski,et al.  Specification refinements: Calculi, tools, and applications , 2017, Sci. Comput. Program..

[16]  Anna Dereziska,et al.  Interpretation Problems in Code Generation from UML State Machines - a Comparative Study , 2012 .

[17]  Markus Roggenbach,et al.  Compositional Modelling and Reasoning in an Institution for Processes and Data , 2010, WADT.

[18]  Martin Große-Rhode,et al.  Semantic Integration of Heterogeneous Software Specifications , 2004, Monographs in Theoretical Computer Science. An EATCS Series.

[19]  Markus Roggenbach,et al.  Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper - , 2015, Software, Services, and Systems.

[20]  Martin Gogolla.  Unified Modeling Language , 2009, Encyclopedia of Database Systems.

[21]  Harald Fecher,et al.  UML 2.0 State Machines: Complete Formal Semantics Via core state machine , 2006, FMICS/PDMC.

[22]  Till Mossakowski,et al.  The Heterogeneous Tool Set (Hets) , 2007, VERIFY.