Article | 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; Oslo; Norway; October 3 | Execution of UMLState Machines Using Modelica

Title:
Execution of UMLState Machines Using Modelica
Author:
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:
Full text (pdf)
Year:
2010
Conference:
3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; Oslo; Norway; October 3
Issue:
047
Article no.:
001
Pages:
1-10
No. of pages:
10
Publication type:
Abstract and Fulltext
Published:
2010-09-21
ISBN:
978-91-7519-824-8
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press; Linköpings universitet


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.

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

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

Author:
Wladimir Schamai, Uwe Pohlmann, Peter Fritzson, Christiaan J. J. Paredis, Philipp Helle, Carsten Strobel
Title:
Execution of UMLState Machines Using Modelica
References:

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


[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; www.ep.liu.se; 2007


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


[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). www.omg.org


[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- 01.ibm.com/software/rational/products/rhapsody/designer/


[15] ModelicaML - A UML Profile for Modelica. www.openmodelica.org/index.php/developer/tools/134

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

Author:
Wladimir Schamai, Uwe Pohlmann, Peter Fritzson, Christiaan J. J. Paredis, Philipp Helle, Carsten Strobel
Title:
Execution of UMLState Machines Using Modelica
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment