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

• 作者: 段振华 雷丽晖
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 组合Web服务 确定有限自动机 形式化验证
• 年，卷（期）: 2007,（12）
• 所属期刊栏目: 面向服务的计算专利
• 页码范围: 2980-2990
• 页数: 11页
• 分类号: TP393
• 字数: 9184字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	段振华	西安电子科技大学计算理论与技术研究所	47	363	10.0	16.0
2	雷丽晖	西安电子科技大学计算理论与技术研究所	5	111	4.0	5.0