Abstract
This paper proposes structural consistency checking for Adaptive Case Management (ACM). Structures such as a hierarchical organization of business goals and dependencies among tasks are either created at design time or evolve over time while working on cases. In this paper, we identify structures specific to current ACM systems (as opposed to other BPM systems), discuss which inconsistencies can occur, and outline how to discover these issues through model checking and graph algorithms.
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
References
Van der Aalst, W.M.P.: Formalization and verification of event-driven process chains. Inf. Softw. Technol. 41(10), 639–650 (1999)
Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M.: NUSMV: a new symbolic model verifier. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol. 1633, pp. 495–499. Springer, Heidelberg (1999)
El-Saber, N., Boronat, A.: BPMN formalization and verification using maude. In: 2014 Workshop on Behaviour Modelling-Foundations and Applications (BM-FA), pp. 1:1–1:12. ACM (2014)
Eshuis, R.: Symbolic model checking of UML activity diagrams. ACM Trans. Softw. Eng. Methodol. 15(1), 1–38 (2006)
Greenwood, D.P.A.: Goal-oriented autonomic business process modeling and execution: engineering change management demonstration. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 390–393. Springer, Heidelberg (2008)
Kherbouche, O., Ahmad, A., Basson, H.: Using model checking to control the structural errors in BPMN models. In: 7th International Conference on RCIS, pp. 1–12 (2013)
Koehler, J., Tirenni, G., Kumaran, S.: From business process model to consistent implementation: a case for formal verification methods. In: 6th International Conference on EDOC, pp. 96–106 (2002)
Kurz, M., Schmidt, W., Fleischmann, A., Lederer, M.: Leveraging CMMN for ACM: examining the applicability of a new OMG standard for adaptive case management. In: 7th International Conference on Subject-Oriented BPM. ACM, New York (2015). pp. 4:14:9
Raedts, I., Petković, M., Usenko, Y.S., van der Werf, J.M., Groote, J.F., Somers, L.: Transformation of BPMN models for behaviour analysis. In: MSVVEIS, pp. 126–137. INSTICC (2007)
Sbai, Z., Missaoui, A., Barkaoui, K., Ben Ayed, R.: On the verification of business processes by model checking techniques. In: 2nd International Conference on ICSTE, vol. 1, pp. 97–103, October 2010
Stavenko, Y., Kazantsev, N., Gromoff, A.: Business process model reasoning: from workflow to case management. Procedia Technol. 9, 806–811 (2013)
Tarjan, R.: Depth first search and linear graph algorithms. SIAM J. Comput. 1, 146–160 (1972)
Xiao, D., Zhang, Q.: The implementation of XPDL workflow verification service based on SaaS. In: International Conference on ICSS. pp. 154–158, May 2010
Acknowledgements
The research leading to these results has received funding from the FFG project CACAO, no. 843461 and the Wiener Wissenschafts-, Forschungs- und Technologiefonds (WWTF), Grant No. ICT12-001.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Czepa, C., Tran, H., Zdun, U., Tran Thi Kim, T., Weiss, E., Ruhsam, C. (2016). Towards Structural Consistency Checking in Adaptive Case Management. In: Reichert, M., Reijers, H. (eds) Business Process Management Workshops. BPM 2016. Lecture Notes in Business Information Processing, vol 256. Springer, Cham. https://doi.org/10.1007/978-3-319-42887-1_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-42887-1_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-42886-4
Online ISBN: 978-3-319-42887-1
eBook Packages: Computer ScienceComputer Science (R0)