基于逻辑Petri网的服务流程结构演化研究
作者:
作者单位:

作者简介:

胡强(1980-),男,山东邹城人,博士,讲师,CCF专业会员,主要研究领域为Petri网理论,服务计算,软件形式化分析方法;任志考(1969-),男,副教授,主要研究领域为软件形式化建模,流程优化;赵振(1982-),男,博士,讲师,主要研究领域为智能生产系统,语义网;杜军威(1974-),男,博士,教授,CCF专业会员,主要研究领域为软件测试,形式化验证;杜玉越(1960-),男,博士,教授,博士生导师,CCF高级会员,主要研究领域为Petri网理论,形式化方法,人工智能.

通讯作者:

杜军威,E-mail:djwqd@163.com

中图分类号:

基金项目:

国家自然科学基金(61170078,61273180,61472228);山东省优秀中青年科学家科研奖励基金(BS2015DX010,BS2015ZZ006);山东省重点研发项目(2016GGX101031)


Study on Structure Evolution for Service Processes Base on Logic Petri Net
Author:
Affiliation:

Fund Project:

National Natural Science Foundation of China (61170078, 61273180, 61472228); the Promotive Research Fund for Young and Middle-Aged Scientisits of Shandong Province (BS2015DX010, BS2015ZZ006); the Key Research Program of Shandong Province (2016GGX101031)

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    流程结构演化是实现服务流程重构的一种有效手段,可以充分利用已有流程资源快速定制满足新业务需求的服务流程.然而,当前服务演化研究多关注于流程局部组成服务以及接口参数的兼容替换,对于流程结构演化所提供的操作过于简单,难以应对复杂流程演化场景.针对上述问题,提出一种基于逻辑Petri网的服务流程结构演化形式化描述方法.利用逻辑Petri网将服务流程建模为服务网,在服务网的基础上,针对不同的演化需求构建相应的结构演化运算;引入结构范式概念评价服务流程的结构健壮性,并借助逻辑Petri网的结构性质来分析与验证所建立的演化运算对流程结构范式的级别保持问题.给出了基于流程结构演化的服务流程定制框架,并基于所提出结构演化运算设计开发了仿真验证平台,验证了方法的有效性.

    Abstract:

    Structure evolution is an efficient way for service processes to perform process reconstruction. It can make good use of the existing service processes to build a new value-added service process. However, the traditional research methods of service evolution focus more on compatible substitution of the partial component services or interface parameters in the service processes. Meanwhile, the operations of structure evolution are too simple in the existing theoretical methods and fail to cope with the complex evolutionary requirements. To solve these problems, a formal method is proposed to achieve structure evolution for service processes based on logic Petri net in this paper. The service process is modeled as a service net based on logic Petri net. Several structure evolution operations are defined to deal with different evolutionary requirements. Structure normal form is introduced to evaluate the soundness of service processes. Property preservation based on the soundness of service process is also investigated by using the structure analysis and validation methods of Petri net. Finally, a framework for customization of service processes based on structure evolution is proposed and the simulation platform where evolution operations can be performed is also designed to illustrate the effectiveness of the proposed method.

    参考文献
    相似文献
    引证文献
引用本文

胡强,任志考,赵振,杜军威,杜玉越.基于逻辑Petri网的服务流程结构演化研究.软件学报,2018,29(9):2697-2715

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2016-10-09
  • 最后修改日期:2016-11-25
  • 录用日期:
  • 在线发布日期: 2017-04-11
  • 出版日期:
文章二维码
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号