Research on Formal Description and Verification of Semantic Web Service Composition
Research on Formal Description and Verification of Semantic Web Service Composition
复制标题
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Cheng Yong
中科院分区：
文献类型：
--
作者：
Cheng Yong
组合Web服务是一个主要的研究方向。形式化地描述语义Web服务组合，对组合模型进行分析和验证，可以保证Web服务组合的正确性。本文首先提出了基于彩色Petri网的语义Web服务组合的形式化模型，并在OWL-S的ServiceModel中给出了8种基本的Web服务组合模式。利用这些模式可以构造出满足用户需求的复合Web服务。然后，通过对Web服务组合模型的正确性分析和验证，给出了Web服务组合语法正确性、可达性、活动性和有界性的算法。最后，将基于彩色Petri网的Web服务组合建模应用到一个案例中。
Composing Web service is one of the main research directions. Formally describing semantic Web service composition, analyzing and verifying the composition model can guarantee the correctness of the Web service composition. In this paper, firstly, the formal model of the semantic Web service composition based on colored Petri nets is presented, and 8 kinds of basic Web service composition patterns in ServiceModel of OWL-S are provided. Utilizing these patterns can construct the composite Web service of satisfying users’ requirements. Then, after the correctness analysis and verification about the Web service composition model are studied, the algorithms on Web service composition syntax correctness, reachability, liveness and boundedness are given. Finally, modeling the Web service composition based on colored Petri nets is applied into a case.