基于完全有限前缀展开的行为等价过程树生成算法  

Generating Algorithm for the Behavior Equivalent Process Tree Based on Complete Finite Prefix Unfolding

作　　者：朱锐[1,2,3,4] 黄月 金芝 李彤[4,5] 汤雅惠[1,4] ZHU Rui;HUANG Yue;JIN Zhi;LI Tong;TANG Ya-Hui(School of Software,Yunnan University,Kunming 650091,China;School of Electronics Engineering and Computer Science,Peking University,Beijing 100871,China;Key Laboratory of High Confidence Software Technologies(Peking University),Ministry of Education,Beijing 100871,China;Key Laboratory in Software Engineering of Yunnan Province(Yunnan University),Kunming 650091,China;School of Big Data,Yunnan Agricultural University,Kunming 650201,China)

机构地区：[1]云南大学软件学院,云南昆明650091 [2]北京大学信息科学技术学院,北京100871 [3]高可信软件技术教育部重点实验室(北京大学),北京100871 [4]云南省软件工程重点实验室(云南大学),云南昆明650091 [5]云南农业大学大数据学院,云南昆明650201

出　　处：《软件学报》2021年第5期1385-1403,共19页Journal of Software

基　　金：国家自然科学基金(62002310);云南省重大科技专项计划(202002AD080002);云南省自然科学基金(2019FB135);云南省软件工程重点实验室开放基金资助项目(2020SE404);云南大学数据驱动的软件工程省科技创新团队资助项目(2017HC012);云南大学“东陆中青年骨干教师”培养计划资助项目(C176220200)。

摘　　要：过程树能够兼具过程模型的行为和结构,在简化模型结构的复杂度方面具有重要意义.现有过程树转化仅能将基于块结构的简单过程模型转化为过程树,无法将具有复杂结构的过程模型转化过程树.为此,提出了一种基于完全有限前缀展开的行为等价过程树生成算法,用于将与过程树行为等价的过程模型转化为行为等价过程树.该方法首先利用完全有限前缀展开技术分析过程模型,抽取模型的活动关系;其次通过分析活动关系,进而对模型进行重构.最终通过活动关系判断和模型重构的不断迭代操作,构建行为等价过程树.通过在测试模型上的实验,验证了该算法在行为等价过程树生成方面的正确性和可行性.The process tree has both the behavior and the structure of process model,and it is significant on simplifying the complexity of the process model.Existing methods can only transform the block structured process model into process tree.However,it is difficult to transform process model with complex structure into process tree.To solve this problem,a generating algorithm for the behavior equivalent process tree based on complete finite prefix unfolding is proposed.The algorithm is used to transform the process tree in behavior equivalent's process model into behavior equivalent process tree.This algorithm analyzes the process model based on an incomplete prefix unfolding technique and extracts the relationships between process model activities.After analyzing the activity relation,the algorithm reconstructs the process model.The behavior equivalent process tree is constructed through activity relation judgment and the iterative operation of model reconstruction.The validity and feasibility of the proposed algorithm in the generation of behavioral equivalent process tree are verified by experiments on the test model.

关 键 词：过程模型 复杂结构 PETRI网 过程树 完全有限前缀展开 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]