Page 161 - 《软件学报》2021年第5期

软件学报 ISSN 1000-9825, CODEN RUXUEW E-mail: jos@iscas.ac.cn
Journal of Software,2021,32(5):1385−1403 [doi: 10.13328/j.cnki.jos.006162] http://www.jos.org.cn
©中国科学院软件研究所版权所有. Tel: +86-10-62562563

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

4,5
1,4
1,4
2,3
朱 锐 1,2,3,4 , 黄 月 , 金 芝 , 李 彤 , 汤雅惠
1
(云南大学 软件学院,云南 昆明 650091)
2
(北京大学 信息科学技术学院,北京 100871)
3 (高可信软件技术教育部重点实验室(北京大学),北京 100871)
4 (云南省软件工程重点实验室(云南大学),云南 昆明 650091)
5
(云南农业大学 大数据学院,云南 昆明 650201)
通讯作者: 李彤, E-mail: tli@ynu.edu.cn

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

中文引用格式: 朱锐,黄月,金芝,李彤,汤雅惠.基于完全有限前缀展开的行为等价过程树生成算法.软件学报,2021,32(5):
1385–1403. http://www.jos.org.cn/1000-9825/6162.htm
英文引用格式: Zhu R, Huang Y, Jin Z, Li T, Tang YH. Generating algorithm for the behavior equivalent process tree based on
complete finite prefix unfolding. Ruan Jian Xue Bao/Journal of Software, 2021,32(5):1385−1403 (in Chinese). http://www.jos.org.cn/
1000-9825/6162.htm

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

1,4
1,4
4,5
2,3
ZHU Rui 1,2,3,4 , HUANG Yue , JIN Zhi , LI Tong , TANG Ya-Hui
1
(School of Software, Yunnan University, Kunming 650091, China)
2
(School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China)
3
(Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Beijing 100871, China)
4
(Key Laboratory in Software Engineering of Yunnan Province (Yunnan University), Kunming 650091, China)
5
(School of Big Data, Yunnan Agricultural University, Kunming 650201, China)

∗ 基金项目: 国家自然科学基金(62002310); 云南省重大科技专项计划(202002AD080002); 云南省自然科学基金(2019FB135);
云南省软件工程重点实验室开放基金资助项目(2020SE404); 云南大学数据驱动的软件工程省科技创新团队资助项目(2017HC012);
云南大学“东陆中青年骨干教师”培养计划资助项目(C176220200)
Foundation item: National Natural Science Foundation of China (62002310); Major Project of Science and Technology of Yunnan
Province (202002AD080002); Yunnan Provincial Natural Science Foundation of China (2019FB135); Yunnan Provincial Open Fund
Project of the Software Engineering Key Laboratory (2020SE404); Yunnan University Data-driven Software Engineering Provincial
Science and Technology Innovation Team Foundation of China (2017HC012); Yunnan University “Dong Lu Young-backbone Teacher”
Training Program of China (C176220200)
收稿时间: 2020-04-22; 修改时间: 2020-07-11, 2020-08-24; 采用时间: 2020-09-12; jos 在线出版时间: 2020-12-02