协同业务过程建模与行为验证

摘要：

对协同业务过程进行建模和行为验证是确保业务过程正确实施的关键.文中提出了一种协同业务过程的建模和行为验证方法.首先,该方法使用有限状态自动机建模每个参与组织的业务过程,并通过集中式消息缓冲区,将业务过程异步组合为协同业务过程;其次,提出了行为约束的声明式模板,用于定义协同业务过程中的行为约束关系,并通过映射规则,将行为约束关系转换为LTL(Linear Temporal Logic)公式;最后,提出了行为验证框架,借助进程分析工具PAT,实现了对协同业务过程行为的自动验证.通过对电力突发公共事件应急处置系统的建模与行为验证,阐述了所提方法的可行性和有效性.

关键词：协同业务过程、业务过程、异步消息通信、行为验证、模型检测

所属期刊栏目：45

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金61462095,61702442;云南省自然科学基金2016FB102

在线出版日期：2018-12-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：597-602