TY - 电子学报 A1 - 吉顺慧, 李必信, 邱栋 T1 - 基于XCFG的BPEL数据流属性分析与验证 Y1 - 2013-07-25 00:00:00.0 JF - 电子学报 JO - 电子学报 SP - 1365 EP - 1370 VL - 41 IS - 7 UR - {https://www.ejournal.org.cn/CN/10.3969/j.issn.0372-2112.2013.07.019} N1 - 10.3969/j.issn.0372-2112.2013.07.019 ER -