一种Web服务组合一致性验证的方法的研究.docVIP

一种Web服务组合一致性验证的方法的研究 　　摘要：为解决Web服务组合事务放松ACID属性后，原子性与一致性无法保证同时满足的问题，提出了一种基于有限状态自动机的服务组合概念一致性检测方法。与以往大多通过运行时监控和协调保证应用一致性的方法不同，该方法采用有限状态自动机在设计阶段对服务组合的交互行为与异常处理进行建模，分析了概念一致性满足的关键条件和性质，证明了服务组合概念一致性的判定定理。最后通过分析服务组合一致性检测的实施框架说明了该方法的可行性。 　　关键词：Web服务组合；确定有限状态自动机；事务；一致性检测 　　中图分类号：TP311文献标识码：A 　　Abstract：To solve the problem that atomicity and consistency cannot be guaranteed to satisfy at the same time when ACID properties are relaxed in Web services composition transaction.A Deterministic Finite State Automata（DFA） based approach is presented to check the conceptual consistency in services composition.Different from most previous works which keep application consistency by runtime monitoring and coordination，this approach uses DFA to model interaction behavior and exception handling process of services composition at design stage.The DFA based approach analyzes the key conditions and properties to satisfy the conceptual consistency；and further，it proofs the theorem to determine the conceptual consistency in service composition.Finally，by analyzing the deployment framework of services composition consistency detection，the feasibility of our approach has been illustrated. 　　Key words：Web services；DFA；transaction；consistency checking 　　1引言 　　面向服?占扑隳Ｊ剑?SoC）以可重用服务为构造单元，为解决分布式应用集成提供了新型计算范型[1，2]。服务作为自治、自描述和平台独立的模块化应用[3]。为企业间协作提供了协作基础。但单个服务本身功能单一，无法提供完整解决方案。因此，必须对服务进行组合和协作以实现复杂B2B业务逻辑[4，5]。Web服务资源自治性高，潜在故障多，可长期运行等特点引发了Web服务组合协作的一系列新需求（如死锁处理，兼容性检测等）。这其中，保持服务组合后应用一致性是一个关键问题[6，7]。在Web服务组合中引入事务概念，利用事务“非全则无”的语义可以有效增强服务组合的可靠性，保障参与组合数据与应用自身状态的一致。但Web服务由于其运行长周期，异构等特点，不可能按照传统事务严格锁定的方式来管理资源。对传统事务的ACID属性进行适当放松成为必然。 　　在Web 服务组合事务模型中，主要通过异常处理这样一种相对柔性的方式来达到概念上的原子性与一致性[8，9]。文献[10]提出的Saga模型是最早应用于Web事务领域的事务模型之一。Saga模型将一个完整事务分解为若干个子事务，并为每个子事务设计业务逻辑上相对应的补偿事务，在失效情况下，执行失效部分的补偿事务以达到语义上的一致性与原子性。文献[11]提出的全局事务模型对Saga模型进行进一步扩展，提出全局回滚以及局部回滚的概念来处理不同失效场景。在Saga模型与全局事务模型中，都严格要求对失效的操作进行补偿。实际应用场景中，往往对于某些子事务操作由于补偿代价过高而无法真正进行补偿。文献[12]针对单一补偿方式的不足，提出了后向补偿与前向的替换（重试）相结合的异常处理方式，这一处理方式在目前服务组合事务处理相关研究中被广泛采纳。 　　文献[