摘要
过程树能够兼具过程模型的行为和结构,在简化模型结构的复杂度方面具有重要意义.现有过程树转化仅能将基于块结构的简单过程模型转化为过程树,无法将具有复杂结构的过程模型转化过程树.为此,提出了一种基于完全有限前缀展开的行为等价过程树生成算法,用于将与过程树行为等价的过程模型转化为行为等价过程树.该方法首先利用完全有限前缀展开技术分析过程模型,抽取模型的活动关系;其次通过分析活动关系,进而对模型进行重构.最终通过活动关系判断和模型重构的不断迭代操作,构建行为等价过程树.通过在测试模型上的实验,验证了该算法在行为等价过程树生成方面的正确性和可行性.
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.
作者
朱锐
黄月
金芝
李彤
汤雅惠
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)
出处
《软件学报》
EI
CSCD
北大核心
2021年第5期1385-1403,共19页
Journal of Software
基金
国家自然科学基金(62002310)
云南省重大科技专项计划(202002AD080002)
云南省自然科学基金(2019FB135)
云南省软件工程重点实验室开放基金资助项目(2020SE404)
云南大学数据驱动的软件工程省科技创新团队资助项目(2017HC012)
云南大学“东陆中青年骨干教师”培养计划资助项目(C176220200)。