Complete Code Generation from UML State Machine

Van Cam Pham, Ansgar Radermacher, Sébastien Gérard, Shuai Li

2017

Abstract

An event-driven architecture is a useful way to design and implement complex systems. The UML State Machine and its visualizations are a powerful means to the modeling of the logical behavior of such an architecture. In Model Driven Engineering, executable code can be automatically generated from state machines. However, existing generation approaches and tools from UML State Machines are still limited to simple cases, especially when considering concurrency and pseudo states such as history, junction, and event types. This paper provides a pattern and tool for complete and efficient code generation approach from UML State Machine. It extends IF-ELSE-SWITCH constructions of programming languages with concurrency support. The code generated with our approach has been executed with a set of state-machine examples that are part of a test-suite described in the recent OMG standard Precise Semantics Of State Machine. The traced execution results comply with the standard and are a good hint that the execution is semantically correct. The generated code is also efficient: it supports multi-thread-based concurrency, and the (static and dynamic) efficiency of generated code is improved compared to considered approaches.

Paper Citation

in Harvard Style

Pham V., Radermacher A., Gérard S. and Li S. (2017). Complete Code Generation from UML State Machine . In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-210-3, pages 208-219. DOI: 10.5220/0006274502080219

in Bibtex Style

@conference{modelsward17,
author={Van Cam Pham and Ansgar Radermacher and Sébastien Gérard and Shuai Li},
title={Complete Code Generation from UML State Machine},
booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2017},
pages={208-219},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006274502080219},
isbn={978-989-758-210-3},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Complete Code Generation from UML State Machine
SN - 978-989-758-210-3
AU - Pham V.
AU - Radermacher A.
AU - Gérard S.
AU - Li S.
PY - 2017
SP - 208
EP - 219
DO - 10.5220/0006274502080219