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

• 作者: 姜家鑫 王进 马薇薇
• 来源期刊: 计算技术与自动化
• 关键词: Web服务组合 确定有限状态自动机 事务 一致性检测
• 年，卷（期）: 2017,（3）
• 所属期刊栏目: 算法分析与研究
• 页码范围: 81-86
• 页数: 6页
• 分类号: TP311
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王进	南京航空航天大学计算机与技术学院	14	55	5.0	6.0
2	马薇薇	南京航空航天大学计算机与技术学院	4	2	1.0	1.0
3	姜家鑫	南京航空航天大学计算机与技术学院	3	0	0.0	0.0