An Institution for Simple UML State Machines

  • Alexander Knapp
  • Till Mossakowski
  • Markus Roggenbach
  • Martin Glauer
Conference paper

DOI: 10.1007/978-3-662-46675-9_1

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9033)
Cite this paper as:
Knapp A., Mossakowski T., Roggenbach M., Glauer M. (2015) An Institution for Simple UML State Machines. In: Egyed A., Schaefer I. (eds) Fundamental Approaches to Software Engineering. FASE 2015. Lecture Notes in Computer Science, vol 9033. Springer, Berlin, Heidelberg

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.

Keywords

UML state machines interleaving product institutions 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2015

Authors and Affiliations

  • Alexander Knapp
    • 1
  • Till Mossakowski
    • 2
  • Markus Roggenbach
    • 3
  • Martin Glauer
    • 2
  1. 1.Universität AugsburgAugsburgGermany
  2. 2.Otto-von-Guericke Universität MagdeburgMagdeburgGermany
  3. 3.Swansea UniversitySwanseaUK

Personalised recommendations