Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
? means 0 or 1, 1 exactly one, \(*\) arbitrary number, \(+\) at least one.
- 2.
- 3.
References
van Der Aalst, W.M., Ter Hofstede, A.H., Kiepuszewski, B., Barros, A.P.: Distributed and parallel databases. Workflow Patterns 14(1), 5–51 (2003)
Fahland, D., de Leoni, M., van Dongen, B., van der Aalst, W.: Checking behavioral conformance of artifacts. BPM Center Report BPM-11-08, BPMcenter.org (2011)
Fdhila, W., Gall, M., Rinderle-Ma, S., Mangler, J., Indiono, C.: Classification and formalization of instance-spanning constraints in process-driven applications. In: La Rosa, M., Loos, P., Pastor, O. (eds.) BPM 2016. LNCS, vol. 9850, pp. 348–364. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-45348-4_20
Gall, M., Rinderle-Ma, S.: Visual modeling of instance-spanning constraints in process-aware information systems. In: Dubois, E., Pohl, K. (eds.) CAiSE 2017. LNCS, vol. 10253, pp. 597–611. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-59536-8_37
Jensen, K., Kristensen, L.M.: Coloured Petri Nets. Springer, Heidelberg (2009). https://doi.org/10.1007/b95112
Ly, L.T., Maggi, F.M., Montali, M., Rinderle-Ma, S., van der Aalst, W.M.P.: Compliance monitoring in business processes: functionalities, application, and tool-support. Inf. Syst. 54, 209–234 (2015)
Mangler, J., Rinderle-Ma, S.: Rule-based synchronization of process activities. In: Commerce and Enterprise Computing, pp. 121–128 (2011)
Mans, R., Russell, N.C., van der Aalst, W.M., Bakker, P.J., Moleman, A.J., Jaspers, M.W.: Proclets in healthcare. J. Biomed. Inform. 43(4), 632–649 (2010)
Martin, N., Swennen, M., Depaire, B., Jans, M., Caris, A., Vanhoof, K.: Retrieving batch organisation of work insights from event logs. Decis. Support Syst. 100, 119–128 (2017)
Pufahl, L., Meyer, A., Weske, M.: Batch regions: Process instance synchronization based on data. In: Enterprise Distributed Object Computing, pp. 150–159 (2014)
dos Santos, D.R., Ranise, S.: On run-time enforcement of authorization constraints in security-sensitive workflows. In: Cimatti, A., Sirjani, M. (eds.) SEFM 2017. LNCS, vol. 10469, pp. 203–218. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-66197-1_13
Senderovich, A., Weidlich, M., Gal, A., Mandelbaum, A.: Queue mining for delay prediction in multi-class service processes. Inf. Syst. 53, 278–295 (2015)
Van Der Aalst, W.: Process Mining: Discovery, Conformance and Enhancement of Business Processes, vol. 2. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-19345-3
Van Der Aalst, W.M., Barthelmess, P., Ellis, C.A., Wainer, J.: Proclets: a framework for lightweight interacting workflow processes. Int. J. Coop. Inf. Syst. 10(04), 443–481 (2001)
Voglhofer, T., Rinderle-Ma, S.: Collection and elicitation of business process compliance patterns with focus on data aspects. Bus. Inf. Syst. Eng. 62, 361–377 (2019)
Weber, B., Reichert, M., Rinderle-Ma, S.: Change patterns and change support features - enhancing flexibility in process-aware information systems. Data Knowl. Eng. 66(3), 438–466 (2008)
Weske, M.: Business Process Management: Concepts, Languages, Architectures. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-73522-9
Winter, K., Rinderle-Ma, S.: Discovering instance-spanning constraints from process execution logs based on classification techniques. In: Enterprise Distributed Object Computing Conference, pp. 79–88 (2017)
Winter, K., Stertz, F., Rinderle-Ma, S.: Discovering instance and process spanning constraints from process execution logs. Inf. Syst. 89, 101484 (2020)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Winter, K., Rinderle-Ma, S. (2020). Defining Instance Spanning Constraint Patterns for Business Processes Based on Proclets. In: Dobbie, G., Frank, U., Kappel, G., Liddle, S.W., Mayr, H.C. (eds) Conceptual Modeling. ER 2020. Lecture Notes in Computer Science(), vol 12400. Springer, Cham. https://doi.org/10.1007/978-3-030-62522-1_11
Download citation
DOI: https://doi.org/10.1007/978-3-030-62522-1_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-62521-4
Online ISBN: 978-3-030-62522-1
eBook Packages: Computer ScienceComputer Science (R0)