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
Model-based diagnosis, Constraint programming, Business rules, Minimal unsatisfiable subset
(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. CEUR-WS.org, 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.
The Prognostic and Health Management Society advocates open-access to scientific data and uses a Creative Commons license for publishing and distributing any papers. A Creative Commons license does not relinquish the author’s copyright; rather it allows them to share some of their rights with any member of the public under certain conditions whilst enjoying full legal protection. By submitting an article to the International Conference of the Prognostics and Health Management Society, the authors agree to be bound by the associated terms and conditions including the following:
As the author, you retain the copyright to your Work. By submitting your Work, you are granting anybody the right to copy, distribute and transmit your Work and to adapt your Work with proper attribution under the terms of the Creative Commons Attribution 3.0 United States license. You assign rights to the Prognostics and Health Management Society to publish and disseminate your Work through electronic and print media if it is accepted for publication. A license note citing the Creative Commons Attribution 3.0 United States License as shown below needs to be placed in the footnote on the first page of the article.
First Author et al. This is an open-access article distributed under the terms of the Creative Commons Attribution 3.0 United States License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.