Contract-based Diagnosis for Business Process Instances using Business Compliance Rules



D. Borrego R. M. Gasca M. T. Go ́mez-Lo ́pez L. Parody


In order to increase the quality of business processes when they are automated, the correctness of the activities can be checked by means of an analysis of the corresponding business compliance rules. By analyzing the trace of an instance of a business process, it is possible to detect the correctness of the process and to determine which activity is faulty. Each activity or set of activities is related to a set of business compliance rules, which work as contracts that the activities must satisfy throughout the dataflow.

In order to diagnose a business process instance, not all the activities participate in every single execution, since there are control flows that permit the execution of several branches for a varied number of times. We propose to automate the diagnosis of these executions of a business process taking into account the involved activities and their business compliance rules. Our main contributions are related to the construction of the corresponding framework using several techniques related to the constraint programming paradigm to obtain the incorrect activities. The two different proposals consider the tradeoff between the obtaining of the minimal diagnosis and the performance.

How to Cite

Borrego, D. ., M. Gasca, . R. ., T. Go ́mez-Lo ́pez M. ., & Parody, . L. (2010). Contract-based Diagnosis for Business Process Instances using Business Compliance Rules. Annual Conference of the PHM Society, 2(2).
Abstract 1 | PDF Downloads 1



Model-based diagnosis, Constraint programming, Business rules, Minimal unsatisfiable subset

(de la Banda et al., 2003) Maria J. Garc ́ıa de la Banda, Peter J. Stuckey, and Jeremy Wazny. Find- ing all minimal unsatisfiable subsets. In PPDP, pages 32–43. ACM, 2003.
(Gasca et al., 2007) R. M. Gasca, C. Valle, M. T. Go ́mez-Lo ́pez, and R. Ceballos. Nmus: Structural analysis for improving the derivation of all muses in overconstrained numeric csps. pages 160–169, 2007.
(Ghose and Koliadis, 2007) Aditya Ghose and George Koliadis. Auditing business process compliance. In ICSOC ’07: Proceedings of the 5th international conference on Service-Oriented Computing, pages 169–180, Berlin, Heidelberg, 2007. Springer-Verlag.
(Go ́mez-Lo ́pez et al., 2009) Mar ́ıa Teresa Go ́mez- Lo ́pez, Rafael Ceballos, Rafael M. Gasca, and Carmelo Del Valle. Developing a labelled object-relational constraint database architecture for the projection operator. Data Knowl. Eng., 68(1):146–172, 2009.
(Guillou et al., 2009) Xavier Le Guillou, Marie-Odile Cordier, Sophie Robin, and Laurence Roze. Mon- itoring ws-cdl-based choreographies of web ser- vices. In Proceedings of the 20th International Workshop on Principles of Diagnosis, pages 43–50, June 2009.
(Kanellakis et al., 1992) Paris C. Kanellakis, Gabriel M. Kuper, and Peter Z. Revesz. constraint query languages, 1992.
(Namiri and Stojanovic, 2007) Kioumars Namiri and Nenad Stojanovic. A semantic-based approach for compliance management of internal controls in business processes. In Johann Eder, Stein L. Tomassen, Andreas L. Opdahl, and Guttorm Sindre, editors, CAiSE Forum, volume 247 of CEUR Workshop Proceedings., 2007.
(Reiter, 1987) R Reiter. A theory of diagnosis from first principles. Artif. Intell., 32(1):57–95, 1987.
(Sadiq et al., 2007) Shazia Wasim Sadiq, Guido Governatori, and Kioumars Namiri. Modeling control objectives for business process compliance. In Gus- tavo Alonso, Peter Dadam, and Michael Rosemann, editors, BPM, volume 4714 of Lecture Notes in Computer Science, pages 149–164. Springer, 2007.
(Weber et al., 2009) Barbara Weber, Shazia Wasim Sadiq, and Manfred Reichert. Beyond rigidity - dynamic process lifecycle support. Computer Science - R&D, 23(2):47–65, 2009.
(Weske, 2007) M. Weske. Business Process Management: Concepts, Languages, Architectures. Springer-Verlag, 2007.
Poster Presentations