软件学报

作者：朱锐，黄月，金芝，李彤，汤雅惠

单位：朱锐，云南大学软件学院, 云南 昆明 650091;北京大学信息科学技术学院, 北京 100871;高可信软件技术教育部重点实验室(北京大学), 北京 100871;云南省软件工程重点实验室(云南大学), 云南 昆明 65009111,黄月，云南大学软件学院, 云南 昆明 650091;云南省软件工程重点实验室(云南大学), 云南 昆明 65009102,金芝，北京大学信息科学技术学院, 北京 100871;高可信软件技术教育部重点实验室(北京大学), 北京 10087103,李彤，云南省软件工程重点实验室(云南大学), 云南 昆明 650091;云南农业大学 大数据学院, 云南 昆明 65020104,汤雅惠，云南大学软件学院, 云南 昆明 650091;云南省软件工程重点实验室(云南大学), 云南 昆明 65009105

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

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

过程树能够兼具过程模型的行为和结构，在简化模型结构的复杂度方面具有重要意义.现有过程树转化仅能将基于块结构的简单过程模型转化为过程树，无法将具有复杂结构的过程模型转化过程树.为此，提出了一种基于完全有限前缀展开的行为等价过程树生成算法，用于将与过程树行为等价的过程模型转化为行为等价过程树.该方法首先利用完全有限前缀展开技术分析过程模型，抽取模型的活动关系；其次通过分析活动关系，进而对模型进行重构.最终通过活动关系判断和模型重构的不断迭代操作，构建行为等价过程树.通过在测试模型上的实验，验证了该算法在行为等价过程树生成方面的正确性和可行性.

来源：2021年第5期

《软件学报》期刊编辑部

查看软件学报杂志2021年第5期