A Colored Petri Nets Model for Diagnosing Data Faults of BPEL Service

Yingmin Li (1) , Tarek Melliti (2) , Philippe Dague (1)

1 LRI - Laboratoire de Recherche en Informatique
2 IBISC - Informatique, Biologie Intégrative et Systèmes Complexes

The paper contributes to modeling an orchestrated complex Web Service (BPEL) with Colored Petri Nets (CPNs) for diagnosis. In the CPNs model, colored tokens are used to represent the faults in a BPEL process. A uniform fault model is introduced to represent both the faulty input data and external faulty Web services called by the BPEL activities. We use three I/O data dependency relations for each BPEL activity. To represent the fault propagation in colored Petri nets, we de¯ne the color propagation functions for each data dependency relation. We give a concrete translation from a BPEL service to a CPNs model. Model-based diagnosis framework is then used. Based on the evolution equation in Petri nets theory, we construct an inequations system as a diagnosis problem and solve it with an algebra algorithm.

Mots clés: Model-based diagnosis; BPEL; Web service; Colored Petri Nets

Domaines: Web; Modélisation et simulation

Yingmin Li, Tarek Melliti, Philippe Dague. A Colored Petri Nets Model for Diagnosing Data Faults of BPEL Service. 20th International Workshop on Principles of Diagnosis (DX 2009), Jun 2009, Stockholm, Sweden. pp.267--274. ⟨hal-00669175⟩