Choreography Analysis for Diagnosing Faulty Activities in Business-to-Business Collaboration

The interaction between business processes (BPs) by means of a choreography is considered as a Business-to-Business Collaboration (B2BC). This work presents a proposal to diagnose faulty activities in B2BC using choreography structural analysis. Model-based diagnosis could be achieved by using a Business-to-Business Interaction Model (B2BIM) and an Orchestration Model (OM) for the local diagnosers corresponding to every business process that participates in the collaboration. Therefore, the model is distributed among the different diagnosers, where none of them has global information about how the system is modelled. The communication between processes is via messages according to the B2BIM. The problem of finding all diagnoses (all faulty activities that explain a misbehavior), or even a single diagnosis, is intractable. In order to improve the performance of the distributed diagnosis, the knowledge of the workflow for all the business processes is simplified in the Compiled Orchestration Model (COM) in an offline way. Some empirical results are shown for different B2BCs.

[1]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[2]  Raymond Reiter,et al.  Characterizing Diagnoses and Systems , 1992, Artif. Intell..

[3]  Implementation of On-Line Distributed System-Level Diagnosis Theory , 1992, IEEE Trans. Computers.

[4]  Stéphane Lafortune,et al.  Coordinated decentralized protocols for failure diagnosis of discrete event systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[5]  Yannick Pencolé.  Decentralized diagnoser approach: application to telecommunication networks , 2000 .

[6]  Albert Benveniste,et al.  Distributed diagnosis for large discrete event dynamic systems , 2002 .

[7]  Gregory Provan.  A Model-Based Diagnosis Framework for Distributed Systems , 2002 .

[8]  Mathias Weske,et al.  Advances in business process management , 2004, Data Knowl. Eng..

[9]  W. M. Wonham,et al.  A model of component consistency in distributed diagnosis , 2004 .

[10]  Gautam Biswas,et al.  Designing Distributed Diagnosers for Complex Physical Systems , 2005 .

[11]  Liliana Ardissono,et al.  Cooperative Model-Based Diagnosis of Web Services , 2005 .

[12]  Liliana Ardissono,et al.  Fault Tolerant Web Service Orchestration by Means of Diagnosis , 2006, EWSA.

[13]  María Teresa Gómez López,et al.  Distributed model-based diagnosis using object-relational constraint databases , 2006, 20th International Conference on Advanced Information Networking and Applications - Volume 1 (AINA'06).

[14]  Daniele Theseider Dupré,et al.  A Framework for Decentralized Qualitative Model-Based Diagnosis , 2007, IJCAI.

[15]  Mathias Weske,et al.  Business Process Management: Concepts, Languages, Architectures , 2007 .

[16]  María Teresa Gómez López,et al.  A compiled model for faults diagnosis based on different techniques , 2007, AI Commun..