-
题名基于分组公平控制流结构的流程变体合并方法
- 1
-
-
作者
王吴松
方欢
郑雪文
-
机构
安徽理工大学数学与大数据学院
-
出处
《计算机科学》
CSCD
北大核心
2021年第12期170-180,共11页
-
基金
国家自然科学基金(61572035,61902002)
安徽省自然科学基金(1608085QF149)
+1 种基金
安徽省高校优秀青年人才基金(gxyqZD2018038)
安徽省博士后基金(2018B288)。
-
文摘
合并流程变体模型能够快速地构建满足新需求的单一流程模型,对流程变体进行合并具有较大的实际应用价值,因此,文中提出了一种利用分组公平控制流结构的流程变体合并方法。首先,利用Petri网中的分组公平将流程变体分割为单个的变体片段;其次,提取出变体片段的控制流路径,并在此基础上构建其矩阵表现形式,进而将流程变体合并为单一的流程模型;最后,通过形式化证明验证合并后的流程模型可以捕获输入流程模型的所有行为,并且可以检测在合并模型中是否产生了不期望的行为。
-
关键词
流程变体
变体片段
流程合并
PETRI网
业务系统
-
Keywords
Process variants
Variant fragment
Process merging
Petri nets
Business system
-
分类号
TP301.1
[自动化与计算机技术—计算机系统结构]
-
