计算技术与自动化2017，Vol.36Issue(3)：81-86,6.
一种Web服务组合一致性验证方法研究
Research on Web Services Composition Consistency Detection
摘要
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 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服务组合/确定有限状态自动机/事务/一致性检测Key words
Web services/DFA/transaction/consistency checking分类
信息技术与安全科学引用本文复制引用
马薇薇,王进,姜家鑫..一种Web服务组合一致性验证方法研究[J].计算技术与自动化,2017,36(3):81-86,6.基金项目
国家自然科学基金(61272038) （61272038）
