A software development process based on UML state machines

Eric Cariou (1) , Lea Brunschwig (2) , Olivier Le Goaer (1) , Franck Barbier (1)

1 LIUPPA - Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour
2 UAM - Universidad Autónoma de Madrid

We propose a model-based software development process based on UML state machines. State machines are executable models and such models offer the advantage to capture the behavior of a system at a high-level of abstraction. Besides, the business parts of the system can be specified and weave onto the executable models, applying a good separation of concerns. While advanced standards such as fUML enable to define the complete contents of an application at the model level, it leads to too much complexity and prevents flexibility in the use of existing code. For these reasons, we propose an intermediate and pragmatic approach where a UML state machine is compiled onto Java code for our lightweight execution engine PauWare. The business parts of the application are then implemented in standard Java.

Keywords: Model-driven engineering; software development; executable models; code generation; UML state machines; PauWare

Domains: Software Engineering [cs.SE]

Eric Cariou, Lea Brunschwig, Olivier Le Goaer, Franck Barbier. A software development process based on UML state machines. 2020 International Conference on Advanced Aspects of Software Engineering (ICAASE), Nov 2020, Constantine, France. pp.1-8, ⟨10.1109/ICAASE51408.2020.9380117⟩. ⟨hal-03767300⟩