Article

Transformation of UML State Machines for Direct Execution

Authors:

Tim Schattkowsky,

Wolfgang MullerAuthors Info & Claims

VLHCC '05: Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing

Pages 117 - 124

https://doi.org/10.1109/VLHCC.2005.64

Published: 20 September 2005 Publication History

Publisher Site

Abstract

Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In this context, the direct execution of UML State Machines is an interesting alternative to native code generation approaches since it significantly increases portability. However, fully featured UML 2.0 State Machines may contain a broad set of features with complex execution semantics that differ significantly from other StateChart variants. This makes their direct execution complex and inefficient. In this paper, we demonstrate how such State Machines can be represented using a small subset of the UML State Machine features that enables efficient execution. We describe the necessary model transformations in terms of graph transformations and discuss the underlying semantics and implications for execution.

Cited By

View all

Kong JZhang KDong JXu D(2019)Specifying behavioral semantics of UML diagrams through graph transformationsJournal of Systems and Software10.1016/j.jss.2008.06.03082:2(292-306)Online publication date: 2-Jan-2019
https://dl.acm.org/doi/10.1016/j.jss.2008.06.030
Besnard VBrun MJouault FTeodorov CDhaussy PWąsowski APaige RHaugen Ø(2018)Unified LTL Verification and Embedded Execution of UML ModelsProceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3239372.3239395(112-122)Online publication date: 14-Oct-2018
https://dl.acm.org/doi/10.1145/3239372.3239395
Llopard IFabre CCohen A(2017)From a Formalized Parallel Action Language to Its Efficient Code GenerationACM Transactions on Embedded Computing Systems10.1145/299019516:2(1-28)Online publication date: 16-Jan-2017
https://dl.acm.org/doi/10.1145/2990195
Show More Cited By

Index Terms

Transformation of UML State Machines for Direct Execution
1. Social and professional topics
  1. Professional topics
    1. Management of computing and information systems
      1. Project and people management
        Systems analysis and design
2. Software and its engineering
  1. Software notations and tools
    1. Context specific languages
      1. Visual languages
    2. General programming languages
      1. Language types

Recommendations

Symbolic execution of UML-RT State Machines
SAC '12: Proceedings of the 27th Annual ACM Symposium on Applied Computing

UML-RT is one of the languages used in the industrial practice of the model-driven development (MDD). The language is a proper profile of UML 2 and it uses UML-RT State Machines to model behavior of systems. This paper presents a technique for a ...
Using UML Action Semantics for model execution and transformation
The 13th international conference on advanced information systems engineering (CAiSE*01)

The Unified Modelling Language (UML) lacks precise and formal foundations and semantics for several modeling constructs, such as transition guards or method bodies. These semantic discrepancies and loopholes prevent executability, making early testing ...
Modelling UML state machines with FoCaLiZe

UML and OCL are largely adopted as a standard to describe the static and the dynamic aspects of systems and to specify their properties. Model driven engineering MDE techniques can be used to automatically generate code from such models. For critical ...

Comments

Information & Contributors

Information

Published In

VLHCC '05: Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing

September 2005

304 pages

ISBN:0769524435

Publisher

IEEE Computer Society

United States

Publication History

Published: 20 September 2005

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 22 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Kong JZhang KDong JXu D(2019)Specifying behavioral semantics of UML diagrams through graph transformationsJournal of Systems and Software10.1016/j.jss.2008.06.03082:2(292-306)Online publication date: 2-Jan-2019
https://dl.acm.org/doi/10.1016/j.jss.2008.06.030
Besnard VBrun MJouault FTeodorov CDhaussy PWąsowski APaige RHaugen Ø(2018)Unified LTL Verification and Embedded Execution of UML ModelsProceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3239372.3239395(112-122)Online publication date: 14-Oct-2018
https://dl.acm.org/doi/10.1145/3239372.3239395
Llopard IFabre CCohen A(2017)From a Formalized Parallel Action Language to Its Efficient Code GenerationACM Transactions on Embedded Computing Systems10.1145/299019516:2(1-28)Online publication date: 16-Jan-2017
https://dl.acm.org/doi/10.1145/2990195
Knapp AMossakowski TRoggenbach MGlauer M(2015)An Institution for Simple UML State MachinesProceedings of the 18th International Conference on Fundamental Approaches to Software Engineering - Volume 903310.1007/978-3-662-46675-9_1(3-18)Online publication date: 11-Apr-2015
https://dl.acm.org/doi/10.1007/978-3-662-46675-9_1
Llopard ICohen AFabre CHili NCorporaal HStuijk S(2014)A parallel action language for embedded applications and its compilation flowProceedings of the 17th International Workshop on Software and Compilers for Embedded Systems10.1145/2609248.2609257(118-127)Online publication date: 10-Jun-2014
https://dl.acm.org/doi/10.1145/2609248.2609257
Ito KMatsuura S(2010)Model driven development for embedded systemsProceedings of the 9th WSEAS international conference on Software engineering, parallel and distributed systems10.5555/1807733.1807750(102-108)Online publication date: 20-Feb-2010
https://dl.acm.org/doi/10.5555/1807733.1807750

Abstract

Cited By

Index Terms

Recommendations

Symbolic execution of UML-RT State Machines

Using UML Action Semantics for model execution and transformation

Modelling UML state machines with FoCaLiZe

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations