Petri Net Based Web Service Interactive Behavior Compatibility Analysis

Verification of services compatibility is an important issue in Web Services composition. With the growing of grain size, services will become more complicated with internal business processes and will have interactions with other services while composition.This paper proposed a Petri Net based approach to analyze the Web Services interactive behaviors compatibility. First, the interacting services are merging and reducing into a composite service. Based on the introduction of an analysis method called the reachability tree, the behavior of composite service can be then verified. At last, two case studies are used to show how the compatibility issue can be detected quantitatively using this approach.