| 协同业务过程建模与行为验证 |
| |
| 引用本文： | 赵莹,潘华,张云猛,莫启,代飞.协同业务过程建模与行为验证[J].计算机科学,2018,45(Z11):597-602. |
| |
| 作者姓名： | 赵莹 潘华 张云猛 莫启 代飞 |
| |
| 作者单位： | 云南电力调度控制中心 昆明650011,云南云电同方科技有限公司 昆明650217,云南云电同方科技有限公司 昆明650217,云南大学软件学院 昆明650091,西南林业大学大数据与智能工程学院 昆明650224 |
| |
| 基金项目： | 本文受国家自然科学基金 (61462095,2),云南省自然科学基金 (2016FB102)资助 |
| |
| 摘 要： | 对协同业务过程进行建模和行为验证是确保业务过程正确实施的关键。文中提出了一种协同业务过程的建模和行为验证方法。首先,该方法使用有限状态自动机建模每个参与组织的业务过程,并通过集中式消息缓冲区,将业务过程异步组合为协同业务过程；其次,提出了行为约束的声明式模板,用于定义协同业务过程中的行为约束关系,并通过映射规则,将行为约束关系转换为LTL(Linear Temporal Logic)公式；最后,提出了行为验证框架,借助进程分析工具PAT,实现了对协同业务过程行为的自动验证。通过对电力突发公共事件应急处置系统的建模与行为验证,阐述了所提方法的可行性和有效性。
|
| 关 键 词： | 协同业务过程 业务过程 异步消息通信 行为验证 模型检测 |
Modeling and Behavior Verification for Collaborative Business Processes |
| |
| ZHAO Ying,PAN Hu,ZHANG Yun-meng,MO Qi and DAI Fei.Modeling and Behavior Verification for Collaborative Business Processes[J].Computer Science,2018,45(Z11):597-602. |
| |
| Authors: | ZHAO Ying PAN Hu ZHANG Yun-meng MO Qi and DAI Fei |
| |
| Affiliation: | Yunnan Power Dispatching and Control Center,Kunming 650011,China,Yunnan Yundian Tongfang Technology Co.,Ltd.,Kunming 650217,China,Yunnan Yundian Tongfang Technology Co.,Ltd.,Kunming 650217,China,School of Software,Yunnan University,Kunming 650091,China and School of Big Data and Intelligence Engineering, Southwest Forestry University,Kunming 650224,China |
| |
| Abstract: | |
| |
| Keywords: | Collaborative business process Business process Asynchronous message communication Behavior verification Model checking |
|
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
