基于XCFG的BPEL数据流属性分析与验证

您当前的位置：

首页 >

文章列表页 >

学术论文 | 更新时间：2025-07-16

- 基于XCFG的BPEL数据流属性分析与验证
- XCFG-Based Analysis and Verification for Data Flow Property of BPEL
- 电子学报 2013年41卷第7期页码：1365-1370
- 作者机构：
  
  东南大学计算机科学与工程学院,江苏,南京,211189
- 作者简介：
- 基金信息：
  
  国家自然科学基金 (No.60973149);博士点基金 (No.20100092110022);江苏省高校科研成果产业化推进项目 (No.JHB2011-3)
- DOI：10.3969/j.issn.0372-2112.2013.07.019
  中图分类号： TP311
- 纸质出版：2013
- 稿件说明：
移动端阅览
吉顺慧, 李必信, 邱栋. 基于XCFG的BPEL数据流属性分析与验证[J]. 电子学报, 2013,41(7):1365-1370.

JI Shun-hui, LI Bi-xin, QIU Dong. XCFG-Based Analysis and Verification for Data Flow Property of BPEL[J]. Acta Electronica Sinica, 2013, 41(7): 1365-1370.
吉顺慧, 李必信, 邱栋. 基于XCFG的BPEL数据流属性分析与验证[J]. 电子学报, 2013,41(7):1365-1370. DOI： 10.3969/j.issn.0372-2112.2013.07.019.

JI Shun-hui, LI Bi-xin, QIU Dong. XCFG-Based Analysis and Verification for Data Flow Property of BPEL[J]. Acta Electronica Sinica, 2013, 41(7): 1365-1370. DOI： 10.3969/j.issn.0372-2112.2013.07.019.

BPEL组合服务实现了Web服务的复用和增值

但其复杂性带来了一定的挑战.例如

BPEL流程中正确的数据流对确保服务组合的正确性是十分重要的

然而现有的研究很少关注这类问题.本文提出一种基于扩展控制流图(XCFG)的BPEL流程数据流属性验证方法

利用XCFG对BPEL流程进行形式建模

设计相应的算法来分析和验证典型的数据流属性

如定义-使用一致性

无死锁和可达性.理论分析和实验均表明该方法是有效的.

BPEL achieves reusability and value-adding of Web service through composing individual services.Meanwhile

it brings some challenges because of its complexity.For example

guaranteeing the data flow correct is very important for the correctness of BPEL process.However

few literatures focus on the data flow related analysis and verification.In this paper

we proposed an XCFG based technique

which models BPEL with XCFG and designs corresponding algorithms to analyze and verify the typical data flow property of BPEL

such as the consistency of define-use

deadlock-free and reachability.Both theoretical and experimental study validates the effectiveness of the XCFG based technique.

浏览量

2032

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于幂表的并行加法器的归纳验证

基于时序约束分解的QoS感知的Web服务组合

基于微分动态逻辑的CPS建模与属性验证

双极模拟集成电路计算机辅助剖析和验证系统