基于流程抽象的协同业务过程符合性验证  

Compliance verification of collaborative business process based on process abstraction

作　　者：莫启[1,2] 向吉祥 汪煜祺 代飞[2,3] 许小龙 齐连永 MO Qi;XIANG Jixiang;WANG Yuqi;DAI Fei;XU Xiaolong;QI Lianyong(School of Software, Yunnan University, Kunming 650091, China;Yunnan Provincial Key Laboratory of Software Engineering, Yunnan University, Kunming 650091, China;School of Big Data and IntelligenceEngineering, Southwest Forestry University, Kunming 650091, China;School of Computer and Software,Nanjing University of Information Science and Technology, Nanjing 210044, China;School of InformationScience and Engineering, Qufu Normal University, Qufu 273165, China)

机构地区：[1]云南大学软件学院,云南昆明650091 [2]云南大学云南省软件工程重点实验室,云南昆明650091 [3]西南林业大学大数据与智能工程学院,云南昆明650091 [4]南京信息工程大学计算机与软件学院,江苏南京210044 [5]曲阜师范大学信息科学与工程学院,山东曲阜273165

出　　处：《计算机集成制造系统》2021年第9期2542-2555,共14页Computer Integrated Manufacturing Systems

基　　金：国家自然科学基金资助项目(61862065);云南省应用基础研究计划资助项目(2018FB105,202001BB050031,202101AS070007);云南省教育厅科学研究基金资助项目(2020J0002);云南省软件工程重点实验室开放基金资助项目(2020SE401)。

摘　　要：验证协同业务过程与领域约束的符合性是一个关键问题,但现有工作需忽视对内部流程细节的处理,从而导致组织内部流程信息暴露、符合性验证误判及验证效率低下等问题。为此,基于流程抽象提出一种针对协同业务过程与领域约束符合性验证方法。首先,利用标号迁移系统和符合性语言分别描述业务过程及领域约束;然后,基于弱轨迹等价将业务过程中含有的内部流程细节全部移除以得到抽象业务过程,并将其并发组合,得到抽象协同业务过程;最后,在协同业务过程与领域约束是否相符的问题上,利用模型验证技术进行自动验证。将针对协同业务过程符合性验证转化为对抽象协同业务过程符合性验证,从而能够有效地避免暴露组织内部流程信息、确保符合性验证结果的正确性及提高形式验证效率。为了阐述所提方法的有效性,利用实际协同业务过程集进行实验,并从分析效率上对所提方法进行评价。实验结果表明:对比现有工作,在协同业务过程与领域约束的符合性分析上,所提方法更加有效。Verifying the compliance between collaborative business processes and domain constraints is a key issue.However,the existing work ignores the detailed processing of internal processes,leading to the disclosure of organizational internal process information,misconduct of compliance verification,and low verification efficiency.For this reason,a method for verifying the compliance between collaborative business processes and domain constraints based on the process abstraction was proposed.The label transition system and the compliance language Compliance Request Language(CRL)was used to describe the business process and domain constraints respectively.All the internal process details in the business processes based on the weak trace equivalence was removed to get the abstract business processes,which were combined to obtain the abstract collaborative business process.The model checking technology was used to automatically verify the compliance between collaborative business process with the domain constraints.The compliance verification of collaborative business process was transformed into the compliance verification of the abstract collaborative business process,which could effectively avoid exposing the internal process information of the organization,ensure the correctness of the compliance verification results and improve the efficiency of formal verification.To illustrate the effectiveness of the proposed method,the actual collaborative business process set was used to conduct experiments and to evaluate from the analysis efficiency.The experimental results showed that the proposed method was more effective in analyzing the conformity of the collaborative business process and domain constraints compared with the existing work.

关 键 词：协同业务过程 领域约束 符合性 模型检测 弱轨迹等价 

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