Title :
Petri Net Based Web Service Interactive Behavior Compatibility Analysis
Author :
Zhang, Shuai ; Sun, Jianling ; Yin, Keting ; Xu, Bin
Author_Institution :
Dept. of Comput. Sci. & Eng., Zhejiang Univ., Hangzhou
Abstract :
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.
Keywords :
Petri nets; Web services; business data processing; interactive systems; reachability analysis; trees (mathematics); Petri net; Web service interactive behavior compatibility analysis; business process; reachability tree; Computer science; Grain size; Information analysis; Information management; Merging; Organizing; Petri nets; Seminars; Sun; Web services;
Conference_Titel :
Business and Information Management, 2008. ISBIM '08. International Seminar on
Conference_Location :
Wuhan
Print_ISBN :
978-0-7695-3560-9
DOI :
10.1109/ISBIM.2008.106