Web服务长运行事务补偿机制的研究.doc

Web服务长运行事务补偿机制的研究 .Ⅵ。 : .务订单例子进一步论证了扩展补偿语义的可行性。 ●扩展了标签转移关系和结构同余关系,提出了无等待更新补偿谓词完善了 长运行事务的补偿操作语义,使得业务事务可以顺利运行,为它能广泛 投入商业应用奠定了基础。 ●研究了机制与的映射关系。其中给出子集的一个抽象语 法结构,定义了一个映射转化函数::通过映射转化函数实现了与 之间的对应关系,为提供了 个正规化的语义,有力地论证了 的表达能力, 关键词:服务:长运行事务:补偿机制:操作语义映射? .,、彘 .. ’南他 ,: ., ..? . . ?. : ? ● . ●● . ~,目录 摘要目录 绪论 研究背景 研究自容 】本文结构 服务及事务简介 服务概念及特点 】服务概念 】服务特点 服务体系结构 . 服务坦心技术 .服务数据表示 . 服务描述语言 . 服务通信机制 】 . 服务查询和获取 事务简介传统事务特点 . 事务特点 . 事务比较 】 .小结 】 事务补偿机制概述 】事务补偿机制】】进程演算补偿 】结构化括动补偿 . 语言简介 呲徘腓 酷鼾萋 训;;悄 如引” 长事务补偿扩展机制 】背景 .事务补偿 .扩展算子 . 方法概述 . 例子 .. .操作语义 .标签转移 . 结构同余 . 谓词? . 小结 补偿业务事务应用 概述 . 参数化机制 .映射 . 抽象语法 . 域结构建模 小结 总结与展望 工作总结 .工作展望 参考文献 攻读学位期间取得的研究成果 。独 ~陛 。刨 ~申 ~明 致浙学浙江位江 谢师论量 范文范 一大使大 ~学用学~学授学 ~位权位 一论声论 ~文叫文 ~诚 ~信~承~诺 。书 弭绪论 研究背景 随着网络技术的飞速发展,人们迫切需要实现松散耦合的、语言独立的、跨 平台的异构应用集成与交互机制。服务【作为一种快速发展的新兴技术.它 支持网络上可互操作的机器间的变互,服务事务常常涉及多个服务的协调与交 互,需要及时解决运行时随时可能出现的各种故障或者异常,这类过程必须保证 多个服务运行结果的可靠性和一致性。这使得它不同于传统的事务,在执 行过程中无法锁定资源.且简单的同滚机制无法撤销已完成动作的影响幽此. 服务处理环境需要事务处理技术的支持。事务是容忍系统故障、提高系统可 靠性的有效手段。事务可以隐藏复杂的协调过程、异常处理和恢复细节,减轻编 程人员的负担.不必关心复杂的底崖活动,因而事务技术在分布式环境中得到了 深入研究和广泛应用。在分布式环境中.为了得到可靠的运行结果.服务需 要相互协作并保持其一致性。同时,服务事务适合开放式的网络和松耦台的 环境,它是一种拥有独立自描述的、模块化特征的应用.具有良好的通信能力, 是当今学界和、眦界研究的焦点.在网络的时延性、系统的可靠性和一致性方面面 临新的挑战。因此.研究该问题其有重要的科学意义和应用价值. 服务是基 的通信方式.以服务描述语言¨】、简单对象 访问规范.和统一描述、发现与集成协议 】等技术为核心,采用琊 蔽具体的底层消息的传输协议、端点的消息处理,以及异构平台的操作系统和编 程语言,支持分布式环境中动态、开放的互操作模式,能很好地支持跨平台的应 咐,其中,主要州于描述服务构架技术的细节,使其应用程序能以标准化 的形式来描述自己拥有的功能。易于互动。是指一种可以为服务提供 构架技术的通讯协定.目的是应用程序被此能够相互沟通,而无需知道相互之 间的操作平台及其运干亍细节。作为一种简洁的、独立于平台的通信标准. 可叭简洁地表示表格式数据和结构化数据,适台交换数据和共卓数据:,台无关 性是指它独立于其他的操作系统和编程语言,保证了结构化数据的高度一致性, 则能在分布式环境下正确创建服务注册与服务发现的标准规范.其目的是绪论 建立平台之间相互独立,并且可以应用于全球化的服务。凼此,服务 是基于标准技术卜”坤自造分布式计算平台的基础,具有广阔的发展前景。 服务对互操作的一致性和可靠性有着严格的要求【”。它的标准技术在 复杂的异构环境为实现可靠的消息传递和办同操作提供了强有力的保障,但是 对其安全性依然没有合理的操控,无法佩证服务事务运行的鲁棒性。而事 务是可以提高系统可靠性的一种有效的手段 ,其中事务处理技术??”成为长 运行业务事务能否顺利执行的关键,决定了服务前的应用前景。这种情 况下,强有力的理论摹础和应用支持变得越来越重要。 由于服务事务涉及多个服务的协调与交互.以及服务间的通信.且需 要处理长事务运行过程中随时可能出现的故障或者异常:这使得服务事务 和传统的事务有着严格的区别,需要运行丁松耦台环境中.且它的参与 方可能属于不同的部,事务的长运行时间和跨平台等