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

• 作者: 吉顺慧 李必信 邱栋
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: Web服务组合 扩展控制流图 (XCFG ) 数据流属性 验证
• 年，卷（期）: 2013,（7）
• 所属期刊栏目: 学术论文
• 页码范围: 1365-1370
• 页数: 6页
• 分类号: TP311
• 字数: 4478字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2013.07.019

摘要

BPEL组合服务实现了Web服务的复用和增值，但其复杂性带来了一定的挑战。例如，BPEL流程中正确的数据流对确保服务组合的正确性是十分重要的，然而现有的研究很少关注这类问题。本文提出一种基于扩展控制流图（XCFG ）的BPEL流程数据流属性验证方法，利用XCFG对BPEL流程进行形式建模，设计相应的算法来分析和验证典型的数据流属性，如定义-使用一致性，无死锁和可达性。理论分析和实验均表明该方法是有效的。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吉顺慧	东南大学计算机科学与工程学院	4	44	4.0	4.0
2	李必信	东南大学计算机科学与工程学院	39	305	9.0	15.0
3	邱栋	东南大学计算机科学与工程学院	2	8	1.0	2.0