【摘 要】
：
BPEL组合服务实现了Web服务的复用和增值,但其复杂性带来了一定的挑战.例如,BPEL流程中正确的数据流对确保服务组合的正确性是十分重要的,然而现有的研究很少关注这类问题.本
【基金项目】
：
国家自然科学基金（No.60973149）, 博士点基金（No.20100092110022）, 江苏省高校科研成果产业化推进项目（No.JHB2011-3）
论文部分内容阅读
BPEL组合服务实现了Web服务的复用和增值,但其复杂性带来了一定的挑战.例如,BPEL流程中正确的数据流对确保服务组合的正确性是十分重要的,然而现有的研究很少关注这类问题.本文提出一种基于扩展控制流图（XCFG）的BPEL流程数据流属性验证方法,利用XCFG对BPEL流程进行形式建模,设计相应的算法来分析和验证典型的数据流属性,如定义-使用一致性,无死锁和可达性.理论分析和实验均表明该方法是有效的.
其他文献
应用Wackernagel等提出的生态足迹分析法对安徽省近年来生态足迹和生态承载力进行计算,以此对安徽省可持续性发展现状进行度量,并利用灰色模型对安徽省人均生态足迹和生态承
固态发酵技术是中药炮制的重要方法。现代固态发酵技术是在继承传统发酵技术的基础上,结合发酵工程等现代生物技术而发展起来的。对传统中药发酵技术概况、现代中药固态发酵
为评估一类广义Feistel密码的安全性能，利用迭代结构对该分组密码抵抗差分密码分析和线性密码分析的能力进行了深入的研究。在轮函数都是双射的假设条件下，证明了4r （r≥1）轮广义
数据的不确定性在现实世界中的经济、军事、物流、金融、电信等领域普遍存在.不确定数据广泛应用于环境维护、市场分析、基于位置的服务LBS以及数量经济研究等应用.由于这些
通过实地调查，针对国家法与苗族习惯法冲突的现象，提出了解决机制，即在立法层面上，国家法应吸收民族习惯法中优秀的部分并变通法律规定；在司法层面上，充分发挥基层法院法官的调解作