CEGAR; Dynamic Reconfiguration; SOA; Spurious Counterexample; Web Service Composition;
机译:QoS使用抽象细化约束大规模的Web服务组成
机译:使用抽象和改进的基于行为描述的Web服务组合
机译:基于谓词抽象的安全属性Web服务组成验证
机译:使用概率抽象改进的Web服务组合研究
机译:语义Web支持Web服务的组合。
机译:缩回:使用基于QoS的Web服务排名算法的自动Web服务组合框架
机译:Qos约束使用抽象的大规模Web服务组合 精致