语义Web服务组合的形式化描述与验证研究  

Research on Formal Description and Verification of Semantic Web Service Composition

作　　者：程永上[1] 王志坚[1] 

机构地区：[1]河海大学计算机与信息工程学院,南京210098

出　　处：《计算机科学》2008年第4期40-43,共4页Computer Science

基　　金：国家自然科学基金(60573098);973项目(2002CB312002);江苏省自然科学基金(BK2006168)

摘　　要：Web服务组合是Web服务的主要研究方向之一,对语义Web服务组合进行形式化描述并进行分析和验证是组合服务正确运行的保证。本文首先给出了基于有色Petri网的语义Web服务形式化模型,形式化描述了OWL-S的Service Model中8种基本的Web服务组合模式,利用这些组合模式可以构造出满足需求的组合Web服务。然后,对服务组合形式化模型的正确性分析和验证进行研究后,给出了组合模型语法正确性、可达性、活性和有界性的算法。最后,通过一个具体的建模实例展示了Web服务组合的Petri网建模。Composing Web service is one of the main research composition, analyzing and verifying the composition model can directions. Formally describing semantic Web service 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.

关 键 词：WEB服务 WEB服务组合 PETRI网 建模 验证 

分 类 号：TP393.4[自动化与计算机技术—计算机应用技术] TP311[自动化与计算机技术—计算机科学与技术]