UML 2.0 state machines: complete formal semantics via core state machines

Authors:
Harald Fecher;Jens Schönborn
Affiliations:
Christian-Albrechts-University at Kiel, Germany;Christian-Albrechts-University at Kiel, Germany
Venue:
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Year:
2006

Citing 3
Cited 6

Evolving algebras 1993: Lipari guide

Specification and validation methods
The STATEMATE semantics of statecharts

ACM Transactions on Software Engineering and Methodology (TOSEM)
29 new unclarities in the semantics of UML 2.0 state machines

ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering

Refinement Sensitive Formal Semantics of State Machines With Persistent Choice

Electronic Notes in Theoretical Computer Science (ENTCS)
Interpretation of history pseudostates in orthogonal states of UML state machines

NGITS'09 Proceedings of the 7th international conference on Next generation information technologies and systems
Institutionalising UML 2.0 state machines

Innovations in Systems and Software Engineering
Refinement patterns for hierarchical UML state machines

FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Unifying the semantics of UML 2 state, activity and interaction diagrams

PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
An application-level technique based on recursive hierarchical state machines for agent execution state capture

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

UML has become the standard modeling language for object-oriented systems. The informal description of UML and its continuous extension cause many ambiguities. Therefore, a formal semantics for UML is necessary, especially for formal reasoning and tool development. We present a formal semantics of UML 2.0 state machines, which are used for modeling the reactive behavior of objects, by (i) deriving core state machines with fewer design features and a precise syntax, (ii) developing a formal semantics for core state machines, and (iii) presenting a complete transformation from UML 2.0 state machines to core state machines. Such a transformational approach provides the opportunity of easy adaption to future changes of the semantics of UML state machines.