| Publication type: |
Article in Proceedings |
| Author: |
Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer |
| Editor: |
Alexander Egyed, Ina Schaefer |
| Title: |
An Institution for Simple UML State Machines |
| Book / Collection title: |
8th International Conference on Fundamental Approaches to Software Engineering (FASE) |
| Series: |
Lecture Notes in Computer Science |
| Publisher: |
Springer |
| 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.
|
| PDF Version: |
http://iws.cs.uni-magdeburg.de/~mossakow/papers/UML-sm.pdf |
| Keywords: |
UML state machines interleaving product institutions |
| Status: |
Reviewed |
| Last updated: |
02. 02. 2015 |
