Title :
Constraint-Aware Correctness Analyzing of Composite Web Service Based on Open Petri Net
Author :
Gao, Xin ; Fang, Xianwen ; Xu, Zhicai
Author_Institution :
Dept. of Inf. & Comput. Sci., Anhui Univ. of Sci. & Technol., Huainan, China
Abstract :
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.
Keywords :
Petri nets; Web services; constraint handling; Web environments; composite Web service; constraint composite service; constraint-aware correctness analysis; open Petri net; Algorithm design and analysis; Analytical models; High definition video; Mobile communication; Silicon; System recovery; Web services; Composite Web service; Correctness; Environment constraint; Petri net;
Conference_Titel :
Distributed Computing and Applications to Business, Engineering and Science (DCABES), 2011 Tenth International Symposium on
Conference_Location :
Wuxi
Print_ISBN :
978-1-4577-0327-0
DOI :
10.1109/DCABES.2011.30
