文档介绍：.:Ⅵ。
关键词:瘢撼ぴ诵惺挛瘢翰钩セ疲翰僮饔镆逵成务订单例子进一步论证了扩展补偿语义的可行性。●扩展了标签转移关系和结构同余关系,提出了无等待更新补偿谓词晟屏长运行事务的补偿操作语义,使得滴袷挛窨梢运忱诵校K芄惴投入商业应用奠定了基础。●研究了机制与的映射关系。其中给出子集的一个抽象语法结构,定义了一个映射转化函数::通过映射转化函数实现了与之间的对应关系,为提供了个正规化的语义,有力地论证了的表达能力,
—彘.,、.南他’篿產,,
甶●..—.—.—.●·.●
~琇
目录摘要绪论研究背景芯孔匀】疚慕峁服务及事务简介窀拍罴疤氐縧窀拍裉氐服务体系结构裉剐募际服务数据表示服务描述语言服务通信机制服务查询和获取挛窦蚪传统事务特点事务特点挛癖冉小结挛癫钩セ聘攀渴挛癫钩セ俊拷萄菟悴钩结构化括动补偿语言简介】⋯
酷鼾呲徘腓训;;悄谓词⋯概述蚪峁菇な挛癫钩ダ┱够勘尘事务补偿┱顾阕椒ǜ攀操作语义昵┳R峁雇〗钩ヒ滴袷挛裼τ参数化机制映射抽象语法芙嵊胝雇工作总结工作展望参考文献攻读学位期间取得的研究成果如引弭~申。刨~信。独~诚~文叫文一论声论~位权位~学授学~学用学一大使大范文范谢师论江位江致浙学浙~明。书~诺~陛~承⋯...
髀芯勘尘随着网络技术的飞速发展,人们迫切需要实现松散耦合的、语言独立的、跨平台的异构应用集成与交互机制。瘛魑R恢挚焖俜⒄沟男滦思际酰支持网络上可互操作的机器间的变互,服务事务常常涉及多个服务的协调与交互,需要及时解决运行时随时可能出现的各种故障或者异常,这类过程必须保证多个服务运行结果的可靠性和一致性。这使得它不同于传统的事务,⑻岣呦低晨靠性的有效手段。事务可以隐藏复杂的协调过程、异常处理和恢复细节,,因而事务技术在分布式环境中得到了深入研究和广泛应用。。同时,袷挛袷屎峡7攀降耐绾退神钐ǖ环境,它是一种拥有独立自描述的、,是当今学界和、、系统的可靠性和一致性方面面临新的挑战。⒓、发现与集成协议康燃际跷:诵模捎苗蔽具体的底层消息的传输协议、端点的消息处理,以及异构平台的操作系统和编程语言,支持分布式环境中动态、开放的互操作模式,能很好地支持跨平台的应咐,其中,主要州于描述服务构架技术的细节,使其应用程序能以标准化的形式来描述自己拥有的功能。易于互动。,而无需知道相互之间的操作平台及其运干亍细节。魑R恢旨蚪嗟摹⒍懒⒂谄教ǖ耐ㄐ疟曜迹可叭简洁地表示表格式数据和结构化数据,适台交换数据和共卓数据:,ㄎ薰性是指它独立于其他的操作系统和编程语言,保证了结构化数据的高度一致性,
进一步展示了和演算的叫间模型,演算一演算是务。㈣,通过类型系统确描述了补偿时间特征的加演算【】,】瑚过扩展了业务事务的补偿概念——选择是基于标准技术卜”坤自造分布式计算平台的基础,具有广阔的发展前景。穸曰ゲ僮鞯囊恢滦院涂煽啃杂凶叛细竦囊G蟆尽盜。它的标准技术在这就需要我们采用特定的事务处理流程一补偿,处理故障问题。文献㈣,并且可以应用于全球化的瘛[蚀耍琖服务复杂的异构环境J迪挚煽康南⒋ǖ莺办同操作提供了强有力的保障,但是对其安全性依然没有合理的操控,无法佩证袷挛裨诵械穆嘲粜浴6务是可以提高系统可靠性的一种有效的手段渲惺挛翊砑际酢ぁ背晌3运行业务事务能否顺利执行的关键,决定了馝暗挠τ们熬啊U庵智况下,强有力的理论摹础和应用支持变得越来越重要。由于袷挛裆婕岸喔龇竦男饔虢换ィ约胺窦涞耐ㄐ牛倚要处理长事务运行过程中随时可能出现的故障或者异常:,挛竦某ぴ诵惺奔浜涂缙教ǖ忍卣鳎顾薹ㄋ所拥有的资源:这种情况下,传统的回滚方法无法撤销已执行动作所产生的影响,大量文献分别从不同角度研究了事务补偿处理技术,包括基于进程演算的补偿机制和基于机制。第。次提出了补偿的概念,引发了广泛的关注,模型。。目前,虽然有大