期刊名称：International Journal of Engineering and Computer Science
印刷版ISSN：2319-7242
出版年度：2014
卷号：3
期号：1
页码：3736-3742
出版社：IJECS
摘要：Semantic web service composition constructs the OWL-S composite process automatically based on AI planning techniques. Theneed for verification of the service composition plan is essential as it is error prone. Colored Petri Nets had been proposed for verification due toits graphical, contains formal semantics and allows various analyses. The verification is done by constructing a CPN for an online bookpurchasing scenario using CPN tools and analyzing it through simulation. “CPN Tools” is the tool used to simulate the entire process flow andprovide the statistics about liveliness, fairness and boundedness properties. An online book purchase has been considered as a case study
关键词：Semantic Web Service Composition; Verification; Colored Petri Nets; Reachability; Semantic Reliability
