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

Abstract

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.