首页|基于Petri网自动化构建BPEL流程的SMV模型

基于Petri网自动化构建BPEL流程的SMV模型

扫码查看
原文链接
  • 国家科技期刊平台
  • NETL
  • NSTL
  • 万方数据
  • 维普
针对使用BPEL进行Web服务组合过程中,复杂业务流程的正确性验证繁琐且易出错问题,论文提出了一种自动化构建BPEL流程的SMV模型方法.该方法将BPEL流程自动化映射到Petri网,借由Petri网直观展示组合流程并进行边界值、死锁等性质的检查,再由Petri网可达图自动化生成SMV模型,使用模型检测工具验证系统的安全性和行为属性,从而在流程的设计阶段发现服务组合中可能存在的问题.实验结果表明论文工作可以有效地减少验证过程的复杂性,有助于提高服务组合流程的正确性.
SMV Model for Automating the Construction of BPEL Process Based on Petri Net

周子健、刘冬梅

展开 >

南京理工大学计算机学院 南京 210094

服务组合 BPEL Petri网 模型检测

2021

10.3969/j.issn.1672-9722.2021.10.022

计算机与数字工程
中国船舶重工集团公司第七0九研究所

计算机与数字工程

CSTPCD
影响因子：0.355
ISSN：1672-9722
年,卷(期)：2021.49(10)
  • 1
  • 3