主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第7期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
莫启,代飞,笪建,朱锐,林雷蕾,谢仲文,李彤.协同业务过程与需求的建模及一致性验证.软件学报,0,(0):0
协同业务过程与需求的建模及一致性验证
Modeling and Consistency Verification of Collaborative Business Processes and Requirements
投稿时间:2017-09-26  修订日期:2018-03-26
DOI:10.13328/j.cnki.jos.005629
中文关键词:  需求|协同业务过程|一致性|模型检测|互模拟等价
英文关键词:requirements|collaborative business processes|consistency|model checking|bisimulation equivalence
基金项目:国家自然科学基金(61462095,61702442,61662085,61379032);云南省应用基础研究计划项目(2016FB102,2018FB105);云南省软件工程重点实验室开放基金面上项目(2017SE201,2016SE202);云南省中青年学术和技术带头人后备人才培养经费(C6143002);云南省教育厅科学研究基金资助性项目(2017ZZX227)
作者单位E-mail
莫启 云南大学 软件学院, 云南 昆明 650091
云南省软件工程重点实验室(云南大学), 云南 昆明 650091 
 
代飞 云南省软件工程重点实验室(云南大学), 云南 昆明 650091
西南林业大学 大数据与智能工程学院, 云南 昆明 650091 
59671019@qq.com 
笪建 云南大学 软件学院, 云南 昆明 650091
淮安开放大学 信息工程系, 江苏 淮安 223001 
 
朱锐 云南大学 软件学院, 云南 昆明 650091
云南省软件工程重点实验室(云南大学), 云南 昆明 650091 
 
林雷蕾 云南大学 软件学院, 云南 昆明 650091  
谢仲文 云南大学 软件学院, 云南 昆明 650091
云南省软件工程重点实验室(云南大学), 云南 昆明 650091 
 
李彤 云南大学 软件学院, 云南 昆明 650091
云南省软件工程重点实验室(云南大学), 云南 昆明 650091 
 
摘要点击次数: 329
全文下载次数: 191
中文摘要:
      自底向上建模方法中的业务过程由不同组织开发,无法在设计阶段就预见其潜在的所有交互可能.因此,在实际协作中,建立协同业务过程可能与参与组织期望的系统功能和特性不一致.为此,提出一种协同业务过程与需求的建模及一致性验证方法.首先,引入并发操作符,提供一种通过组合参与组织的业务过程构建协同业务过程方法;然后,扩展目标模型,提出需求依赖图来建模参与组织的需求;最后,基于模型检测技术提出协同业务过程与需求一致性检测方法.重点解决了将协同业务过程转换为表达能力相同FSP进程规约和参与组织需求转换为LTL公式这两个问题.通过对典型的协同业务过程集阐述提出方法的有效性,并对方法分析效率进行评价,结果表明:相对已有工作,提出方法能够更加有效地用于协同业务过程与需求的一致性分析.
英文摘要:
      Business processes in the bottom-up modeling method that are developed by different organizations and all potential interactions cannot be predicted during the design phase. Thus, the established collaborative business process may be inconsistent with the system functions and features expected by participating organizations in actual collaboration. To this end, we propose an approach for modeling and consistency verification of collaborative business processes and requirements. First, we introduce the concurrency operator that provide a method of combining participating organization' business processes to construct collaborative business processes; Then we extend the goal model to requirement dependency graph (RDG), which is used to model participating organizations' requirements; Finally, we propose consistency detection method for collaborative business process and requirement based on model checking technology. We focus on solving the two problems of transforming collaborative business processes into the FSP processes with the same expression ability and converting the participating organizations' requirements into LTL formulas. Our approach is validated through the modeling and consistency analysis of the typical collaborative business processes, and the analysis efficiency of our approach is also evaluated, the result shows that this approach can be more effective than existing work when is used to consistency analysis between collaborative business processes and requirements.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

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