文档介绍：惫。碜崛叁漫搿菇豫溜孑:兀一:
基于一演算的服务事务补偿模型的研究摘要通过籖!⑺┱梗ㄒ随着网络的普及和际醯难杆俜⒄梗嗣瞧惹行枰T贗上实现跨平台、语言独立、松散耦合的异构应用的集成和交互,⑿。袷挛癫煌诖车腁挛瘢荒芡ü简单回滚来恢复已完成的动作,因此,需要采用补偿机制来保证数据的一致性。按照不同的补偿安装方式,可将补偿模型分为静态和动态补偿模型。静态补偿模型的补偿不是随着事务的执行而动态安装的,因此这种方法缺乏灵活性,容易在复杂的网络环境中发生错误。而很多动态补偿模型是基于流的,即采用集中式的协调机制,缺乏移动性,不能有效地模拟结构不断变化的裣低场>」苣壳按嬖谧哦嘀植钩ツP停但他们之间的关系并不是很清楚,而且表达能力的比较分析工作才刚刚起步。随着竦姆⒄梗褂眯问交椒ㄑ芯縒服务已成为一个重要研究内容。,比较适合研究交互服务的行为,因此可以很自然地应用于竦慕:涂7⒅小1疚牡墓ぷ髦饕N芖服务事务及其补偿处理的形式化研究而展开的。本文的主要研究内容及成果如下:⒘艘话愣腤服务事务补偿模型演算作为袷挛竦囊话愣钩ツP停备隽讼嘤Φ牟僮饔镆濉该模型的输入动作可以激活补偿更新,,我们在该模型中增加了一个简单类型系统。通过该补偿演算对袷道男问交枋觯浞终故玖烁媚P偷牧榛钚院捅泶能力。、并行动态和一般动态补偿模型进行统一的形式化描述。简化演算使得任意动作都可以激活补偿更新,我们称其为P汀
“‘歹后,本文证明了不能把一般动态编码成静态补偿演算,,,提出了弱互模拟关系和测试等价概念。我们将并行动态编码成静态补偿演算,:瘢楹希ⅲ菟悖挛瘢钩ィ泶锬芰
,既.;。,元,毫ァ救離..,,.甧,.,.:.—琻..畆。.瓵
..甒,甒也篧琣,,⒁籧瑃,,,丽瓻,.瓹,瓻,揸,瓼.’§
录目选题背景...................................窦际跫柏演算概述竦氖挛翊第一章绪论本文主要研究内容..........。...................本文结构.......。...........................第二章第三章第四章窦蚴觯竦母拍罴疤氐悖竦奶逑到峁梗竦淖楹希竦幕〖际酰.................................菟慵蚴觯一演算的优越性............................演算的语法及语义........................小结......................................传统事务的属性.........................................................瓸P停模型..............................渌钩ツP停一般动态的补偿模型引言......................................埔掩侈加殂勉挖鸅:.,■
弘鹑驺弘弘”柏∞铊铊钙铝模型的语法及语义...........................P偷睦嘈拖低常模型的应用及特点..............................小结......................................第五章补偿模型的比较引言.....................。................三类补偿模型的语法及语义........。................三类补偿演算之间的编码...........................⑿卸哂邢嗤谋泶锬芰Γ的表达能力比静态和并行动态强...............小结......................................第六章结束语本文工作的总结...............................进一步工作的讨论..........................