%0 Journal Article %A 吉顺慧 %A 李必信 %A 邱栋 %T 基于XCFG的BPEL数据流属性分析与验证 %D 2013 %R 10.3969/j.issn.0372-2112.2013.07.019 %J 电子学报 %P 1365-1370 %V 41 %N 7 %X BPEL组合服务实现了Web服务的复用和增值,但其复杂性带来了一定的挑战.例如,BPEL流程中正确的数据流对确保服务组合的正确性是十分重要的,然而现有的研究很少关注这类问题.本文提出一种基于扩展控制流图(XCFG)的BPEL流程数据流属性验证方法,利用XCFG对BPEL流程进行形式建模,设计相应的算法来分析和验证典型的数据流属性,如定义-使用一致性,无死锁和可达性.理论分析和实验均表明该方法是有效的. %U https://www.ejournal.org.cn/CN/10.3969/j.issn.0372-2112.2013.07.019