Verification Methods Based on Petri Networks for Web Services Composition
Shen Hu · 2015
The purpose of structure verification analysis for services composition is to find the inherent achilles heel of the structure of services composition,which ensures that the structure of Web services composition is good in running phase.The boundedness verification of Web service composition is used to determine whether there are Web services or sub Web services composition that impacts the implementation of Web services composition.The deadlock verification is used to find whether services blind area exists.The trap verification is used to find whether service abnormal areas exist.This paper gave the algorithms to complete the above validation.The correctness of the algorithms was verified by testing experiments.