Web Service; Service composition; ETPN; Time consistency; Available time relation matrix;
机译:定时CSP建模与验证QoS感知Web服务组合的响应时间
机译:用不确定的QoS约束基于分解和基于群集的Web服务组合
机译:Web服务组合中的约束验证失败恢复
机译:基于ETPN的Web服务组合的时间约束验证
机译:Web服务组合的可量化的非功能需求建模和静态验证。
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:缩小规模,保持真实:Web服务组合的高效运行时验证