基于Petri网的面向公共过程的协同业务过程验证方法  

Public process-oriented correctness verification approach for collaborative business processes based on Petri nets

作　　者：汪煜祺 莫启[1,2] 王佳能 王佳 谢仲文 代飞[2,5] WANG Yuqi;MO Qi;WANG Jianeng;WANG Jia;XIE Zhongwen;DAI Fei(School of Software,Yunnan University,Kunming 650091,China;Yunnan Provincial Key Laboratory of Software Engineering,Yunnan University,Kunming 650091,China;Educational Administration Office,Yunnan University of Finance and Economics,Kunming 650091,China;Smart Culture and Tourism Industry College,Taishan University,Tai an 271000,China;School of Big Data and Intelligence Engineering,Southwest Forestry University,Kunming 650091,China)

机构地区：[1]云南大学软件学院,云南昆明650091 [2]云南大学云南省软件工程重点实验室,云南昆明650091 [3]云南财经大学教务处,云南昆明650091 [4]泰山学院智慧文旅产业学院,山东泰安271000 [5]西南林业大学大数据与智能工程学院,云南昆明650091

出　　处：《计算机集成制造系统》2024年第8期2854-2871,共18页Computer Integrated Manufacturing Systems

基　　金：国家自然科学基金资助项目(61862065);云南省基础研究面上项目(202001BB050031);云南省软件工程重点实验室开放基金青年项目(2020SE401);泰安市科技创新发展项目(政策引导类)(2020NS297)。

摘　　要：如何在保护隐私性的前提下高效地验证协同业务过程的正确性,是业务过程管理领域中一个重要的研究问题。为此,提出一种基于Petri网的面向公共过程的协同业务过程正确性验证方法。首先,采用Petri网对组织的私有过程和协同业务过程进行建模;然后,基于私有过程的控制流,定义了基本块结构(包含顺序、选择、并发、循环及同步链接结构)并提出对应抽取规则集;最后,将私有过程的控制流转换为通信进程代数(ACP),利用ACP进程的等式理论证明抽取前后模型的正确性一致。通过大量实验,并与现有典型验证方法进行对比分析,结果表明:相较于现有的方法,所提方法可以在保护组织隐私性的前提下极大地提高协同业务过程正确性的验证效率。How to effectively verify the correctness of collaborative business processes under the premise of protecting privacy is an important research issue in the field of Business Process Management(BPM).Therefore,a Petri net based correctness verification method for collaborative business process was proposed.Petri net was used to model the private process and collaborative business process of the organization.Based on the control flow of private process,the basic block structure(including sequence,selection,concurrency,cycle and synchronous link structure)was defined and the corresponding extraction rule set was proposed.The control flow of private process was transformed into Algebra of Communicating Processes(ACP),and the equality theory of ACP process was used to prove the correctness of the model before and after extraction.Through a large number of experiments and comparative analysis with the existing typical verification methods,the results showed that compared with the existing methods,the proposed method could greatly improve the verification efficiency of the correctness of collaborative business process while protecting the privacy of the organization.

关 键 词：协同业务过程 私有过程 公共过程 抽取规则 正确性验证 

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