liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Execution of UML state machines using modelica
Airbus.
Department of Computer Science, University of Paderborn, Germany.
Linköping University, Department of Computer and Information Science. (PELAB)ORCID iD: 0000-0002-3435-4996
Georgia Institute of Technology, Atlanta, United States.
Show others and affiliations
2010 (English)In: Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2010 - In Conjunction with MODELS 2010, Linköping University Electronic Press , 2010, 1-10 p.Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Linköping University Electronic Press , 2010. 1-10 p.
Series
Linköping Electronic Conference Proceedings, ISSN 1650-3686 (print), 1650-3740 (online)
Series
Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2010 - In Conjunction with MODELS 2010
Keyword [en]
Execution semantics; Modelica; ModelicaML; State machine; Statechart; UML
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:liu:diva-100700ISBN: 978-91-7519-824-8 (print)OAI: oai:DiVA.org:liu-100700DiVA: diva2:664331
Conference
3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2010 - In Conjunction with MODELS 2010
Available from: 2013-11-14 Created: 2013-11-11 Last updated: 2016-04-29

Open Access in DiVA

No full text

Authority records BETA

Fritzson, Peter

Search in DiVA

By author/editor
Fritzson, Peter
By organisation
Department of Computer and Information Science
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 105 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf