位置:成果数据库 > 期刊 > 期刊详情页
一种基于逻辑Petri网的Web服务簇组合方法
  • ISSN号:0254-4164
  • 期刊名称:计算机学报
  • 时间:2015
  • 页码:204-218
  • 分类:TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]山东科技大学信息科学与工程学院,山东青岛266590
  • 相关基金:国家自然科学基金(61170078); 国家“九七三”重点基础研究发展规划项目基金(2010CB328101); 教育部高等学校博士学科点专项科研基金博导类资助课题(20113718110004); 山东科技大学科研创新团队支持计划项目(2011KYTD102); 青岛市科技计划基础研究项目(13-1-4-116-jch)资助
  • 相关项目:逻辑Petri网演化推理机制研究及其在服务组合中的应用
中文摘要:

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.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《计算机学报》
  • 北大核心期刊(2011版)
  • 主管单位:中国科学院
  • 主办单位:中国计算机学会 中国科学院计算技术研究所
  • 主编:孙凝晖
  • 地址:北京中关村科学院南路6号
  • 邮编:100190
  • 邮箱:cjc@ict.ac.cn
  • 电话:010-62620695
  • 国际标准刊号:ISSN:0254-4164
  • 国内统一刊号:ISSN:11-1826/TP
  • 邮发代号:2-833
  • 获奖情况:
  • 中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 美国数学评论(网络版),荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
  • 被引量:48433