主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第4期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
代飞,陈凤强,莫启,王炜,李彤,梁志宏.一种保持编排与参与者间行为一致的映射方法.软件学报,2018,29(5):1451-1470
一种保持编排与参与者间行为一致的映射方法
Projection Approach for Keeping the Behavior Consistency Between Choreography and Peers
投稿时间:2016-10-17  修订日期:2017-01-18
DOI:10.13328/j.cnki.jos.005382
中文关键词:  业务过程管理  编排  参与者  映射  可实现性
英文关键词:business process management  choreography  peer  projection  realizability
基金项目:国家自然科学基金(61462095,61702442,61462092,61379032);云南省自然科学基金(2016FB102);云南省教育厅科学研究基金重大专项(ZD2014001)
作者单位E-mail
代飞 西南林业大学 大数据与智能工程学院, 云南 昆明 650224
云南省软件工程重点实验室(云南大学), 云南 昆明 650091 
 
陈凤强 云南大学 软件学院, 云南 昆明 650091  
莫启 云南省软件工程重点实验室(云南大学), 云南 昆明 650091
云南大学 软件学院, 云南 昆明 650091 
moqiyueyang@163.com 
王炜 云南省软件工程重点实验室(云南大学), 云南 昆明 650091
云南大学 软件学院, 云南 昆明 650091 
 
李彤 云南省软件工程重点实验室(云南大学), 云南 昆明 650091
云南大学 软件学院, 云南 昆明 650091 
 
梁志宏 西南林业大学 大数据与智能工程学院, 云南 昆明 650224
云南省软件工程重点实验室(云南大学), 云南 昆明 650091 
 
摘要点击次数: 531
全文下载次数: 453
中文摘要:
      将编排映射为Peer(参与者),是对编排进行可实现性分析的第1个步骤.现有文献提出的映射方法未考虑参与者中τ对行为的影响,无法确保编排与参与者间的行为一致性.以Petri网作为形式化基础,提出了一种能够保持编排与参与者间行为一致的映射方法,允许:(1)通过动作映射,将交互式Petri网定义的编排映射为带τ的交互式Petri网;(2)提出了4条τ删除规则,用以对带τ的交互式Petri网中的τ进行有选择的删除;(3)将编排与参与者间的行为一致性问题规约为检验两个交互式Petri间是否满足弱互模拟的问题,并证明了这4条τ删除规则的正确性.实验结果表明,该映射方法能够确保编排与参与者间的行为一致性.
英文摘要:
      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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利