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 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.

Key words: collaboration business process, private process, public process, extraction rule, correctness verification

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

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