基于LTS的Web服务组合行为兼容性分析

发布时间：2018-07-07 11:55

  本文选题：Web服务 + 服务视图　； 参考：《计算机工程与设计》2016年05期

【摘要】：Web服务描述语言仅包含语法层信息,不能刻画服务交互的行为信息,不能对组装后的系统进行兼容性验证,为此提出既包含服务接口调用方法又包含内部逻辑行为的服务视图,采用标签转换系统(LTS)表示服务行为协议。根据服务组合的消息收发关系,将组合交互过程表示为多个LTS之间动作的同步变迁,通过LTS同步积模拟组合系统交互的动态行为;通过检查同步积中是否存在死锁状态,进行行为兼容性判定,设计判定算法以实现兼容性的自动分析,通过一个典型的电子商务应用系统分析验证了该方法的有效性。
[Abstract]:Web services description language contains only syntax layer information, can not describe the behavior information of service interaction, and can not verify the compatibility of the assembled system. Therefore, a service view, which contains both the service interface calling method and the internal logical behavior, is proposed. Label conversion system (LTS) is used to represent service behavior protocol. According to the message sending and receiving relationship of the service composition, the composite interaction process is expressed as the synchronous transition of the actions between several LTS, the dynamic behavior of the composite system is simulated by the LTS synchronous product, and the deadlock state in the synchronous product is checked. The behavior compatibility is judged and the algorithm is designed to realize the automatic analysis of the compatibility. The validity of the method is verified by a typical e-commerce application system analysis.
【作者单位】： 江西财经大学软件与通信工程学院;
【基金】：国家自然科学基金项目(61262012) 江西省自然科学基金项目(2008GZS0017)
【分类号】：TP393.09

【相似文献】

相关期刊论文 前10条

1 周燕;姜浩;;面向动态工作流的Web服务组合模型研究[J];计算机技术与发展;2008年01期

2 邢智毅;李辉;;基于Web服务组合技术的智能交通信息服务系统[J];电脑与信息技术;2013年01期

3 闫新庆;李文锋;陈定方;;基于有限状态自动机的Web服务组合(英文)[J];计算机工程与设计;2007年23期

4 陈国彬;;基于Qos约束的Web服务组合算法[J];控制工程;2014年04期

5 陈冬林;聂规划;李晓菲;;面向客户视角的Web服务组合优化与集成管理方法[J];计算机应用研究;2010年09期

6 李玲勇;高春鸣;文华南;;Web服务组合执行引擎中服务异步调用机制研究[J];计算机应用研究;2010年02期

7 赵明雷;赵文栋;彭来献;王珏;;Web服务组合算法的研究与分析[J];军事通信技术;2012年04期

8 刘波;吴家铸;;Web服务组合分布式协调模型研究[J];微电子学与计算机;2006年10期

9 袁小娟;高春鸣;;Web服务组合执行引擎中服务代理运行机制研究[J];计算机工程与应用;2007年28期

10 邓水光;吴朝晖;;Web服务组合方法综述[J];中国科技论文在线;2008年02期

相关会议论文 前5条

1 黄胜;彭敦陆;王晓玲;周傲英;;基于与或树搜索的快速Web服务组合方法[A];第二十二届中国数据库学术会议论文集（研究报告篇）[C];2005年

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

3 陈彦萍;李增智;夏虹;朱海萍;;服务质量驱动的Web服务组合框架的设计与实现[A];2006年全国通信软件学术会议论文集[C];2006年

4 李琦;夏阳;束长军;王磊;;一种基于与或关系的Web服务组合算法研究[A];2010年全国开放式分布与并行计算机学术会议论文集[C];2010年

5 林秀琴;张冬梅;;一种改进的分层泛洪Web服务组合算法[A];2006年全国通信软件学术会议论文集[C];2006年

相关博士学位论文 前6条

1 谭洪恩;基于Web服务组合的智能配电服务共享关键技术研究[D];武汉大学;2012年

2 江卓;基于智能规划的自适应动态Web服务组合研究[D];重庆大学;2015年

3 范大娟;Web服务组合中相容性分析与适配方法研究[D];南京航空航天大学;2014年

4 张涛;基于信任的Web服务组合关键技术研究[D];西安电子科技大学;2015年

5 宋雅娟;Web服务组合方法研究[D];吉林大学;2011年

6 付燕宁;Web服务组合方法的研究[D];吉林大学;2007年

相关硕士学位论文 前10条

1 王志斌;基于模型驱动的Web服务组合方法的研究[D];中国石油大学;2010年

2 闫培宁;支持Web服务组合的分布式事务处理模型[D];河南大学;2007年

3 孙文喜;需求驱动的自适应Web服务组合研究[D];大连海事大学;2014年

4 施晓霞;能耗感知的Web服务组合技术研究[D];杭州电子科技大学;2014年

5 王阳阳;多目标粒子群算法在Web服务组合中的应用研究[D];河南大学;2010年

6 杨汝涛;前K优Web服务组合方法及相关理论研究[D];南京大学;2012年

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

8 余文功;Web服务组合中的特征交互问题动态检测方法研究[D];中国石油大学;2010年

9 许兴旺;基于多智能体系统模型检测与抽象技术的Web服务组合验证[D];华侨大学;2014年

10 范俊;基于规则的Web服务组合研究[D];北京邮电大学;2007年

，

本文编号：2104885