面向需求确认的业务流程一致性检查方法

作     者：陈鹏 张链 张晓峰 李昭 何泾沙 Chen Peng;Zhang Lian;Zhang Xiaofeng;Li Zhao;He Jingsha

作者机构：三峡大学计算机与信息学院湖北宜昌443002 

基　　金：国家重点研发计划项目(2016YFC0802500 2016YFB0800403) 湖北省自然科学基金(2018CFC852) 教育部人文社科规划基金项目(20171304) 三峡库区地质灾害教育部重点实验室开放基金(2015KDZ05) 三峡大学人才专项基金(8000303) 

出 版 物：《信息通信》 (Information & Communications)

年 卷 期：2019年第32卷第1期

页      码：4-8页

摘      要：提出一种方法以检查两个流程集的一致性,其中一个源于用户实际的自然语言需求,另一个源于工程师设计的UML顺序图。方法分别获取存在于需求规格说明流程集而不存在于顺序图流程集的任务,以及存在于顺序图流程集而不存在于需求规格说明流程集的任务。方法采用BPMN(流程建模标注语言)分别对需求规格说明和顺序图进行统一表达,获取相应的BPMN流程集,对流程集进行校准,以检查出软件演进中两个关键阶段需求的差异。通过软件数据备份功能的用例,显示出该方法能有效地处理实际的数据集,并可分别为用户和工程师提供简明清晰的需求增补和修改建议。

主 题 词：需求确认 一致性检查 业务流程 流程建模标注语言 路径 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1673-1131.2019.01.002

馆 藏 号：203458241...