A novel web service composition verification method based on petri net

被引：0

作者：

Liu, Lei ^{[1
]}

Ji, Xiang ^{[1
]}

Zhang, Lei ^{[1
]}

Zhang, Yanli ^{[2
]}

Lu, Shuai ^{[3
,4
,5
]}

机构：

[1] College of Computer Science and Technology, Jilin University, Changchun, China

[2] College of Software, Jilin University, Changchun, China

[3] College of Computer Science and Technology, Jilin University, Changchun, China

[4] Key Laboratory of Symbolic Computation and Knowledge Engineering (Jilin University), Ministry of Education, Changchun, China

[5] College of Mathematics, Jilin University, Changchun, China

来源：

International Journal of Digital Content Technology and its Applications | 2012年 / 6卷 / 11期

关键词：

Semantic Web - Quality of service - Websites - Petri nets;

D O I：

10.4156/jdcta.vol6.issue11.47

中图分类号：

学科分类号：

摘要：

Since the independence and autonomy of Web service, some semantic Web service compositions are not reliable. Web service composition is one of the main research directions of Web service, the detection of Web service composition before execution is the key to ensure normal working of Web services. Characteristics of Petri net are asynchronous and concurrent, Petri net is suitable for distributed software system just like Web service, the transitive matrix of Petri net is able to detect deadlock and accessibility. This paper compose the Petri net of behavior-aware Web service and utilize transitive matrix to detect the composition of Web service, aimed at achieving the detection of composition of Web services, the experimental results indicate that this method is feasible.

引用

页码：378 / 385