Constraint-aware Correctness Analyzing of Composite Web Service Based on Open Petri Net

摘要：

Under the environment constraint, the correctness analyzing of the composite Web service has been a research hot spot. Firstly, the paper proposes the modeling methods of Web services and Web environments based on open Petri net (OPN). Then, in order to analyze the correctness of the composite Web service under the environment constraint, several determining algorithms about correctness of composite web service are presented. Finally, a concrete example is given out. Theoretical analysis and experimental results indicate that the methods can analyze the correctness of constraint composite service effectively.

关键词： Open Petri net Environment constraint Composite Web service Correctness

作者: Xin Gao Xianwen Fang Zhicai Xu

作者单位: Department of Information andComputing ScienceAnhui University of Science andTechnologyHuainan, Chin Department of Mathematics Chuzhou University Chuzhou, China

会议类型: 国际会议

会议名称: 2011 IEEE 10th International Symposium on Distributed Computing and Applications to Business,Engineering(第十届电子商务、工程及科学领域的分布式计算和应用国际学术研讨会 DCABES 2011)

会议地点: 无锡

会议语种:英文

页码: 373-377

在线出版日期: 2011-10-14（万方平台首次上网日期，不代表论文的发表时间）