Modeling and Verifying Composite Web Services Based on Semantic Annotated Petri Nets
Duan Zhen-hua · Jisuanji kexue yu tansuo · 2009
Integrating business processes becomes practicable along with the development of Web services composition.Composite Web services can be regarded as process -based workflows.Since error design of flow structures,such as deadlock,unsafeness,non -reachability and so on,will affect composite Web services performance,these errors should be detected and corrected before composite Web services are executed.An approach for modeling and verifying composite Web services based on semantic annotated Petri Nets is proposed.Firstly,semantic annotated Petri Nets(SaPNs) is presented and the semantics of SaPNs is given.Secondly,a restricted description logic tableau algorithm is utilized to obtain composite Web services.Thirdly,SaPNs is used to represent a composite Web service and the participating services that are invoked by this composite Web service.Finally,the composite Web services represented with the SaPN are verified by means of some analysis methods based on SaPNs.With this approach,a reliable composite Web services meeting client requirements in an open Internet environment can be achieved.