一种基于逻辑Petri网的Web服务簇组合方法  

A Logical Petri Net-Based Approach for Web Service Cluster Composition

作　　者：吴洪越[1] 杜玉越[1] 

机构地区：[1]山东科技大学信息科学与工程学院,山东青岛266590

出　　处：《计算机学报》2015年第1期204-218,共15页Chinese Journal of Computers

基　　金：国家自然科学基金(61170078);国家"九七三"重点基础研究发展规划项目基金(2010CB328101);教育部高等学校博士学科点专项科研基金博导类资助课题(20113718110004);山东科技大学科研创新团队支持计划项目(2011KYTD102);青岛市科技计划基础研究项目(13-1-4-116-jch)资助~~

摘　　要：Web服务组合是实现快速服务增值和软件重用的重要方式,但现有的静态服务组合和动态服务组合方式都有待于进一步完善.文中集成静态服务组合和动态服务组合的优点,提出了一种在虚拟层面上基于服务簇进行服务组合的思想;研究并提出了一种基于服务簇的服务组合方法,并应用逻辑Petri网对其进行形式化建模描述;给出了服务簇网的基本组合模型,并分别对其完备性继承作了分析;研究了服务簇网组合的代数运算性质.最后,通过实验证明了服务簇网组合运算的可行性和有效性.Web service composition is an important way to achieve value-added services and software reuse,but the existing static service composition and dynamic service composition methods are all needed to be further improved.This paper integrates the advantages of static composition and dynamic composition methods and proposes a method that composes service clusters in a virtual layer to realize service composition.A service composition approach based on service clusters is developed and logical Petri nets are used for its formal modeling.Basic composition models of service cluster nets（SCNs）are presented and the inheritance conditions of their completeness are analyzed respectively.The algebraic properties of SCN composition are also presented.Finally,experimental results are presented to illustrate the applicability and effectiveness of SCN composition.

关 键 词：WEB服务 服务簇 服务组合 逻辑Petri网 服务簇网 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]