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

被引：1

作者：

Feng, Yinghua ^{[1
]}

Liu, Lu ^{[2
]}

机构：

[1] Huainan Union Univ, Dept Basic Courses, Huainan, Peoples R China

[2] Anhui Univ Sci & Technol, Huainan, Peoples R China

来源：

2012 11TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND APPLICATIONS TO BUSINESS, ENGINEERING & SCIENCE (DCABES) | 2012年

关键词：

Interface Petri Net; Environment Constraint; Web Service Composition; Soundness; Efficient Algorithm;

D O I：

10.1109/DCABES.2012.11

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：205 / 208

页数：4