| 一种基于扩展有限自动机验证组合Web服务的方法 |
| |
| 作者姓名： | 雷丽晖 段振华 |
| |
| 作者单位： | 西安电子科技大学,计算理论与技术研究所,陕西,西安,710071;西安电子科技大学,计算理论与技术研究所,陕西,西安,710071 |
| |
| 基金项目： | 国家自然科学基金;解放军总装备部预研项目 |
| |
| 摘 要： | 为简化并自动化组合Web服务验证,提出一种基于扩展有限自动机(extended deterministic finite automata,简称EDFA)验证组合Web服务的方法.使用EDFA可以准确地描述Web服务:EDFA的状态表达Web服务在与用户交互的过程中维护的状态;EDFA的状态转移及其标注描述Web服务与用户间的消息交换.EDFA给出Web服务交互过程的所有消息交换序列,刻画出Web服务的动态行为.使用基于EDFA的组合Web服务验证方法不但可以验证组合Web服务是否满足系统需求,还可以验证组合Web服务运行过程是否有逻辑错误.与其他方法相比,该方法更适于验证开放式环境下的组合Web服务.
|
| 关 键 词： | 组合Web服务 确定有限自动机 形式化验证 |
| 收稿时间： | 2007-06-10 |
| 修稿时间： | 2007-10-26 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载免费的PDF全文 |
|
