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
Translation of UML state machines to Modelica: Handling semantic issues
EADS Innovation Works, Hamburg, Germany.
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, The Institute of Technology. (PELAB)ORCID iD: 0000-0002-3435-4996
Georgia Institute of Technology, Atlanta, GA, USA .
2013 (English)In: Simulation (San Diego, Calif.), ISSN 0037-5497, E-ISSN 1741-3133, Vol. 89, no 4, 498-512 p.Article in journal (Refereed) Published
Abstract [en]

ModelicaML is a UML profile that enables modeling and simulation of systems and their dynamic behavior. ModelicaML 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 and integrated modeling of products containing both software and hardware. This article discusses the usage of executable UML state machines for system modeling, i.e. usage of the same formalism for describing the state-based dynamic behavior of physical system components and software. Moreover, it points out that the usage of Modelica as an action language enables an integrated simulation of continuous-time and reactive/event-based system dynamics. The main purpose of this article is however to highlight issues that are identified regarding the UML specification which are experienced with typical executable implementations of UML state machines. The issues identified are resolved and rationales for the taken design decisions are provided.

Place, publisher, year, edition, pages
SAGE Publications (UK and US) , 2013. Vol. 89, no 4, 498-512 p.
Keyword [en]
UML, Modelica, ModelicaML, execution semantics, state machine, statechart
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:liu:diva-93980DOI: 10.1177/0037549712470296ISI: 000318281000005OAI: oai:DiVA.org:liu-93980DiVA: diva2:628243
Note

Funding Agencies|ITEA2 OPENPROD project||German Bundesministerium fur Bildung und Forschung||Swedish Vinnova||Swedish Strategic Research foundation in the EDOp project||

Available from: 2013-06-13 Created: 2013-06-13 Last updated: 2017-12-13

Open Access in DiVA

No full text

Other links

Publisher's full text

Authority records BETA

Fritzson, Peter

Search in DiVA

By author/editor
Fritzson, Peter
By organisation
Software and SystemsThe Institute of Technology
In the same journal
Simulation (San Diego, Calif.)
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 70 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