A Decentralized Model-Based Diagnosis for BPEL Services - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

A Decentralized Model-Based Diagnosis for BPEL Services

Résumé

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 DX'09). 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.
Fichier principal
Vignette du fichier
ICTAI09.pdf (192.92 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00667815 , version 1 (30-11-2013)

Identifiants

Citer

Yingmin Li, Lina Ye, Philippe Dague, Tarek Melliti. A Decentralized Model-Based Diagnosis for BPEL Services. 21st International Conference on Tools with Artificial Intelligence (ICTAI 2009), Nov 2009, Newark, NJ, United States. pp.609--616, ⟨10.1109/ICTAI.2009.77⟩. ⟨hal-00667815⟩
369 Consultations
104 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More