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

发布时间：2018-02-22 09:23

  本文关键词： Web服务组合 扩展控制流图(XCFG) 数据流属性 验证　出处：《电子学报》2013年07期 　论文类型：期刊论文

【摘要】：BPEL组合服务实现了Web服务的复用和增值,但其复杂性带来了一定的挑战.例如,BPEL流程中正确的数据流对确保服务组合的正确性是十分重要的,然而现有的研究很少关注这类问题.本文提出一种基于扩展控制流图(XCFG)的BPEL流程数据流属性验证方法,利用XCFG对BPEL流程进行形式建模,设计相应的算法来分析和验证典型的数据流属性,如定义-使用一致性,无死锁和可达性.理论分析和实验均表明该方法是有效的.
[Abstract]:BPEL composition services implement reuse and value addition of Web services, but their complexity brings some challenges. For example, correct data flow in BPEL process is very important to ensure the correctness of service composition. However, little attention has been paid to this kind of problem. In this paper, an attribute verification method for BPEL process data flow based on extended control flow graph (XCFG) is proposed, and the formal modeling of BPEL process is carried out by using XCFG. Corresponding algorithms are designed to analyze and verify typical data flow attributes, such as definition-use consistency, deadlock-free and reachability. Theoretical analysis and experiments show that this method is effective.
【作者单位】： 东南大学计算机科学与工程学院;
【基金】：国家自然科学基金(No.60973149) 博士点基金(No.20100092110022) 江苏省高校科研成果产业化推进项目(No.JHB2011-3)
【分类号】：TP393.09

【参考文献】

相关期刊论文 前1条

1 朱敏;李必信;陈乔乔;吉顺慧;李加凯;;基于微分动态逻辑的CPS建模与属性验证[J];电子学报;2012年06期

【共引文献】

相关硕士学位论文 前1条

1 雷瑶;信息物理融合系统的形式化建模与分析[D];广东工业大学;2013年

【二级参考文献】

相关期刊论文 前4条

1 赖明志,尤晋元;从UML状态图到PVS规范的自动转换、验证[J];电子学报;2002年S1期

2 周颖 ,郑国梁 ,李宣东;面向模型检验的UML状态机语义[J];电子学报;2003年S1期

3 战德臣;冯锦丹;聂兰顺;徐晓飞;;ICEMDA:一种可互操作可配置可执行的模型驱动体系结构[J];电子学报;2008年S1期

4 刘亚萍;黄志球;祝义;;基于元建模的实时系统模型转换方法研究[J];小型微型计算机系统;2010年11期

【相似文献】

相关期刊论文 前10条

1 程永上;王志坚;;语义Web服务组合的形式化描述与验证研究[J];计算机科学;2008年04期

2 周霞;曹宝香;;OOPN下基于优先级算法的Web服务组合[J];电子技术;2011年04期

3 陈红;;基于参考网的Web服务组合模型[J];计算机应用;2006年12期

4 李景霞;侯紫峰;赵慧娟;;Web服务组合时间限制一致性研究[J];计算机应用研究;2006年03期

5 钟读杭;齐治昌;;利用软件容错技术提高Web服务组合的可靠性[J];计算机工程与科学;2008年03期

6 钟读杭;齐治昌;徐锡山;;基于冗余的Web服务组合可靠性优化方法[J];计算机工程;2008年04期

7 戚玉松;钱柱中;是湘全;;基于Agent的Web服务组合研究[J];南京理工大学学报(自然科学版);2006年03期

8 李景霞;侯紫峰;;基于颜色Petri网的Web服务组合建模及应用[J];计算机应用研究;2006年09期

9 莫振华;蔡鸿明;姜丽红;;基于遗传算法的多QoS约束服务选择[J];计算机应用与软件;2009年03期

10 吴江霞;杨放春;;支持事务机制的Web服务组合QoS属性预测方法[J];电子与信息学报;2008年03期

相关会议论文 前10条

1 仲晶;黄志球;;面向服务质量的Web服务选择方法：研究综述[A];2008通信理论与技术新发展——第十三届全国青年通信学术会议论文集（下）[C];2008年

2 刘波;吴家铸;;Web服务组合分布式协调模型研究[A];2006年全国开放式分布与并行计算学术会议论文集（二）[C];2006年

3 袁阳;闫莺;岳昆;王晓玲;周傲英;;质量驱动的频繁组合服务选择[A];第二十一届中国数据库学术会议论文集（技术报告篇）[C];2004年

4 李飞;张斌;葛亮;孙若男;;面向组合服务自适应执行的环境感知引擎[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年

5 刘琰;罗军勇;王清贤;;Internet实体的地理位置定位[A];2005中国控制与决策学术年会论文集（下）[C];2005年

6 郑栋;张育平;;基于语义的动态Web服务组合系统架构[A];2008通信理论与技术新发展——第十三届全国青年通信学术会议论文集（下）[C];2008年

7 蒋俊彦;李先贤;李建欣;吴茜;;SOArTester4RT:一种面向组合服务演化的高效回归测试工具[A];2010年全国开放式分布与并行计算机学术会议论文集[C];2010年

8 孙静;刘正捷;奚小玲;王慧;;帮助盲人理解网页信息的一种网页结构划分方法[A];第一届建立和谐人机环境联合学术会议（HHME2005）论文集[C];2005年

9 李磊;谭庆平;;Web服务兼容性及其验证算法[A];中国通信学会第六届学术年会论文集（上）[C];2009年

10 张文涛;彭泳;陈俊亮;;会话类E-Service的接口兼容分析[A];2006年全国通信软件学术会议论文集[C];2006年

相关重要报纸文章 前5条

1 ;重新认识MPLS VPN(下)[N];网络世界;2008年

2 ;放心WLAN解读802.11i[N];中国计算机报;2004年

3 ;想说i你不容易[N];网络世界;2004年

4 李巍;构建下一代软件架构[N];中国计算机报;2004年

5 Pejman Roshan;用802.1X实现802.11无线技术加密[N];计算机世界;2001年

相关博士学位论文 前10条

1 门鹏;基于Petri网的Web服务组合相关技术研究[D];西安电子科技大学;2009年

2 于守健;基于Web服务组合的业务流程集成关键技术研究[D];东华大学;2005年

3 康辉;基于PI-演算的CPN在移动通信服务建模的研究与应用[D];吉林大学;2008年

4 张龙昌;面向复杂上下文的组合服务决策方法研究[D];北京邮电大学;2011年

5 冯名正;Web服务组合关键技术研究[D];东南大学;2006年

6 何丰;语义Web服务组合若干关键技术研究[D];东华大学;2008年

7 高春鸣;服务组合的形式化检验与QoS感知的服务组合方法研究[D];国防科学技术大学;2007年

8 辜希武;Web服务组合形式化模型研究[D];华中科技大学;2007年

9 刘兵;基于Web服务组合的网格工作流研究[D];中国科学技术大学;2007年

10 温嘉佳;Web服务组合及其相关技术的研究[D];北京邮电大学;2007年

相关硕士学位论文 前10条

1 赵艳;基于时序Petri网的Web服务组合建模与质量分析[D];安徽理工大学;2009年

2 王赫;基于着色赋时Petri网的Web服务组合流程建模研究[D];大连海事大学;2008年

3 邹艳妮;基于价格时间Petri网的Web服务组合建模与分析[D];安徽理工大学;2008年

4 马临萍;基于WS-BPEL的web服务组合技术研究[D];西北大学;2008年

5 罗清;基于Web服务的工作流事务研究[D];中南大学;2007年

6 胡扬波;基于多目标优化的Web服务组合研究[D];中南大学;2009年

7 浦洁;基于Pi演算的Web服务组合模型与WSDL转换[D];吉林大学;2007年

8 李晶睿;数据可视化的Web服务及其组合的研究与开发[D];武汉理工大学;2007年

9 孙长俊;Web服务组合关系的研究与实现[D];河海大学;2007年

10 杨秀丽;基于有色Petri网的Web服务组合[D];吉林大学;2007年

，

本文编号：1524070