一种面向领域需求与业务流程间一致性的检测方法

• 作者: 彭鑫 柳金杜 沈立炜 赵文耘
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 业务流程建模符号(BPML) 软件产品线 变数线性时态逻辑(FLTL) 状态进程公式(FSP)
• 年，卷（期）: 2013,（6）
• 所属期刊栏目: 计算机软件与数据库技术
• 页码范围: 1270-1275
• 页数: 6页
• 分类号: TP311
• 字数: 7659字
• 语种: 中文

摘要

BPMN是软件开发领域中较为常用的描述业务流程的建模标准.在包含业务流程可变性的软件产品线中,基于BPMN的业务流程模板可支持针对领域需求的业务流程描述,并且能够高效地生成面向特定应用需求的业务流程实例.然而,领域需求与业务流程模板之间往往存在不一致情况.针对该问题,提出一种面向领域需求与业务流程一致性的模型检测方法,该方法使用变数线性时态逻辑(FLT[L)描述领域需求,同时使用状态进程公式(FSP)描述BPMN实例,在持续的迭代过程中使用自动化模型检测工具发现领域需求与业务流程之间的不一致,并将其反馈给相关人员实施修正.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	彭鑫	复旦大学软件学院	96	641	15.0	19.0
2	赵文耘	复旦大学软件学院	154	1327	20.0	28.0
3	沈立炜	复旦大学软件学院	22	43	4.0	4.0
4	柳金杜	复旦大学软件学院	2	6	1.0	2.0