Web services; formal specification; WSPL; Web services; policy specification;
机译:Web服务之间的行为兼容性检查方法
机译:中介辅助的Web服务组合的时间兼容性的模型检查:一种三阶段方法
机译:服务兼容性设计:行为兼容性检查和诊断
机译:验证Web服务策略的兼容性
机译:使用自动机检查程序的格式兼容性
机译:2016年政策变更对安大略省MedsCheck服务交付的影响:时间序列分析
机译:行为检查Web服务的兼容性