面向Web服务异步化的事务机制研究

发布时间：2017-10-03 22:06

  本文关键词：面向Web服务异步化的事务机制研究

  更多相关文章： 异步Web服务 时间自动机 异步化算法 事务协调 恢复策略

【摘要】：近年来,互联网技术的蓬勃发展使得Web服务正逐步覆盖到人们生活的方方面面。用户在使用Web服务时,需要与服务进行交互以完成服务信息的传递,对Web服务组合来说,各个成员服务之间也需要进行交互以便协同完成整个业务流程。在实际应用中,工业界多使用同步通信机制来处理用户与服务以及成员服务之间的消息交互问题,然而由于同步通信存在等待阻塞等问题,服务的可靠性和效率得不到保障。异步Web服务在可靠性、执行效率和灵活性上都要明显优于同步Web服务。与此同时,随着异步Web服务的普及,在长周期的业务流程中参与者的正确交互和一致性的运行结果就显得至关重要。另一方面,学术界缺少对同步Web服务转换为异步Web服务的研究。本文针对上述问题,给出了一种基于时间自动机的同步Web服务到异步Web服务的异步化算法,并对异步Web服务事务协调中的参与者和协调者进行了建模,给出了协调策略和故障处理方法。本文的主要研究内容如下:(1)分析了Web服务对异步的需求以及Web服务交互过程中可能存在的时间约束,然后提出了基于时间自动机的Web服务模型,并在此基础上给出了WS-BPEL到时间自动机的转换规则,最后给出了可异步化的判定条件和异步化算法的设计。(2)分析了异步Web服务对事务机制的需求,然后对异步Web服务事务协调过程中的参与者和协调者进行了建模,并给出了协调算法和协调策略,最后对面向约束的恢复策略进行了研究。(3)利用本文提出的方法设计并实现了Web服务事务系统,该系统将分析服务提供方所提供的服务,并向其返回可异步执行的交互行为;同时用户通过使用该系统,可以获得经过协调并满足用户需求的服务推荐。最后,通过实例说明了本文方法的可行性和有效性。
【关键词】：异步Web服务 时间自动机 异步化算法 事务协调 恢复策略
【学位授予单位】：南京航空航天大学
【学位级别】：硕士
【学位授予年份】：2016
【分类号】：TP393.09
【目录】：

• 摘要4-5
• abstract5-10
• 缩略词10-11
• 第一章 绪论11-16
• 1.1 课题研究背景11-12
• 1.2 国内外研究现状及选题依据12-15
• 1.2.1 国内外研究现状12-14
• 1.2.2 选题依据14-15
• 1.3 论文组织结构15-16
• 第二章 Web服务交互方式与事务处理技术16-27
• 2.1 Web服务交互方式16-20
• 2.1.1 Web服务的同步交互模型17-18
• 2.1.2 Web服务的异步交互模型18-20
• 2.2 Web服务事务处理技术20-25
• 2.2.1 Web服务事务协调协议WS-C21-22
• 2.2.2 原子事务协调协议WS-AT22-24
• 2.2.3 业务活动协调协议WS-BA24-25
• 2.3 面向异步的Web服务事务研究框架25-26
• 2.4 本章小结26-27
• 第三章 Web服务的异步化构建27-40
• 3.1 Web服务的异步化27-30
• 3.1.1 Web服务对异步的需求27-29
• 3.1.2 异步Web服务中的时间约束29-30
• 3.2 Web服务的形式化建模30-36
• 3.2.1 时间自动机概述30-31
• 3.2.2 基于时间自动机的Web服务模型31
• 3.2.3 WS-BPEL到时间自动机的转换31-36
• 3.3 Web服务异步化算法36-39
• 3.3.1 可异步化判定条件36-37
• 3.3.2 异步化算法的设计37-39
• 3.4 本章小结39-40
• 第四章 面向异步Web服务的事务处理模型40-53
• 4.1 异步Web服务对事务机制的需求40-41
• 4.2 异步Web服务的事务协调模型41-45
• 4.2.1 异步Web服务参与者建模42-43
• 4.2.2 事务协调器建模43-45
• 4.3 事务协调过程45-51
• 4.3.1 原子事务和长事务的协调算法45-48
• 4.3.2 面向依赖关系的事务协调策略48-51
• 4.4 面向时间约束的故障恢复策略51-52
• 4.5 本章小结52-53
• 第五章 面向异步的Web服务事务系统的设计与实现53-62
• 5.1 Web服务事务系统设计53-55
• 5.1.1 系统框架53-54
• 5.1.2 系统执行流程54-55
• 5.2 系统模块实现55-57
• 5.2.1 Web服务异步化模块55
• 5.2.2 事务协调模块55-57
• 5.3 应用实例分析57-61
• 5.3.1 交互行为的异步化分析59-60
• 5.3.2 事务协调60-61
• 5.4 本章小结61-62
• 第六章 总结与展望62-64
• 6.1 论文工作总结62
• 6.2 未来工作展望62-64
• 参考文献64-69
• 致谢69-70
• 在学期间的研究成果及发表的学术论文70

，

本文编号：966957