基于Petri网的面向公共过程的协同业务过程验证方法
Public process-oriented correctness verification approach for collaborative business processes based on Petri nets
汪煜祺 1莫启 2王佳能 1王佳 3谢仲文 4代飞5
作者信息
- 1. 云南大学软件学院,云南 昆明 650091
- 2. 云南大学软件学院,云南 昆明 650091;云南大学云南省软件工程重点实验室,云南 昆明 650091
- 3. 云南财经大学教务处,云南 昆明 650091
- 4. 泰山学院智慧文旅产业学院,山东 泰安 271000
- 5. 云南大学云南省软件工程重点实验室,云南 昆明 650091;西南林业大学大数据与智能工程学院,云南 昆明 650091
- 折叠
摘要
如何在保护隐私性的前提下高效地验证协同业务过程的正确性,是业务过程管理领域中一个重要的研究问题.为此,提出一种基于Petri网的面向公共过程的协同业务过程正确性验证方法.首先,采用Petri网对组织的私有过程和协同业务过程进行建模;然后,基于私有过程的控制流,定义了基本块结构(包含顺序、选择、并发、循环及同步链接结构)并提出对应抽取规则集;最后,将私有过程的控制流转换为通信进程代数(ACP),利用ACP进程的等式理论证明抽取前后模型的正确性一致.通过大量实验,并与现有典型验证方法进行对比分析,结果表明:相较于现有的方法,所提方法可以在保护组织隐私性的前提下极大地提高协同业务过程正确性的验证效率.
Abstract
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 exist-ing methods,the proposed method could greatly improve the verification efficiency of the correctness of collaborative business process while protecting the privacy of the organization.
关键词
协同业务过程/私有过程/公共过程/抽取规则/正确性验证Key words
collaboration business process/private process/public process/extraction rule/correctness verification引用本文复制引用
基金项目
国家自然科学基金资助项目(61862065)
云南省基础研究面上项目(202001BB050031)
云南省软件工程重点实验室开放基金青年项目(2020SE401)
泰安市科技创新发展项目(政策引导类)(2020NS297)
出版年
2024
NETL
NSTL
万方数据