Software & Systems Modeling

, Volume 15, Issue 1, pp 281–302

Synthesizing object life cycles from business process models

Regular Paper

DOI: 10.1007/s10270-014-0406-4

Cite this article as:
Eshuis, R. & Van Gorp, P. Softw Syst Model (2016) 15: 281. doi:10.1007/s10270-014-0406-4


Unified modeling language (UML) activity diagrams can model the flow of stateful business objects among activities, implicitly specifying the life cycles of those objects. The actual object life cycles are typically expressed in UML state machines. The implicit life cycles in UML activity diagrams need to be discovered in order to derive the actual object life cycles or to check the consistency with an existing life cycle. This paper presents an automated approach for synthesizing a UML state machine modeling the life cycle of an object that occurs in different states in a UML activity diagram. The generated state machines can contain parallelism, loops, and cross-synchronization. The approach makes life cycles that have been modeled implicitly in activity diagrams explicit. The synthesis approach has been implemented using a graph transformation tool and has been applied in several case studies.


Process models State machines UML Model transformation 

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  1. 1.Eindhoven University of Technology EindhovenThe Netherlands

Personalised recommendations