基于完全前缀展开的业务过程模型结构化简与行为保持方法

来源：计算机集成制造系统杂志2022年第11期北京时间：

作者：黄月, 朱锐, 李彤, 王基书, 汤雅惠, 吕昌龙

单位：1.山东大学软件学院2.云南大学软件学院3.云南省软件工程重点实验室4.云南农业大学大数据学院

摘要：针海量业务过程模型管理中,往往伴随着节点过多、行为复杂易错、用户难于理解等问题,因此如何在保持原有语义的前提下对模型进行自动化的化简对业务过程模型管理具有重要作用。然而,目前的化简方法要么会损失部分行为,要么会泛化部分行为,无法在保持行为的条件下进行模型化简,这为模型质量要求较高的领域带来了一定的挑战。为解决该问题,提出一种基于完全前缀展开的业务过程模型化简算法。该算法利用完全前缀展开技术,在保证原有过程模型行为语义等价的前提下,将模型的一部分结构转化为行为等价过程树,在最理想的情况下,可以将整个模型转化为行为等价过程树。再根据过程树中的行为和语义,重构业务过程模型,从而到达化简过程模型的目的。最后通过实验表明,该算法不仅具有正确性和可行性,还可以有效降低业务过程模型的复杂度。

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

基金资助：国家自然科学基金资助项目(62002310);云南省重大科技专项计划资助项目(202002AD080002);云南省自然科学基金基础研究面上资助项目(202101AT070004);云南省软件工程重点实验室开放基金资助项目(2020SE404);云南哲学社会科学青年资助项目(QN2020024);兴滇英才支持计划资助项目。