您好,欢迎访问三七文档
当前位置:首页 > 商业/管理/HR > 销售管理 > 基于事务流的语义Web服务组合的研究
西南交通大学硕士学位论文基于事务流的语义Web服务组合的研究姓名:杜林春申请学位级别:硕士专业:计算机应用技术指导教师:楼新远20070501基于事务流的语义Web服务组合的研究作者:杜林春学位授予单位:西南交通大学相似文献(3条)1.学位论文王云WSTW:基于事务工作流的Web服务可靠性组合框架2003Internet的飞速发展产生了众多基于网络的复杂应用程序。这些程序基于不同的平台和标准,相互之间很难交互,不仅不利于改造和维护,而且大量重复开发浪费了有限的网络和企业资源。90年代产生的Web服务技术立足于将Internet整合成一个虚拟的、透明的、开放的计算环境,有效地解决上述诸多问题。简单的说,Web服务是一种基于XML的革新技术,服务作为一个可重用的组件,采用标准的XML描述操作接口,并且可以通过标准的网络协议进行调用。由于基于众多现有的标准,并且具有自封装,自描述,松散耦合等优点,Web服务在电子商务,系统集成等领域得到了广泛的应用,并取得了巨大的发展。随着大量传统应用程序向Web服务的转变,多个Web服务的组合应用成为Web服务发展的必然趋势,如组合各企业提供的服务构成一个跨企业的商业流程。另一方面,Web服务基于模块的设计方式本身就使得它极易以组件的方式组合起来完成更复杂的任务。然而,缺乏公认的标准保障服务组合的一致性和可靠性阻碍了Web服务的进一步应用。事务是构建可靠的分布式应用程序的基本概念,而Sagas事务模型则专门用于解决长时间事务问题。Web服务的松散耦合特性决定了Web服务之间不同于紧密结合的分布式系统,因此类似于Sagas模型的长时间事务的引入,能够有效地解决复杂的Web服务组合存在的可靠性问题。工作流技术通过分解企业经营活动,从较高的层次上实现了应用的集成,从而使业务流程自动化。事务工作流则强调了与工作流密切相关的事务属性,保证组成工作流的多个任务的一致性和可靠性。本文将传统的事务工作流模型应用到Web服务的特殊环境中,提出了基于事务工作流的Web服务可靠性组合框架WebServiceTransactionalWorkflow(WSTW)。WSTW结合了事务工作流和Web服务,实现了Web服务组合的可靠和自动完成。WSTW包括服务请求者的事务流描述,服务提供者的事务支持描述以及协调服务请求者和服务提供者的事务流中间件。WSTW在两个不同的层面为Web服务提供事务性支持,一个是单个Web服务内部满足严格事务性要求的局部事务,另一个是在服务组合中满足宽松事务性要求的全局事务。WSTW采用已有的技术为Web服务提供者提供事务支持描述,而创新工作主要体现在事务流描述和事务流中间件,主要包括:1)提出了事务流模型。事务流由多个子事务组成,整个事务流满足事务的原子性。本文通过扩展IBM的WebServiceFlowLanguage标准(WSFL),以支持事务流的描述。2)设计可扩充的事务流中间件。事务流中间件主要包括工作流引擎和事务引擎。工作流引擎负责流程的控制,事务引擎保证整个事务流的事务特性。最后本文给出了WSTW框架的一个简单实现。2.期刊论文王刚.邓微波.陈世福.王云.WANGGang.DENGWei-bo.CHENShi-fu.WANGYun一种基于WebServices的事务流中间件模型-成都信息工程学院学报2005,20(6)介绍事务工作流,实现了Web服务组合的可靠和自动完成.将传统的事务工作流模型应用到Web服务的特殊环境下,提出基于WebService的事务流模型WSTW,并设计了可扩充的事务流中间件.最后给出WSTW模型的一个实现.3.学位论文李晶Web事务的建模及其语义分析2008当今,Web服务是实现应用系统间互操作的最有前途的互联网技术.Web服务平台的基础是一系列依赖于XML技术的标准.其中,Web服务组合是实现商业系统集成的关键。除了服务交互、控制流协调之外,Web事务的支持对服务组合来说也是必不可少的,它能有效地保证合成服务的可靠执行以及系统状态的一致性。然而,现有的技术缺乏对Web事务的支持。与传统事务不同,Web事务具备长时间运行、强自治性、交互性的特点,因此经典的事务处理技术如资源锁定、自动回滚等都不适用于Web事务。本文采用形式化的方法来研究Web事务。首先,我们提出了一种新型的事务语言,简称为t演算.它采用补偿机制来处理事务中途出现的故障,并在一定程度上弱化了Web事务对原子性的需求。t演算的核心构造是可补偿事务,而Web事务被视为可补偿事务的有机组合。此事务语言不仅扩展了传统算子对补偿的支持,还引入了一些新的事务组合算子,例如:投机选择、候补恢复、异常处理以及编制补偿。这些新算子不但结合了后向恢复和前向恢复的机制,还大大提高了事务流程的可靠性和灵活性。此外,补偿流本身也可以是可补偿事务,这种安排使得设计人员能够以一种统一的方式对前向流和补偿流进行管理。接下来,我们对此事务语言展开了形式语义的分析,为事务流程和补偿机制提供了精确的刻画。我们建立了三种不同的语义模型,旨在帮助开发者从不同的视角对Web事务进行观察,从而能更好的理解事务处理机制。代数语义研究可补偿事务的代数性质,为事务流程的转换和优化奠定基础。在代数模型中,首先指定规范型,然后定义代数规则把任意的可补偿事务重写为规范型,通过符号计算的方式得到一系列描述事务性质的代数定律。操作语义通过变迁规则来研究事务的演化过程,它有助于事务流程的模拟与测试。操作模型中,针对事务的补偿性特点,我们定义了双模拟关系用来研究事务之间的等价性。指称语义在数学模型的基础上对事务的整体行为进行严格的解释。这里,我们扩展了。迹”的概念,引申出“对迹”这一新的模式来刻画可补偿事务的行为,并通过对迹行为来定义事务的等价关系。不同语义模型对同一物理概念可能给出不同的解释。为了避免二义性,我们采用UTP理论来研究各种语义模型间的一致性关系。本文中,各种语义模型并不是独立定义的。相反,我们先从代数语义出发,得到一系列描述事务性质的代数定律。然后通过定义推导规则,从代数语义推导出操作语义,类似的,再从操作语义推导出指称语义。接下来,我们证明了代数语义中的代数定律在操作语义和指称语义中也都是成立的。这样,不同语义模型间的一致性就得到了保证,而且也为语义模型自身的正确性提供了进一步的保障。最后,我们对事务语言进行了扩展,加入了数据操作和服务交互的信息。在实现Web事务的基础上,为服务的设计开发提供了进一步的支持。对于扩展后的语言,我们采用面向观察的语义对服务行为进行刻画,建立了多个行为侧面(包括数据状态、交互序列以及事务行为)在执行前后的演化关系。此外,我们还对可补偿事务的精化关系给出了形式化的定义,为服务的规范与实现搭建了桥梁。总之,采用形式化的方法对Web事务进行研究,一方面可以帮助设计者更好的理解Web事务的工作机制,消除可能存在的二义性;另一方面用来支持测试、验证工具的开发,为软件系统的质量提供有力的保障。本文链接:授权使用:上海海事大学(wflshyxy),授权号:ef6e4b09-83d5-4043-a399-9e070154ec1a下载时间:2010年10月6日
本文标题:基于事务流的语义Web服务组合的研究
链接地址:https://www.777doc.com/doc-1589005 .html