作者：雷丽晖; 段振华组合web服务确定有限自动机形式化验证
摘要：为简化并自动化组合Web服务验证，提出一种基于扩展有限自动机（extended deterministic finite automata，简称EDFA）验证组合web服务的方法．使用EDFA可以准确地描述web服务：EDFA的状态表达web服务在与用户交互的过程中维护的状态；EDFA的状态转移及其标注描述Web服务与用户间的消息交换．EDFA给出Web服务交互过程的所有消息交换序列，刻画出Web服务的动态行为．使用基于EDFA的组合Web服务验证方法不但可以验证组合web服务是否满足系统需求，还可以验证组合web服务运行过程是否有逻辑错误,与其他方法相比，该方法更适于验证开放式环境下的组合Web服务．
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
