Web服务的颜色Petri网模型及验证  

DESCRIPTION AND VALIDATION OF WEB SERVICE COMPOSITION BASED ON COLOURED PETRI NET

作　　者：李景霞[1] 赵慧娟[2] 

机构地区：[1]同济大学计算机科学与工程系,上海201804 [2]上海海洋大学信息学院,上海201306

出　　处：《计算机应用与软件》2011年第3期80-82,88,共4页Computer Applications and Software

基　　金：国家高技术研究发展计划项目(2007AA01Z136);国家重点基础研究发展规划项目(2010CB328100)

摘　　要：利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。针对现有Web服务组合描述模型不独立于具体组合流程描述语言且不能全面刻画Web服务组合这两个问题,提出了一个描述Web服务的颜色Petri网模型,并给出了五个Web服务基本组合结构的模型表达,用于构造满足实际需求的Web服务组合流程。该模型能较全面地描述Web服务组合,同时还能够对组合流程正确性进行分析验证,最后通过建模实例说明了所提模型的实用性。Utilizing Web service composition technology,the complicated and changing business demand can be met quickly and flexibly.However,existing description models of Web service composition depend on concrete composition process description language.Moreover,they can＇t give a comprehensive picture on Web service composition.In order to resolve these two problems,a coloured Petri net model was put forward to describe the Web service.The model descriptions of five basic Web composition structures were presented to construct the process of Web composition which fulfils actual requirement.The model can describe Web service composition more comprehensively,meanwhile it can analyse and validate correctness of the composition process.At last we gave a demonstration for the actual application of the model by an example modelling.

关 键 词：颜色PETRI网 模型驱动体系结构 形式化描述模型 WEB服务组合验证 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]