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

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

作者：汪煜祺, 莫启, 王佳能, 王佳, 谢仲文, 代飞

单位：1.云南大学软件学院2.云南大学云南省软件工程重点实验室3.云南财经大学教务处4.泰山学院智慧文旅产业学院5.西南林业大学大数据与智能工程学院

摘要：如何在保护隐私性的前提下高效地验证协同业务过程的正确性,是业务过程管理领域中一个重要的研究问题。为此,提出一种基于Petri网的面向公共过程的协同业务过程正确性验证方法。首先,采用Petri网对组织的私有过程和协同业务过程进行建模;然后,基于私有过程的控制流,定义了基本块结构(包含顺序、选择、并发、循环及同步链接结构)并提出对应抽取规则集;最后,将私有过程的控制流转换为通信进程代数(ACP),利用ACP进程的等式理论证明抽取前后模型的正确性一致。通过大量实验,并与现有典型验证方法进行对比分析,结果表明:相较于现有的方法,所提方法可以在保护组织隐私性的前提下极大地提高协同业务过程正确性的验证效率。

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

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