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.
KeywordsUML state machines interleaving product institutions
Unable to display preview. Download preview PDF.
- 1.Object Management Group: Unified Modeling Language. Standard formal/2011-08-06, OMG (2011)Google Scholar
- 4.Große-Rhode, M.: Semantic Integration of Heterogeneous Software Specifications. Monographs in Theoretical Computer Science. Springer (2004)Google Scholar
- 8.Schattkowsky, T., Müller, W.: Transformation of UML State Machines for Direct Execution. In: VL/HCC 2005, pp. 117–124. IEEE (2005)Google Scholar
- 11.Object Management Group: Precise Semantics of UML Composite Structures. Beta Specification ptc/14-06-15, OMG (2014)Google Scholar
- 12.Dereziska, A., Szczykulski, M.: Interpretation Problems in Code Generation from UML State Machines — A Comparative Study. In: Kwater, T. (ed.) Computing in Science and Technology 2011: Monographs in Applied Informatics, pp. 36–50. Warsaw University (2012)Google Scholar
- 13.Lano, K. (ed.): UML 2 — Semantics and Applications. Wiley (2009)Google Scholar
- 16.Codescu, M., Mossakowski, T., Sannella, D., Tarlecki, A.: Specification Refinements: Calculi, Tools, and Applications (2014) (submitted)Google Scholar