Although several process modeling languages allow one to specify processes with multiple start elements, the precise semantics of such models are often unclear, both from a pragmatic and from a theoretical point of view. This paper addresses the lack of research on this problem and introduces the CASU framework. The contribution of this framework is a systematic description of design alternatives for the specification of instantiation semantics of process modeling languages. We classify six of the most prominent languages by the help of this framework. Our work provides the basis for the design of new correctness criteria as well as for the formalization of EPCs and extension of BPMN. It complements research such as the workflow patterns. © 2008 Springer Berlin Heidelberg.
CITATION STYLE
Decker, G., & Mendling, J. (2008). Instantiation semantics for process models. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5240 LNCS, pp. 164–179). Springer Verlag. https://doi.org/10.1007/978-3-540-85758-7_14
Mendeley helps you to discover research relevant for your work.