| 协同业务过程与需求的建模及一致性验证 |
| |
| 作者姓名： | 莫启 代飞 笪建 朱锐 林雷蕾 谢仲文 李彤 |
| |
| 作者单位： | 云南大学 软件学院, 云南 昆明 650091;云南省软件工程重点实验室(云南大学), 云南 昆明 650091,云南省软件工程重点实验室(云南大学), 云南 昆明 650091;西南林业大学 大数据与智能工程学院, 云南 昆明 650091,云南大学 软件学院, 云南 昆明 650091;淮安开放大学 信息工程系, 江苏 淮安 223001,云南大学 软件学院, 云南 昆明 650091;云南省软件工程重点实验室(云南大学), 云南 昆明 650091,云南大学 软件学院, 云南 昆明 650091,云南大学 软件学院, 云南 昆明 650091;云南省软件工程重点实验室(云南大学), 云南 昆明 650091,云南大学 软件学院, 云南 昆明 650091;云南省软件工程重点实验室(云南大学), 云南 昆明 650091 |
| |
| 基金项目： | 国家自然科学基金（61462095,61702442,61662085,61379032）;云南省应用基础研究计划项目（2016FB102,2018FB105）;云南省软件工程重点实验室开放基金面上项目（2017SE201,2016SE202）;云南省中青年学术和技术带头人后备人才培养经费（C6143002）;云南省教育厅科学研究基金资助性项目（2017ZZX227） |
| |
| 摘 要： | 自底向上建模方法中的业务过程由不同组织开发,无法在设计阶段就预见其潜在的所有交互可能.因此,在实际协作中,建立协同业务过程可能与参与组织期望的系统功能和特性不一致.为此,提出一种协同业务过程与需求的建模及一致性验证方法.首先,引入并发操作符,提供一种通过组合参与组织的业务过程构建协同业务过程方法;然后,扩展目标模型,提出需求依赖图来建模参与组织的需求;最后,基于模型检测技术提出协同业务过程与需求一致性检测方法.重点解决了将协同业务过程转换为表达能力相同FSP进程规约和参与组织需求转换为LTL公式这两个问题.通过对典型的协同业务过程集阐述提出方法的有效性,并对方法分析效率进行评价,结果表明：相对已有工作,提出方法能够更加有效地用于协同业务过程与需求的一致性分析.
|
| 关 键 词： | 需求|协同业务过程|一致性|模型检测|互模拟等价 |
| 收稿时间： | 2017-09-26 |
| 修稿时间： | 2018-03-26 |
|
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
