Business processes are instrumental to manage work in organisations. To study the interdependencies between business processes, Business Process Architectures (BPA) have been introduced. These express trigger and message flow relations between business processes. When we investigate real world business process architectures we find complex interdependencies, involving multiple process instances. These aspects have not been studied in detail so far, especially concerning correctness properties. In this paper, we propose a modular transformation of BPAs to open nets for the analysis of behavior involving multiple business processes instances with multi-communication. © 2013 Springer-Verlag.
CITATION STYLE
Eid-Sabbagh, R. H., Hewelt, M., & Weske, M. (2013). Business process architectures with multiplicities: Transformation and correctness. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8094 LNCS, pp. 227–234). https://doi.org/10.1007/978-3-642-40176-3_19
Mendeley helps you to discover research relevant for your work.