| 一种Web服务组合一致性验证方法研究 |
 点此下载全文 |
| 引用本文：马薇薇 ，王 进，姜家鑫.一种Web服务组合一致性验证方法研究[J].计算技术与自动化,2017,(3):81-86 |
| 摘要点击次数: 1071 |
| 全文下载次数: 0 |
|
|
| 中文摘要:为解决Web服务组合事务放松ACID属性后,原子性与一致性无法保证同时满足的问题,提出了一种基于有限状态自动机的服务组合概念一致性检测方法。与以往大多通过运行时监控和协调保证应用一致性的方法不同，该方法采用有限状态自动机在设计阶段对服务组合的交互行为与异常处理进行建模,分析了概念一致性满足的关键条件和性质,证明了服务组合概念一致性的判定定理。最后通过分析服务组合一致性检测的实施框架说明了该方法的可行性。 |
| 中文关键词: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 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. |
| keywords:Web services DFA transaction consistency checking |
| 查看全文 查看/发表评论 下载pdf阅读器 |
