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

摘要：

Web服务组合是实现快速服务增值和软件重用的重要方式,但现有的静态服务组合和动态服务组合方式都有待于进一步完善.文中集成静态服务组合和动态服务组合的优点,提出了一种在虚拟层面上基于服务簇进行服务组合的思想;研究并提出了一种基于服务簇的服务组合方法,并应用逻辑Petri网对其进行形式化建模描述;给出了服务簇网的基本组合模型,并分别对其完备性继承作了分析;研究了服务簇网组合的代数运算性质.最后,通过实验证明了服务簇网组合运算的可行性和有效性.

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

所属期刊栏目：38

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金61170078;国家“九七三”重点基础研究发展规划项目基金2010CB328101;教育部高等学校博士学科点专项科研基金博导类资助课题20113718110004;山东科技大学科研创新团队支持计划项目2011KYTD102;青岛市科技计划基础研究项目13-1-4-116-jch;This paper integrates the advantages of static composition and dynamic composition methods and proposes a service composition approach based on service cluster paradigm which is formally modeled by logical Petri net.This work is partially supported by the National Natural Science Foundation of China

在线出版日期：2015-04-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共15页

页码：204-218