Authors:
Yingmin Li
;
Tarek Melliti
and
Philippe Dague
Affiliation:
LRI, Univ. Paris-Sud, CNRS, France
Keyword(s):
Web service, diagnosis, BPEL, modeling, Petri net.
Related
Ontology
Subjects/Areas/Topics:
Distributed and Parallel Applications
;
Internet Technology
;
Web Information Systems and Technologies
;
Web Services and Web Engineering
Abstract:
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.