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

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

作者：莫启,向吉祥,汪煜祺,代飞,许小龙,齐连永

单位：1.云南大学软件学院2.云南大学云南省软件工程重点实验室3.西南林业大学大数据与智能工程学院4.南京信息工程大学计算机与软件学院5.曲阜师范大学信息科学与工程学院

摘要：验证协同业务过程与领域约束的符合性是一个关键问题,但现有工作需忽视对内部流程细节的处理,从而导致组织内部流程信息暴露、符合性验证误判及验证效率低下等问题。为此,基于流程抽象提出一种针对协同业务过程与领域约束符合性验证方法。首先,利用标号迁移系统和符合性语言分别描述业务过程及领域约束;然后,基于弱轨迹等价将业务过程中含有的内部流程细节全部移除以得到抽象业务过程,并将其并发组合,得到抽象协同业务过程;最后,在协同业务过程与领域约束是否相符的问题上,利用模型验证技术进行自动验证。将针对协同业务过程符合性验证转化为对抽象协同业务过程符合性验证,从而能够有效地避免暴露组织内部流程信息、确保符合性验证结果的正确性及提高形式验证效率。为了阐述所提方法的有效性,利用实际协同业务过程集进行实验,并从分析效率上对所提方法进行评价。实验结果表明:对比现有工作,在协同业务过程与领域约束的符合性分析上,所提方法更加有效。

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

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