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

fYear

2011

fDate

14-17 Oct. 2011

Firstpage

373

Lastpage

377

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/DCABES.2011.30

Filename

6118706