一种保持编排与参与者间行为一致的映射方法
作者:
作者单位:

作者简介:

代飞(1982-),男,四川乐山人,博士,副教授,CCF专业会员,主要研究领域为软件工程,业务过程管理;王炜(1979-),男,博士,副教授,CCF专业会员,主要研究领域为软件工程,软件演化;陈凤强(1992-),男,硕士,主要研究领域为业务过程管理;李彤(1963-),男,博士,教授,博士生导师,CCF高级会员,主要研究领域为软件工程;莫启(1986-),男,博士,讲师,主要研究领域为业务过程管理;梁志宏(1969-),男,博士,研究员,主要研究领域为软件工程.

通讯作者:

莫启,E-mail:moqiyueyang@163.com

中图分类号:

TP311

基金项目:

国家自然科学基金(61462095,61702442,61462092,61379032);云南省自然科学基金(2016FB102);云南省教育厅科学研究基金重大专项(ZD2014001)


Projection Approach for Keeping the Behavior Consistency Between Choreography and Peers
Author:
Affiliation:

Fund Project:

National Natural Science Foundation of China (61462095, 61702442, 61462092, 61379032); Yunnan Province Natural Science Foundation (2016FB102); Yunnan Provincial Department of Education Fund for Scientific Research of Major Special Projects (ZD2014001)

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

    将编排映射为Peer(参与者),是对编排进行可实现性分析的第1个步骤.现有文献提出的映射方法未考虑参与者中τ对行为的影响,无法确保编排与参与者间的行为一致性.以Petri网作为形式化基础,提出了一种能够保持编排与参与者间行为一致的映射方法,允许:(1)通过动作映射,将交互式Petri网定义的编排映射为带τ的交互式Petri网;(2)提出了4条τ删除规则,用以对带τ的交互式Petri网中的τ进行有选择的删除;(3)将编排与参与者间的行为一致性问题规约为检验两个交互式Petri间是否满足弱互模拟的问题,并证明了这4条τ删除规则的正确性.实验结果表明,该映射方法能够确保编排与参与者间的行为一致性.

    Abstract:

    That peers are generated by projection from choreographies is known as the first step in checking choreographies' realizability.However,the projection approaches proposed by the existing literature have not considered the behavioral influence of invisible action τ.This leads to behavior inconsistency between choreography and the generated peers.This paper proposes a projection approach based on Petri nets,which allows us to 1) generate the peers defined by interaction Petri nets with τ through action projection from a choreography defined by an interaction Petri net,2) develop four types of tau deletion rules to selectively delete τ of interaction Petri nets,and 3) specify the behavior consistency between choreography and the generated peers to check whether two Petri nets meet the weak simulation.Moreover,the correctness of these four types of tau deletion rules is proved.Experimental results show that the projection approach can ensure the behavior consistency between choreography and peers.

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

代飞,陈凤强,莫启,王炜,李彤,梁志宏.一种保持编排与参与者间行为一致的映射方法.软件学报,2018,29(5):1451-1470

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

京公网安备 11040202500063号