一种基于扩展有限自动机验证组合Web服务的方法

被引：87

作者：

雷丽晖

段振华

机构：

[1] 西安电子科技大学计算理论与技术研究所

来源：

软件学报 | 2007年 / 12期

关键词：

组合Web服务; 确定有限自动机; 形式化验证;

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

摘要：

为简化并自动化组合Web服务验证提出一种基于扩展有限自动机(extended deterministic finite automata,简称EDFA)验证组合Web服务的方法.使用EDFA可以准确地描述Web服务:EDFA的状态表达Web服务在与用户交互的过程中维护的状态;EDFA的状态转移及其标注描述Web服务与用户间的消息交换.EDFA给出Web服务交互过程的所有消息交换序列,刻画出Web服务的动态行为.使用基于EDFA的组合Web服务验证方法不但可以验证组合Web服务是否满足系统需求,还可以验证组合Web服务运行过程是否有逻辑错误与其他方法相比,该方法更适于验证开放式环境下的组合Web服务.

引用

页码：2980 / 2990

页数：11