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

Research on Web Services Composition Consistency Detection

作　　者：马薇薇[1] 王进[1] 姜家鑫 

机构地区：[1]南京航空航天大学计算机与技术学院,江苏南京211106

出　　处：《计算技术与自动化》2017年第3期81-86,共6页Computing Technology and Automation

基　　金：国家自然科学基金(61272038)

摘　　要：为解决Web服务组合事务放松ACID属性后,原子性与一致性无法保证同时满足的问题,提出了一种基于有限状态自动机的服务组合概念一致性检测方法。与以往大多通过运行时监控和协调保证应用一致性的方法不同,该方法采用有限状态自动机在设计阶段对服务组合的交互行为与异常处理进行建模,分析了概念一致性满足的关键条件和性质,证明了服务组合概念一致性的判定定理。最后通过分析服务组合一致性检测的实施框架说明了该方法的可行性。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 ap- proach 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 detec- tion, the feasibility of our approach has been illustrated.

关 键 词：WEB服务组合 确定有限状态自动机 事务 一致性检测 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]