MODELING BPEL WEB SERVICES FOR DIAGNOSIS: TOWARDS SELF-HEALING WEB SERVICES
Yingmin Li, Tarek Melliti, Philippe Dague · 2007
An approach generating automatically the data dependency diagrams of the orchestrated complex Web services is presented. The method is derived from the Model-Based Reasoning paradigm, whose origin comes from Artificial Intelligence applied to engineered systems. It is achieved by modeling BPEL activities by Petri nets, enriched to represent data dependencies, and by proposing aggregation rules of these dependency relations. The algorithm to aggregate the basic enriched Petri nets, producing the data dependency diagram of the orchestrated Web service, is given. The model obtained can be directly exploited by a diagnosis algorithm. 1