基于Petri网Behavior Inclusion的业务流程变化域融合分析

• 作者: 刘祥伟 方欢 方贤文 赵芳
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 变化域 Behavior inclusion 融合网 沉默变迁 紧密度
• 年，卷（期）: 2018,（3）
• 所属期刊栏目: 软件技术与理论
• 页码范围: 695-708
• 页数: 14页
• 分类号: TP393
• 字数: 11695字
• 语种: 中文
• DOI: 10.11897/SP.J.1016.2018.00695

摘要

业务流程的变化域是潜在的、易导致系统出现非一致性的区域,从流程模型变化域的角度来分析业务系统可信性,也是解决业务系统可信管理的关键点之一.已有的研究大多数针对业务流程的控制流进行变化域分析,或将控制流与数据流进行交互分析,很少注意到两种流程交互时的行为包含关系及其影响.文中基于业务流程模型存在控制流和数据流,提出了基于Petri网Behavior inclusion的业务流程变化域融合分析方法,分别研究了业务流程控制流Petri网模型的变化域和数据流Petri网模型的变化域,并依据Behavior inclusion关系,确定了目标模型融合网的最终变化域.另外,对于存在沉默变迁的网提供了紧密度算法,分析业务流程控制流网、数据流网和融合网间的紧密度,以确定控制流模型或数据流模型对融合网变化域的影响程度.最后通过具体的实例分析与仿真实验,验证了该方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	方贤文	安徽理工大学信息与计算科学系	124	250	10.0	12.0
3	方欢	安徽理工大学信息与计算科学系	107	228	9.0	11.0
4	刘祥伟	安徽理工大学信息与计算科学系	78	129	5.0	8.0
7	赵芳	同济大学计算机科学系	1	9	1.0	1.0