Abstract
Business process compliance has been widely addressed resulting in works ranging from proposing compliance patterns to checking and monitoring techniques. However, little attention has been paid to a specific type of constraints known as instance spanning constraints (ISC). Whereas traditional compliance rules define constraints on process models, which are checked separately for each instance, ISC impose constraints that span multiple instances. This paper focuses on ISC evolution and its impact on process compliance. In particular, ISC change operations, as well as change strategies are defined, and the impact on both the ISC monitoring engine and the process instances during run time are analyzed. The concepts are prototypically implemented.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
The full source code, as well as supplementary material can be found under http://gruppe.wst.univie.ac.at/projects/crisp/index.php?t=iscevolution.
References
Casati, F., Ceri, S., Pernici, B., Pozzi, G.: Workflow evolution. DKE 24(3), 211–238 (1998)
Comuzzi, M.: Aligning monitoring and compliance requirements in evolving business networks. OTM 2014. LNCS, vol. 8841, pp. 166–183. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-45563-0_10
Fdhila, W., Knuplesch, D., Rinderle-Ma, S., Reichert, M.: Change and compliance in collaborative processes. In: Services Computing (2015)
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
Fdhila, W., Rinderle-Ma, S., Knuplesch, D., Reichert, M.: Change and compliance in collaborative processes. In: Services Computing, pp. 162–169 (2015)
Forgy, C.: Rete: a fast algorithm for the many patterns/many objects match problem. Artif. Intell. 19(1), 17–37 (1982)
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
Indiono, C., Mangler, J., Fdhila, W., Rinderle-Ma, S.: Rule-based runtime monitoring of instance-spanning constraints in process-aware information systems. In: Debruyne, C. (ed.) OTM 2016. LNCS, vol. 10033, pp. 381–399. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-48472-3_22
Knuplesch, D., Fdhila, W., Reichert, M., Rinderle-Ma, S.: Detecting the effects of changes on the compliance of cross-organizational business processes. In: Johannesson, P., Lee, M.L., Liddle, S.W., Opdahl, A.L., López, Ó.P. (eds.) ER 2015. LNCS, vol. 9381, pp. 94–107. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-25264-3_7
Koetter, F., Kochanowski, M., Renner, T., Fehling, C., Leymann, F.: Unifying compliance management in adaptive environments through variability descriptors. In: Service-Oriented Computing and Applications, pp. 214–219 (2013)
Kumar, A., Yao, W., Chu, C.: Flexible process compliance with semantic constraints using mixed-integer programming. INFORMS J. Comput. 25(3), 543–559 (2013)
Ly, L.T., Rinderle, S., Dadam, P.: Integration and verification of semantic constraints in adaptive process management systems. DKE 64(1), 3–23 (2008)
Mangler, J., Rinderle-Ma, S.: Rule-based synchronization of process activities. In: Commerce and Enterprise Computing, pp. 121–128 (2011)
Mangler, J., Rinderle-Ma, S.: IUPC: identification and unification of process constraints. CoRR abs/1104.3609 (2011). http://arxiv.org/abs/1104.3609
Montali, M., Maggi, F., Chesani, F., Mello, P., van der Aalst, W.: Monitoring business constraints with the event calculus. ACM TIST 5(1), 17 (2013)
Pufahl, L., Herzberg, N., Meyer, A., Weske, M.: Flexible batch configuration in business processes based on events. In: Franch, X., Ghose, A.K., Lewis, G.A., Bhiri, S. (eds.) ICSOC 2014. LNCS, vol. 8831, pp. 63–78. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-45391-9_5
Reichert, M., Weber, B.: Enabling Flexibility in Process-Aware Information Systems - Challenges, Methods, Technologies. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-30409-5
Rinderle, S., Reichert, M., Dadam, P.: Correctness criteria for dynamic changes in workflow systems - a survey. Data Knowl. Eng. 50(1), 9–34 (2004)
Rinderle-Ma, S., Gall, M., Fdhila, W., Mangler, J., Indiono, C.: Collecting examples for instance-spanning constraints. Technical report, arXiv:1603.01523 arXiv (2016)
Stuermer, G., Mangler, J., Schikuta, E.: Building a modular service oriented workflow engine. In: 2009 IEEE International Conference on SOCA, pp. 1–4 (2009)
Warner, J., Atluri, V.: Inter-instance authorization constraints for secure workflow management. In: SACMAT, pp. 190–199 (2006)
Acknowledgment
This work has been funded by the Vienna Science and Technology Fund (WWTF) through project ICT15-072.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Indiono, C., Fdhila, W., Rinderle-Ma, S. (2018). Evolution of Instance-Spanning Constraints in Process Aware Information Systems. In: Panetto, H., Debruyne, C., Proper, H., Ardagna, C., Roman, D., Meersman, R. (eds) On the Move to Meaningful Internet Systems. OTM 2018 Conferences. OTM 2018. Lecture Notes in Computer Science(), vol 11229. Springer, Cham. https://doi.org/10.1007/978-3-030-02610-3_17
Download citation
DOI: https://doi.org/10.1007/978-3-030-02610-3_17
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-02609-7
Online ISBN: 978-3-030-02610-3
eBook Packages: Computer ScienceComputer Science (R0)