Fault diagnosis in databases for business processes



M. Teresa Go ́mez-Lo ́pez Rafael M. Gasca


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

Go ́mez-Lo ́pez M. T., & M. Gasca, R. (2010). Fault diagnosis in databases for business processes. Annual Conference of the PHM Society, 2(2). https://doi.org/10.36001/phmconf.2010.v2i1.1931
Abstract 107 | PDF Downloads 72



Model-based diagnosis, business processes, databases

(Borrego et al., 2009) D. Borrego, R. M. Gasca, M. T. Go ́mez-Lo ́pez, and I. Barba. Choreography anal- ysis for diagnosing faulty activities in business-to- business collaboration. In 20th International Work- shop on Principles of Diagnosis, pages 171–178, 2009.
(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.
Poster Presentations