Business processes involve data that can be modified or updated by various activities. These data must satisfy the business rules associated to the process. As the information treated in a business process tends to be extensive, data are normally stored in a relational database, and hence the database has to be analyzed to determine whether the business rules are satisfied and what values are incorrect. This paper proposes the use of model-based diagnosis in the business processes scenario. This scenario combines business processes, business rules, relational databases and where the faults are the instances of the variables introduced by the users. These considerations make it necessary to introduce a new way for representing the model, and the design of new algorithms to solve it. This model provides a means for the detection of incorrect tuples of different tables of the database by avoiding the analysis of the full database. Furthermore, in order to manage the current business rules, the use of a constraint paradigm is proposed and by using Max- CSPs to isolate incorrect values.
How to Cite
Model-based diagnosis, business processes, databases
(Ceballos et al., 2002) Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, and Miguel Toro. Max- csp approach for software diagnosis. In IBERAMIA, pages 172–181, 2002.
(Chesani et al., 2008) Federico Chesani, Paola Mello, Marco Montali, Fabrizio Riguzzi, Maurizio Sebas- tianis, and Sergio Storari. Checking compliance of execution traces to business rules. In Business Process Management Workshops, pages 134–145, 2008.
(Chisholm, 2003) Malcolm Chisholm. How to Build a Business Rules Engine: Extending Application Functionality through Metadata Engineering (The Morgan Kaufmann Series in Data Management Systems). Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2003.
(de la Banda et al., 2003) Maria Garcia de la Banda, Peter J. Stuckey, and Jeremy Wazny. Finding all minimal unsatisfiable subsets. In PPDP ’03: Pro- ceedings of the 5th ACM SIGPLAN international
conference on Principles and practice of declaritive programming, pages 32–43. ACM Press, 2003.
(Dechter, 2003) Rina Dechter. Constraint Processing (The Morgan Kaufmann Series in Artificial Intelli- gence). Morgan Kaufmann, May 2003.
(Gasca et al., 2007) Rafael M. Gasca, Carmelo Del Valle, Mar ́ıa Teresa Go ́mez Lo ́pez, and Rafael Ce- ballos. Nmus: Structural analysis for improving the derivation of all muses in overconstrained numeric csps. In CAEPIA, pages 160–169, 2007.
(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 20th International Workshop on Principles of Diagnosis, pages 43–50, 2009.
(Heumann, 2001) J. Heumann. Introduction to busi- ness modeling using the unified modeling language (uml). In Rational Edge,, 2001.
(Ma, 2007) Hongyan Ma. Process-aware informa- tion systems: Bridging people and software through process technology: Book reviews. J. Am. Soc. Inf. Sci. Technol., 58(3):455–456, 2007.
(McDermid, 2003) Donald C. McDermid. Integrated business process management: Using state-based business rules to communicate between disparate stakeholders. In Business Process Management, pages 58–71, 2003.
(P. C. Kanellakis and Revesz, 1990) G. M. Kuper P. C. Kanellakis and P. Z. Revesz. Constraint query languages. Symposium on Principles of Database Systems, pages 299–313, 1990.
(van der Aalst et al., 2003) Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, and Mathias Weske. Business process management: A survey. In Busi- ness Process Management, pages 1–12, 2003.
(Wallace, 1995) Richard J. Wallace. Directed arc consistency preprocessing. In Constraint Process- ing, Selected Papers, pages 121–137, London, UK, 1995. Springer-Verlag.
(Walzer et al., 2008) Karen Walzer, Tino Breddin, and Matthias Groch. Relative temporal constraints in the rete algorithm for complex event detection. In DEBS ’08: Proceedings of the second interna- tional conference on Distributed event-based sys- tems, pages 147–155, New York, NY, USA, 2008. ACM.
(Weber et al., 2009) Barbara Weber, Shazia Wasim Sadiq, and Manfred Reichert. Beyond rigidity - dy- namic process lifecycle support. Computer Science - R&D, 23(2):47–65, 2009.
(Weske, 2007) Mathias Weske. Business Process Management: Concepts, Languages, Architectures. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 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.