| 基于Petri网自动化构建BPEL流程的SMV模型 |
| |
| 引用本文： | 周子健,刘冬梅. 基于Petri网自动化构建BPEL流程的SMV模型[J]. 计算机与数字工程, 2021, 49(10): 2062-2068,2132. DOI: 10.3969/j.issn.1672-9722.2021.10.022 |
| |
| 作者姓名： | 周子健 刘冬梅 |
| |
| 作者单位： | 南京理工大学计算机学院 南京 210094 |
| |
| 摘 要： | 针对使用BPEL进行Web服务组合过程中,复杂业务流程的正确性验证繁琐且易出错问题,论文提出了一种自动化构建BPEL流程的SMV模型方法.该方法将BPEL流程自动化映射到Petri网,借由Petri网直观展示组合流程并进行边界值、死锁等性质的检查,再由Petri网可达图自动化生成SMV模型,使用模型检测工具验证系统的安全性和行为属性,从而在流程的设计阶段发现服务组合中可能存在的问题.实验结果表明论文工作可以有效地减少验证过程的复杂性,有助于提高服务组合流程的正确性.
|
| 关 键 词： | 服务组合 BPEL Petri网 模型检测 |
SMV Model for Automating the Construction of BPEL Process Based on Petri Net |
| |
| ZHOU Zijian,LIU Dongmei. SMV Model for Automating the Construction of BPEL Process Based on Petri Net[J]. Computer and Digital Engineering, 2021, 49(10): 2062-2068,2132. DOI: 10.3969/j.issn.1672-9722.2021.10.022 |
| |
| Authors: | ZHOU Zijian LIU Dongmei |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
