数据和时间感知的Web服务组合形式化建模与验证研究

来源 :苏州大学 | 被引量 : 0次 | 上传用户:ywyyang
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
近年来,随着互联网的普及与电子商务技术的发展,面向服务的计算(SOC)和面向服务的体系结构(SOA)正逐步变为未来软件发展的一种趋势,也已成为学术界和工业界共同关注的一个研究热点。作为一种全新的计算模式,SOC有效解决在分布、动态以及异构环境下分布式应用集成问题,而SOA作为一种新的软件开发模式,通过松耦合方式有效支持和实现软件资产的集成与复用。目前Web服务技术的不断成熟与发展使其成为SOA的主流实现方式,也为SOC提供了最佳技术支撑。Web服务是一种基于网络的自描述、自包含的软件构件,具有松耦合、独立性强等特点。它以SOAP、WSDL以及UDDI等标准协议为核心,采用面向服务的体系结构,通过服务发布、查找以及绑定等基本操作,实现分布式环境中动态、开放的互操作以及跨平台应用。由于单个Web服务的功能有限,通过将已有的服务构件以静态或动态的方式组合成一个新的服务来满足企业特定的个性化需求已成为目前动态电子商务领域的发展趋势,并且已影响到当今服务产业的产品开发方式。然而,由于网络环境的动态、异构以及分布式等特性,如何确保组合后的Web服务能够实现企业要求的业务功能,同时在运行过程中不会出现企业不期望的情况,已成为构建和运行面向服务架构系统、实现企业应用集成的根本。形式化技术作为软件质量保证的一种重要方法,为解决以上问题提供了有效途径。本文采用形式化技术,围绕服务组合研究领域所涉及的三个核心科学问题:Web服务组合的建模、静态验证及运行时动态验证展开研究。首先,以自动机理论为基础,建立一个可以有效刻画数据及时间等信息的Web服务组合形式化模型;其次,以模型检测技术为核心思想,提出一种能够对Web服务组合的行为属性、时间属性以及数据属性等进行静态验证的理论方法;最后,以运行时监控Web服务组合一般方法为基本思路,给出一套能够在Web服务组合动态运行过程中出现异常时进行有效处理的故障诊断机制。对服务组合建模与验证技术的深入研究可以有效提高Web服务组合的可信性,推动面向服务概念的发展。
其他文献
近年来发生的冰雪灾害及地震灾害,造成大面积道路阻塞和破坏,也造成大面积有线和无线通讯设施的损坏和失效。先进的GPS/GSM车辆定位与通信模式暴露出根本性技术缺陷而失去作
近年来,随着宽带接入技术的日渐普及、互联网技术的快速发展和个人计算机处理能力的不断提高,在互联网上出现了各种各样的新型的服务方式,视频点播业务就是其中一种,并成为主
火灾报警监控系统是城市公路隧道管理运营的重要组成部分,监控隧道内火灾状况,对隧道的安全运营起着重大作用。根据隧道空间窄小、狭长特点和火灾探测器探测方式的不同,出现了各
上世纪90年代中期以来,利用密码算法芯片的物理特性实施泄漏攻击引起了国内外密码学界的极大关注。为应对泄漏攻击,密码学家提出了泄漏弹性密码算法。目前,国内外对IBE体制中自
随着互联网技术的飞速发展,文本数据呈指数级增长。为了获得数据之间的内在关系及隐含信息,文本挖掘技术应运而生。聚类分析作为数据挖掘的一个重要功能,在文本挖掘中有着非
WSNs是一种大多部署在野外无人区,网络节点资源极其有限,网络结构动态拓扑、自组织,网络生命周期也因节点生命周期影响很大的无线网络。这些特性都使得WSNs的路由通信和安全
随着互联网大数据的快速发展,网络上的文本数据和网页数据呈现几何级增长,为了从海量的文本数据中快速准确地获取潜在的信息,需要对文本进行更精确更深层的类别标注和主题理
光纤传感器是伴随着通信技术的发展而产生的,它是以光作为信息载体,以光纤作为传输媒介的一类新型传感器。由于传统的传感器自身的特点和传感原理,不能完全满足在安全检测问题上
随着当今信息技术的发展,手机作为一种便携式的移动计算设备,它所拥有的功能越来越强大,款式越来越新颖,价格却越来越能够为大众所接受,因而手机如今已经非常的普及。现在市面上流
FMIPv6协议是基于移动IPv6的新型协议,转交地址NCoA提前配置好。MN到达目的网络后,便可直接使用NCoA与通信对端CN进行数据包的传送,减少了通信的中断时间。同时,该方案通过隧