TY - GEN
T1 - Defining Instance Spanning Constraint Patterns for Business Processes Based on Proclets
AU - Winter, Karolin
AU - Rinderle-Ma, Stefanie
N1 - Publisher Copyright:
© 2020, Springer Nature Switzerland AG.
PY - 2020
Y1 - 2020
N2 - Instance Spanning Constraints (ISC) establish controls across multiple instances of one or several business process types. Consider, e.g., medical treatments during which drug-drug interactions might occur. Different treatments are likely to be modeled in separate processes, but yet have to be coordinated in order to avoid harm for patients. ISC typically stem from regulatory documents and must be integrated into business processes. In order to facilitate ISC integration, we provide six ISC patterns which are based on a real-world ISC collection as well as a categorization of ISC. The presented ISC patterns are formalized using Proclets based on timed colored workflow nets. This formalization choice results from an elaborated requirements analysis and enables the synchronization of instances of one or several process types while employing well-known process modeling approaches. The ISC patterns are evaluated through their application to i) selected business processes and ii) existing approaches for batching and security in business processes.
AB - Instance Spanning Constraints (ISC) establish controls across multiple instances of one or several business process types. Consider, e.g., medical treatments during which drug-drug interactions might occur. Different treatments are likely to be modeled in separate processes, but yet have to be coordinated in order to avoid harm for patients. ISC typically stem from regulatory documents and must be integrated into business processes. In order to facilitate ISC integration, we provide six ISC patterns which are based on a real-world ISC collection as well as a categorization of ISC. The presented ISC patterns are formalized using Proclets based on timed colored workflow nets. This formalization choice results from an elaborated requirements analysis and enables the synchronization of instances of one or several process types while employing well-known process modeling approaches. The ISC patterns are evaluated through their application to i) selected business processes and ii) existing approaches for batching and security in business processes.
KW - Business process compliance
KW - Business process modeling
KW - Instance spanning constraints
KW - Patterns and reuse
UR - http://www.scopus.com/inward/record.url?scp=85097429735&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-62522-1_11
DO - 10.1007/978-3-030-62522-1_11
M3 - Conference contribution
AN - SCOPUS:85097429735
SN - 9783030625214
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 149
EP - 163
BT - Conceptual Modeling - 39th International Conference, ER 2020, Proceedings
A2 - Dobbie, Gillian
A2 - Frank, Ulrich
A2 - Kappel, Gerti
A2 - Liddle, Stephen W.
A2 - Mayr, Heinrich C.
PB - Springer Science and Business Media Deutschland GmbH
T2 - 39th International Conference on Conceptual Modeling, ER 2020
Y2 - 3 November 2020 through 6 November 2020
ER -