| 一种面向领域需求与业务流程间一致性的检测方法 |
| |
| 引用本文： | 柳金杜,沈立炜,彭鑫,赵文耘.一种面向领域需求与业务流程间一致性的检测方法[J].小型微型计算机系统,2013,34(6). |
| |
| 作者姓名： | 柳金杜 沈立炜 彭鑫 赵文耘 |
| |
| 作者单位： | 复旦大学软件学院,上海,201203 |
| |
| 基金项目： | 国家"八六三"高技术研究发展计划项目 |
| |
| 摘 要： | BPMN是软件开发领域中较为常用的描述业务流程的建模标准.在包含业务流程可变性的软件产品线中,基于BPMN的业务流程模板可支持针对领域需求的业务流程描述,并且能够高效地生成面向特定应用需求的业务流程实例.然而,领域需求与业务流程模板之间往往存在不一致情况.针对该问题,提出一种面向领域需求与业务流程一致性的模型检测方法,该方法使用变数线性时态逻辑(FLTL)描述领域需求,同时使用状态进程公式(FSP)描述BPMN实例,在持续的迭代过程中使用自动化模型检测工具发现领域需求与业务流程之间的不一致,并将其反馈给相关人员实施修正.
|
| 关 键 词： | 业务流程建模符号(BPML) 软件产品线 变数线性时态逻辑(FLTL) 状态进程公式(FSP) |
A Method for Checking Consistency Between Domain Requirements and Business Process |
| |
| LIU Jin-du
,
SHEN Li-wei
,
PENG Xin
,
ZHAO Wen-yun.A Method for Checking Consistency Between Domain Requirements and Business Process[J].Mini-micro Systems,2013,34(6). |
| |
| Authors: | LIU Jin-du SHEN Li-wei PENG Xin ZHAO Wen-yun |
| |
| Abstract: | |
| |
| Keywords: | business process modeling language (BPML) software product line fluent linear temporal logic (FLTL) finite state process (FSP) |
| 本文献已被 万方数据 等数据库收录！ |
|
