主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2020-2021年专刊出版计划 微信服务介绍 最新一期:2020年第5期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
莫启,代飞,笪建,朱锐,谢仲文,李彤.协同业务过程的建模及正确性修正.软件学报,0,(0):0
协同业务过程的建模及正确性修正
Modeling and Correctness Repairing for Collaborative Business Processes
投稿时间:2018-05-09  修订日期:2018-09-18
DOI:10.13328/j.cnki.jos.005809
中文关键词:  协同业务过程  正确性修正  简单路径    协调映射
英文关键词:Collaborative Business Processes  Correctness Repairing  Simple Routes  Core  Coordination Mapping
基金项目:国家自然科学基金(61862065,61702442,61662085);云南省应用基础研究计划项目(2018FB105);云南省软件工程重点实验室开放基金面上项目(2017SE201,2016SE202);云南省中青年学术和技术带头人后备人才培养经费(C6143002);云南省教育厅科学研究基金资助性项目(2017ZZX227)
作者单位E-mail
莫启 云南大学 软件学院, 云南 昆明 650091
云南省软件工程重点实验室(云南大学), 云南 昆明 650091 
 
代飞 云南省软件工程重点实验室(云南大学), 云南 昆明 650091
西南林业大学 大数据与智能工程学院, 云南 昆明 650091 
59671019@qq.Com 
笪建 云南大学 软件学院, 云南 昆明 650091
淮安开放大学 信息工程系, 江苏 淮安 223001 
 
朱锐 云南大学 软件学院, 云南 昆明 650091
云南省软件工程重点实验室(云南大学), 云南 昆明 650091 
 
谢仲文 云南大学 软件学院, 云南 昆明 650091
云南省软件工程重点实验室(云南大学), 云南 昆明 650091 
 
李彤 云南大学 软件学院, 云南 昆明 650091
云南省软件工程重点实验室(云南大学), 云南 昆明 650091 
 
摘要点击次数: 98
全文下载次数: 825
中文摘要:
      由自底向上建模方法建立的协同业务过程中通常存在不一致,故对其进行正确性分析是确保其正确实施的重要手段.现有方法大多关注正确性检测,这使得协同业务过程正确性分析过程复杂且耗时.而正确性修正方法能够避免正确性检测方法中存在的重复检测和调整,但这方面研究较少,不能有效地应用于协同业务过程修正.为此,基于简单路径提出一种协同业务过程正确性修正方法.首先,在考虑活动同步及异步交互情况下,将部分正确协同业务过程行为抽象为完整的简单路径,并将其合并成核;然后,利用协调映射技术将核映射为修正业务过程,通过将所有的修正业务过程并发组合建立修正协同业务过程.修正协同业务过程符合协同业务过程的实际特征,且含有修正前协同业务过程中所有完整轨迹,也未引入隐藏轨迹,从而避免有效性确认.最后,通过实验与现有的方法进行对比分析,结果表明:相对已有工作,在考虑协同业务过程实际特征情况下,能够更加有效地对协同业务过程进行正确性修正.
英文摘要:
      There are usually inconsistencies in collaborative business processes established by the bottom-up modeling method, so the correctness analysis is an important means to ensure its correct implementation. Most of the existing methods focus on correctness detection, which makes the analysis process of correctness of collaborative business processes complicated and time consuming. The correctness repairing method can avoid the duplicate detection and adjustment existing in the correctness detection method. However, this method is less researched and cannot be effectively applied to the repair of collaborative business processes. To this end, we propose a method of repairing the correctness of collaborative business processes based on the complete route. First, we abstract the behaviors of partial correct collaborative business processes into complete simple routes under the consideration of active synchronization and asynchronous interaction, and merged them into a core; Then, we use the coordination mapping to map the core to repaired business processes, and the repaired collaborative business process is established by combining all the repaired business processes concurrently. The repaired collaborative business process conforms to the actual characteristics of collaborative business processes, and contains all complete traces in the pre-repair collaborative business process, and no hidden traces are also introduced, thereby avoiding validation. Finally, we use experiments to compare the proposed method with the existing methods. The results show that compared with the existing work, under the consideration of the actual characteristics of collaborative business processes, we can more effectively repair collaborative business processes.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

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