支持语义、接口和协议的服务相容性分析

发布时间：2019-04-07 20:01

【摘要】：针对已有方法不支持同时对服务的语义、接口和协议层进行相容性分析的问题,提出了一种基于语义、接口和协议信息的服务相容性分析及相容度计算方法。通过对确定有限自动机DFA进行语义接口协议扩展以建模服务的语义、接口和协议信息,在此基础上,给出了服务之间3种相容性的形式化定义。利用服务之间行为路径对的对偶关系来分析2个服务之间的相容性,并计算其相容度证明了该方法的正确性,通过实例分析表明了方法的有效性。
[Abstract]:Aiming at the problem that the existing methods do not support the compatibility analysis of semantic interface and protocol layer at the same time a method of service compatibility analysis and compatibility calculation based on semantic interface and protocol information is proposed. By extending the semantic interface protocol of deterministic finite automata (DFA) to model the semantics, interfaces and protocol information of services, the formal definitions of three kinds of compatibility among services are given. The compatibility between the two services is analyzed by using the dual relation of the behavioral path pairs between services, and the correctness of the method is proved by calculating the compatibility degree of the two services. An example is given to show the effectiveness of the method.
【作者单位】： 南京航空航天大学计算机科学与技术学院;解放军理工大学指挥信息系统学院;
【基金】：国家863计划资助项目(2009AA010307) 国家自然科学基金资助项目(61272083,61170043,61100034) 中国博士后科学基金资助项目(20110491411) 江苏省博士后科研计划资助项目(1101092C)
【分类号】：TP393.09

【相似文献】

相关期刊论文 前10条

1 杨锦川;局域网WEB服务故障一例[J];中国计算机用户;2000年14期

2 陈本辉;高校校园网建设及应用[J];大理医学院学报;2001年S1期

3 ;Borland宣布支持Java~(TM)的Web服务战略[J];电脑编程技巧与维护;2001年11期

4 ;Sun ONE在目录服务上的优势[J];华南金融电脑;2002年10期

5 ;融合:殊途同归的四种构想[J];互联网周刊;2002年41期

6 吴青泉,申德荣,于戈,杨丹;一个面向企业动态联盟的Web服务合成系统[J];计算机集成制造系统-CIMS;2003年08期

7 宋善德,王雪飞;基于Web服务的企业应用集成方案[J];计算机应用研究;2003年06期

8 罗新星,陈伟谋;利用WEB SERVICES集成管理信息系统中的WEB应用[J];计算机系统应用;2003年06期

9 梁伍七,寿志勤;基于Web服务的分布式应用集成模型及其实现[J];安徽教育学院学报;2003年06期

10 李蓥;基于Web服务的应用系统架构方法研究[J];河南大学学报(自然科学版);2003年03期

相关会议论文 前10条

1 尤军;;谈气象Web服务的网络安全问题[A];网络安全技术的开发应用学术会议论文集[C];2002年

2 蔡子龙;俞集辉;;基于Web服务的远程报表打印系统的研究[A];电工理论与新技术2004年学术研讨会论文集[C];2004年

3 刘正涛;毛宇光;应毅;;基于Web服务的分布式Web应用框架研究[A];第一届全国Web信息系统及其应用会议（WISA2004）论文集[C];2004年

4 任涛;李玉忱;刘乃丽;;面向动态环境的Web服务合成系统[A];第一届全国Web信息系统及其应用会议（WISA2004）论文集[C];2004年

5 张伟燕;席传裕;;J2EE中异步Web服务的研究与应用[A];第一届全国Web信息系统及其应用会议（WISA2004）论文集[C];2004年

6 李滨;刘莹;;UDDI注册中心综述[A];中国企业运筹学[C];2009年

7 刘青;连祥鉴;;基于上下文的Web服务动态组合[A];2008年全国开放式分布与并行计算机学术会议论文集(上册)[C];2008年

8 曾诚;李兵;何克清;;KMP算法在Web服务语义标注中的应用[A];2010年全国开放式分布与并行计算机学术会议论文集[C];2010年

9 唐勇;刘玉芳;孔晓峰;;基于Specification的保护Web服务的入侵检测技术研究[A];第一届全国Web信息系统及其应用会议（WISA2004）论文集[C];2004年

10 成睿星;苏森;杨放春;;使用范例推理的服务组合方法研究[A];2006年全国通信软件学术会议论文集[C];2006年

相关重要报纸文章 前10条

1 朴华;SilverStream延伸Web服务[N];中国计算机报;2002年

2 乐天;SOA构建要注意什么？[N];计算机世界;2004年

3 ;Web服务实现（连载7）[N];上海科技报;2002年

4 边一;五大预测Web服务中的安全机制[N];网络世界;2003年

5 李浩;Web服务的阳光之旅[N];网络世界;2004年

6 本报记者 薛斐;Web服务不神秘！[N];计算机世界;2002年

7 子华;贴有Web服务标签的SilverStream[N];计算机世界;2002年

8 ;深圳移动实现WEB服务[N];网络世界;2002年

9 ;Web服务世界现在还好吗？[N];网络世界;2003年

10 ;Web服务推动BI演进[N];网络世界;2003年

相关博士学位论文 前10条

1 任志宏;Web服务复合的若干关健问题研究[D];中国科学院研究生院（软件研究所）;2004年

2 吴健;基于Web服务的网络化产品配置技术研究[D];浙江大学;2004年

3 刘安丰;基于QoS的分布式Web服务结构模型及其关键技术研究[D];中南大学;2005年

4 史玉良;Web服务合成的若干关键技术研究[D];复旦大学;2006年

5 龚晓庆;基于Web服务的分布式工作流管理系统研究[D];西北大学;2004年

6 汤景凡;动态Web服务组合的关键技术研究[D];浙江大学;2005年

7 肖颖;电子商务环境下基于Web Services的多代理自动协商系统的模型和若干关键技术研究[D];浙江大学;2006年

8 刘必欣;动态Web服务组合关键技术研究[D];国防科学技术大学;2005年

9 杨文军;Web服务组装关键技术研究[D];清华大学;2005年

10 卢刘明;基于语义的web服务发现与组合关键技术研究[D];东华大学;2006年

相关硕士学位论文 前10条

1 王文娟;基于UDDI的Web服务信息发布系统[D];西北工业大学;2003年

2 陈越;基于Web服务的高校教务管理系统的设计和实现[D];苏州大学;2003年

3 徐远芳;消息中间件在Web服务中的应用及面向Web服务的消息中间件设计[D];广西大学;2004年

4 孟文生;基于J2ME的移动Web服务研究[D];山东师范大学;2006年

5 王卫玲;基于SOA的Web Services集成技术研究[D];广西大学;2007年

6 张晓丹;基于SOAP/XML的应用集成模型的设计与实现[D];暨南大学;2003年

7 黄立冬;基于UDDI的Web服务注册中心的原型实现[D];昆明理工大学;2003年

8 李朱超;基于Web Services协议栈的虚拟业务动态装配机制[D];湖南师范大学;2004年

9 侍连岗;基于Web Services事务性组合研究[D];南京理工大学;2004年

10 合明;多组织工作流消息引擎的设计与实现[D];苏州大学;2004年

，

本文编号：2454380