A Decentralized Model-Based Diagnosis for BPEL Services

The paper proposes a decentralized diagnosis approach for a set of choreographed BPEL Web services, where a local diagnoser is associated to each BPEL service and cooperates with a coordinator. The local diagnosis is based on a Colored Petri Nets model enriched with I/O data dependency relations represented with color propagation functions (A preliminary version of centralized local diagnosis has been presented in). By applying the multiset marking calculation equation, a diagnosis inequations system is constructed and solved to retrieve a local diagnosis. The coordinator updates the global diagnosis until reaching a final consistency.