%0 Journal Article %T 一种基于扩展有限自动机验证组合web服务的方法 %A 雷丽晖? %A 段振华? %J 软件学报 %P 2980-2990 %D 2007 %X 为简化并自动化组合web服务验证,提出一种基于扩展有限自动机(extendeddeterministicfiniteautomata,简称edfa)验证组合web服务的方法.使用edfa可以准确地描述web服务:edfa的状态表达web服务在与用户交互的过程中维护的状态;edfa的状态转移及其标注描述web服务与用户间的消息交换.edfa给出web服务交互过程的所有消息交换序列,刻画出web服务的动态行为.使用基于edfa的组合web服务验证方法不但可以验证组合web服务是否满足系统需求,还可以验证组合web服务运行过程是否有逻辑错误.与其他方法相比,该方法更适于验证开放式环境下的组合web服务. %K 组合web服务 %K 确定有限自动机 %K 形式化验证 %U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20071203&flag=1