High Efficiency Algorithm of Correctness of Web Service Composition under Environment Constraint Based on IPN

Author

Feng, Yinghua ; Liu, Lu

Author_Institution

Dept. of Basic Courses, Huainan Union Univ., Huainan, China

fYear

2012

fDate

19-22 Oct. 2012

Firstpage

205

Lastpage

208

Abstract

The correctness of the composite Web service under the environment constraint needs new model and analyze methods. First, Web services domain and Web environment domain models based on interface Petri net are proposed. Then, an efficient determining algorithm about soundness of composite Web service is presented for the sake of analyzing the soundness of the composite Web service under the environment constraint. Finally, the algorithm is programmed and its validity is testified through the concrete example.

Keywords

Petri nets; Web services; quality of service; IPN; Web environment domain models; Web service composition correctness; Web services domain models; composite Web service soundness; determining algorithm; environment constraint; high efficiency algorithm; interface Petri net; Algorithm design and analysis; Analytical models; Business; Complexity theory; Mathematical model; Petri nets; Web services; Efficient Algorithm; Environment Constraint; Interface Petri Net; Soundness; Web Service Composition;

fLanguage

English

Publisher

ieee

Conference_Titel

Distributed Computing and Applications to Business, Engineering & Science (DCABES), 2012 11th International Symposium on

Conference_Location

Guilin

Print_ISBN

978-1-4673-2630-8

Type

conf

DOI

10.1109/DCABES.2012.11

Filename

6385272