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

Structure abstraction and behavior retention method for business process model based on complete finite prefix

作　　者：黄月 朱锐[2,3] 李彤 王基书 汤雅惠[2] 吕昌龙 HUANG Yue;ZHU Rui;LI Tong;WANG Jishu;TANG Yahui;LYU Changlong(School of Software,Shandong University,Jinan 250101,China;School of Software,Yunnan University,Kunming 650091,China;Key Laboratory of Software Engineering of Yunnan Province,Yunnan University,Kunming 650091,China;School of Big Data,Yunnan Agricultural University,Kunming 650201,China)

机构地区：[1]山东大学软件学院,山东济南250101 [2]云南大学软件学院,云南昆明650091 [3]云南省软件工程重点实验室,云南昆明650091 [4]云南农业大学大数据学院,云南昆明650201

出　　处：《计算机集成制造系统》2022年第11期3673-3690,共18页Computer Integrated Manufacturing Systems

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

摘　　要：针海量业务过程模型管理中,往往伴随着节点过多、行为复杂易错、用户难于理解等问题,因此如何在保持原有语义的前提下对模型进行自动化的化简对业务过程模型管理具有重要作用。然而,目前的化简方法要么会损失部分行为,要么会泛化部分行为,无法在保持行为的条件下进行模型化简,这为模型质量要求较高的领域带来了一定的挑战。为解决该问题,提出一种基于完全前缀展开的业务过程模型化简算法。该算法利用完全前缀展开技术,在保证原有过程模型行为语义等价的前提下,将模型的一部分结构转化为行为等价过程树,在最理想的情况下,可以将整个模型转化为行为等价过程树。再根据过程树中的行为和语义,重构业务过程模型,从而到达化简过程模型的目的。最后通过实验表明,该算法不仅具有正确性和可行性,还可以有效降低业务过程模型的复杂度。Prominent problems tend to occur in the management of numerous business process models,such as the excess of nodes,complicated and fallible behaviors,as well as incomprehensibility to customers.Therefore,realizing automated simplification of the models on the premise of retaining their original semantics is of great significance to the management of business process models.However,the existing simplification methods either leads to the loss of or the generalization of parts of the behaviors,using which it would not be feasible to achieve simplification on top of behavior retention,thereby posing great challenges for domains that demand high quality models.For this reason,a simplification algorithm was proposed for business process models based on complete finite prefix,by means of which the algorithm converted parts of the structure into a behavior equivalent process tree,on the premise that the semantic equivalence of the original process model behaviors could still be ensured.Under ideal conditions,this conversion could be achieved for the entire structure.Subsequently,the business process models were reconstructed according to the behaviors and semantics in the process tree,ultimately realizing the simplification.Through the results of relevant experiments,not only had the integrity and feasibility of the algorithm been verified,the algorithm had also been proven able to effectively reduce the complexity of business process models.

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

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