Conference article

Execution of UMLState Machines Using Modelica

Wladimir Schamai
EADS Innovation Works, Germany

Uwe Pohlmann
University of Paderborn, Department of Computer Science, Germany

Peter Fritzson
Linköping University, PELAB – Programming Environment Lab, Sweden

Christiaan J. J. Paredis
Georgia Institute of Technology, Atlanta, USA

Philipp Helle
EADS Innovation Works, Germany

Carsten Strobel
EADS Innovation Works, Germany

Download article

Published in: 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; Oslo; Norway; October 3

Linköping Electronic Conference Proceedings 47:1, p. 1-10

Show more +

Published: 2010-09-21

ISBN: 978-91-7519-824-8

ISSN: 1650-3686 (print), 1650-3740 (online)


ModelicaML is a UML profile for the creation of executable models. ModelicaML supports the Model-Based Systems Engineering (MBSE) paradigm and combines the power of the OMG UML standardized graphical notation for systems and software modeling; and the simulation power of Modelica. This addresses the increasing need for precise integrated modeling of products containing both software and hardware. This paper focuses on the implementation of executable UML state machines in ModelicaML and demonstrates that using Modelica as an action language enables the integrated modeling and simulation of continuous-time and reactive or event-based system dynamics. More specifically; this paper highlights issues that are identified in the UML specification and that are experienced with typical executable implementations of UML state machines. The issues identified are resolved and rationales for design decisions taken are discussed.


UML; Modelica; ModelicaML; Execution Semantics; State Machine; Statechart


[1] Modelica Association. Modelica: A Unified Object- Oriented Language for Physical Systems Modeling: Language Specification Version 3.0; Sept 2007.

[2] OMG. OMG Unified Modeling Language TM (OMG UML). Superstructure Version 2.2; February 2009.

[3] Peter Fritzson. Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. Wiley-IEEE Press; 2004.

[4] OMG. OMG Systems Modeling Language (OMG SysML™); Version 1.1; November 2008.

[5] Martin Otter; Martin Malmheden; Hilding Elmqvist; Sven Erik Mattsson; Charlotta Johnsson. A New Formalism for Modeling of Reactive and Hybrid Systems. Proceedings of the 7th International Modelica Conference; Como; Italy. September 20-22; 2009.

[6] Ferreira J. A. and Estima de Oliveira J. P.; Modelling Hybrid Systems Using Statecharts And Modelica. Department of Mechanical Engineering; University of Aveiro; 3810 Aveiro (PORTUGAL); Department of Electronic Engineering; University of Aveiro; 3810 Aveiro (PORTUGAL)

[7] Adrian Pop; David Akhvlediani; Peter Fritzson. Towards Unified Systems Modeling with the ModelicaML UML Profile. International Workshop on Equation-Based Object- Oriented Languages and Tools. Berlin; Germany; Linköping University Electronic Press;; 2007

[8] Thomas Johnson; Christian Paredis; Roger Burkhart. Integrating Models and Simulations of Continuous Dynamics into SysML.

[9] Johnson; T. A. Integrating Models and Simulations of Continuous Dynamic System Behavior into SysML. M.S. Thesis; G.W. Woodruff School of Mechanical Engineering; Georgia Institute of Technology. Atlanta; GA. 2008

[10] M. von der Beeck. A Comparison of Statecharts Variants. In Formal Techniques in Real-Time and Fault-Tolerant Systems; LNCS 863; pages 128-148. Springer; 1994.

[11] Michelle L. Crane and Juergen Dingel. UML vs. Classical vs. Rhapsody Statecharts: Not All Models are Created Equal School of Computing; Queen’s University Kingston; Ontario; Canada

[12] Object Management Group (OMG).

[13] Wladimir Schamai; Peter Fritzson; Chris Paredis; Adrian Pop. Towards Unified System Modeling and Simulation with ModelicaML: Modeling of Executable Behavior Using Graphical Notations. Proceedings of the 7th International Modelica Conference; Como; Italy. September 20- 22; 2009

[14] IBM® Rational® Rhapsody® Designer for Systems Engineers; http://www-

[15] ModelicaML - A UML Profile for Modelica.

Citations in Crossref