基于分组公平控制流结构的流程变体合并方法

TP301.1; 合并流程变体模型能够快速地构建满足新需求的单一流程模型,对流程变体进行合并具有较大的实际应用价值,因此,文中提出了一种利用分组公平控制流结构的流程变体合并方法.首先,利用Petri网中的分组公平将流程变体分割为单个的变体片段;其次,提取出变体片段的控制流路径,并在此基础上构建其矩阵表现形式,进而将流程变体合并为单一的流程模型;最后,通过形式化证明验证合并后的流程模型可以捕获输入流程模型的所有行为,并且可以检测在合并模型中是否产生了不期望的行为....

Full description

Saved in:

Bibliographic Details
Published in:	计算机科学 Vol. 48; no. 12; pp. 170 - 180
Main Authors:	王吴松, 方欢, 郑雪文
Format:	Journal Article
Language:	Chinese
Published:	安徽理工大学数学与大数据学院安徽淮南232001 2021
Subjects:	流程变体;变体片段;流程合并;Petri网;业务系统
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	TP301.1; 合并流程变体模型能够快速地构建满足新需求的单一流程模型,对流程变体进行合并具有较大的实际应用价值,因此,文中提出了一种利用分组公平控制流结构的流程变体合并方法.首先,利用Petri网中的分组公平将流程变体分割为单个的变体片段;其次,提取出变体片段的控制流路径,并在此基础上构建其矩阵表现形式,进而将流程变体合并为单一的流程模型;最后,通过形式化证明验证合并后的流程模型可以捕获输入流程模型的所有行为,并且可以检测在合并模型中是否产生了不期望的行为.
ISSN:	1002-137X
DOI:	10.11896/jsjkx.201100157