Abstract
Adaptive Case Management (ACM) has emerged as a key BPM technology for supporting the unstructured business process. A key problem in ACM is that case schemas need to be changed to best fit the case at hand. Such changes are ad hoc, and may result in schemas that do not reflect the intended logic or properties. This article presents a formal approach for reasoning about which properties of a case schema are preserved after a modification, and describes change operations that are guaranteed to preserve certain properties. The approach supports reasoning about rollbacks. The Case Management model used here is a variant of the Guard-Stage-Milestone model for declarative business artifacts. A real-life example illustrates applicability.
Supplemental Material
Available for Download
Supplemental movie, appendix, image and software files for, Reasoning About Property Preservation in Adaptive Case Management
- Francesco Belardinelli, Alessio Lomuscio, and Fabio Patrizi. 2012. Verification of GSM-based artifact-centric systems through finite abstraction. In Proc. Int. Conf. on Service-Oriented Computing (ICSOC). Springer, 17--31. Google Scholar
Digital Library
- Kamal Bhattacharya, Cagdas Evren Gerede, Richard Hull, Rong Liu, and Jianwen Su. 2007. Towards formal analysis of artifact-centric business process models. In Proc. Int. Conf. on Business Process Management (BPM). Springer, 288--304. Google Scholar
Digital Library
- BizAgi and others. 2014. Case Management Model and Notation (CMMN), v1. OMG Document Number formal/2014-05-05, Object Management Group.Google Scholar
- Diego Calvanese, Giuseppe De Giacomo, Richard Hull, and Jianwen Su. 2009. Artifact-centric workflow dominance. In Proc. Int. Conf. on Service-Oriented Computing (ICSOC). Springer, 130--143. Google Scholar
Digital Library
- Fabio Casati, Stefano Ceri, Barbara Pernici, and Giuseppe Pozzi. 1998. Workflow evolution. Data Knowl. Eng. 24, 3 (1998), 211--238. Google Scholar
Digital Library
- David Cohn and Richard Hull. 2009. Business artifacts: A data-centric approach to modeling business operations and processes. IEEE Data Eng. Bull. 32, 3 (2009), 3--9.Google Scholar
- Elio Damaggio, Richard Hull, and Roman Vaculín. 2013. On the equivalence of incremental and fixpoint semantics for business artifacts with guard-stage-milestone lifecycles. Inf. Syst. 38 (2013), 561--584. Google Scholar
Digital Library
- Alin Deutsch, Richard Hull, Fabio Patrizi, and Victor Vianu. 2009. Automatic verification of data-centric business processes. In Proc. Int. Conf. on Database Theory (ICDT). ACM, 252--267. Google Scholar
Digital Library
- Claudio Di Ciccio, Andrea Marrella, and Alessandro Russo. 2015. Knowledge-intensive processes: Characteristics, requirements and analysis of contemporary approaches. J. Data Semantics 4, 1 (2015), 29--57.Google Scholar
Cross Ref
- Rik Eshuis, Richard Hull, Yutian Sun, and Roman Vaculín. 2014. Splitting GSM schemas: A framework for outsourcing of declarative artifact systems. Inf. Syst. 46 (2014), 157--187. Google Scholar
Digital Library
- Rik Eshuis, Richard Hull, and Mengfei Yi. 2015. Property preservation in adaptive case management. In Proc. Int. Conf. on Service-Oriented Computing (ICSOC). Springer, 285--302.Google Scholar
Cross Ref
- Florian Gottschalk, Wil M. P. van der Aalst, Monique H. Jansen-Vullers, and Marcello La Rosa. 2008. Configurable workflow models. Int. J. Cooperative Inf. Syst. 17, 2 (2008), 177--221.Google Scholar
Cross Ref
- Alena Hallerbach, Thomas Bauer, and Manfred Reichert. 2010. Capturing variability in business process models: The Provop approach. J. Software Maint. 22, 6--7 (2010), 519--546. Google Scholar
Digital Library
- Thomas T. Hildebrandt, Raghava Rao Mukkamala, and Tijs Slaats. 2011. Designing a cross-organizational case management system using dynamic condition response graphs. In Proc. Int. Enterprise Distributed Object Computing Conference (EDOC). IEEE Computer Society, 161--170. Google Scholar
Digital Library
- Sebastian Huber, Adrian Hauptmann, Matthias Lederer, and Matthias Kurz. 2013. Managing complexity in adaptive case management. In Proc. S-BPM ONE 2013. Springer, 209--226.Google Scholar
- Richard Hull, Elio Damaggio, Fabiana Fournier, Manmohan Gupta, Fenno Terry Heath, Stacy Hobson, Mark H. Linehan, Sridhar Maradugu, Anil Nigam, Piyawadee Sukaviriya, and Roman Vaculín. 2010. Introducing the guard-stage-milestone approach for specifying business entity lifecycles. In Proc. of the 7th Int. Workshop on Web Services and Formal Methods, WS-FM. Springer, 1--24. Google Scholar
Digital Library
- Richard Hull, Nanjangud C. Narendra, and Anil Nigam. 2009. Facilitating workflow interoperation using artifact-centric hubs. In Proc. Int. Conf. on Service-Oriented Computing (ICSOC). Springer, 1--18. Google Scholar
Digital Library
- Vera Künzle and Manfred Reichert. 2011. PHILharmonicFlows: Towards a framework for object-aware process management. J. Software Maint. 23, 4 (2011), 205--244. Google Scholar
Digital Library
- Lior Limonad, David Boaz, Richard Hull, Roman Vaculín, and Fenno (Terry) Heath. 2012. A generic business artifacts based authorization framework for cross-enterprise collaboration. In SRII Global Conf. IEEE Computer Society, 70--79. Google Scholar
Digital Library
- Andreas Meyer, Luise Pufahl, Dirk Fahland, and Mathias Weske. 2013. Modeling and enacting complex data dependencies in business processes. In Proc. Int. Conf. on Business Process Management (BPM). Springer, 171--186. Google Scholar
Digital Library
- Hamid R. Motahari Nezhad, Claudio Bartolini, Sven Graupner, and Susan Spence. 2012. Adaptive case management in the social enterprise. In Proc. Int. Conf. on Service-Oriented Computing (ICSOC). Springer, 550--557. Google Scholar
Digital Library
- Hamid R. Motahari Nezhad and Keith D. Swenson. 2013. Adaptive case management: Overview and research challenges. In Proc. IEEE Conf. on Business Informatics CBI 2013. IEEE Computer Society, 264--269. Google Scholar
Digital Library
- Raghava Rao Mukkamala, Thomas T. Hildebrandt, and Tijs Slaats. 2013. Towards trustworthy adaptive case management with dynamic condition response graphs. In Proc. Int. Enterprise Distributed Object Computing Conf. (EDOC). IEEE Computer Society, 127--136. Google Scholar
Digital Library
- Anil Nigam and Nathan S. Caswell. 2003. Business artifacts: An approach to operational specification. IBM Syst. J. 42, 3 (2003), 428--445. Google Scholar
Digital Library
- Manfred Reichert and Peter Dadam. 1998. ADEPT<sub>flex</sub>-supporting dynamic changes of workflows without losing control. J. Intell. Inf. Syst. 10, 2 (1998), 93--129. Google Scholar
Digital Library
- Stefanie Rinderle, Manfred Reichert, and Peter Dadam. 2004. Correctness criteria for dynamic changes in workflow systems—A survey. Data Knowl. Eng. 50, 1 (2004), 9--34. Google Scholar
Digital Library
- Wil M. P. van der Aalst, Mathias Weske, and Dolf Grünbauer. 2005. Case handling: A new paradigm for business process support. Data Knowl. Eng. 53, 2 (2005), 129--162. Google Scholar
Digital Library
- Barbara Weber, Manfred Reichert, and Stefanie Rinderle-Ma. 2008. Change patterns and change support features—Enhancing flexibility in process-aware information systems. Data Knowl. Eng. 66, 3 (2008), 438--466. Google Scholar
Digital Library
Index Terms
Reasoning About Property Preservation in Adaptive Case Management
Recommendations
Property Preservation in Adaptive Case Management
Service-Oriented ComputingAbstractAdaptive Case Management (ACM) has emerged as a key BPM technology for supporting unstructured business process, and has been used to support flexible services orchestration. A key problem in ACM is that case schemas need to be changed to best fit ...
Modeling business contexture and behavior using business artifacts
CAiSE'07: Proceedings of the 19th international conference on Advanced information systems engineeringTraditional process modeling approaches focus on the activities needed to achieve a business goal. However, these approaches often pose obstacles in consolidating processes across an organization because they fail to capture the informational structure ...
Data management perspectives on business process management: tutorial overview
SIGMOD '13: Proceedings of the 2013 ACM SIGMOD International Conference on Management of DataTraditional approaches to Business Process Management (BPM) focus primarily on the process aspects, and treat the persistent data accessed and manipulated by the business processes as second class citizens. A recent approach to BPM, based on "business ...






Comments