An Institution for Simple UML State Machines
Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin, Glauer

TL;DR
This paper develops an abstract formal framework for UML state machines without hierarchy, integrating class diagrams and defining interleaving products for composite behaviors, advancing formal software modeling.
Contribution
It introduces an institution-based formalization of UML state machines, including interaction with class diagrams and a novel interleaving product for composite states.
Findings
Formal semantics for UML state machines without hierarchy
Framework for integrating state machines with class diagrams
Definition of interleaving product for combined behaviors
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSoftware Engineering Research · Model-Driven Software Engineering Techniques · Advanced Software Engineering Methodologies
