机译：基于形式化语言动态语义的形式规格，自动生成严格符合的测试
机译：一种语义自动协议适配器，用于将SOAP Web服务映射到RESTful HTTP格式，以启用Web基础结构，增强Web服务的互操作性并简化Web服务的迁移
机译：语义Web服务功能测试的系统回顾
机译：语义Web服务的自动功能一致性测试生成
机译：DAML + OIL中电子设备的本体，用于语义Web中的自动化产品设计服务。
机译：语义自动发现和集成（SADI）Web服务设计模式API和参考实现
机译：利用语义Web服务描述进行自动功能测试验证
