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