Performance Evaluation; Stochastic Timed Model; Web Service Composition;
机译:使用定时Pi演算建模Web服务组成
机译:使用定时Pi演算建模Web服务组成
机译:定时CSP建模与验证QoS感知Web服务组合的响应时间
机译:用于Web服务组合的随机性能模型支持时间和非时间QoS矩阵
机译:Web服务组合的可量化的非功能需求建模和静态验证。
机译:受SLA约束的服务选择以最大程度地降低在随机运行时性能下提供复合云服务的成本
机译:使用定时PI微积分建模Web服务组成
机译:模型驱动的Web服务开发和动态Web服务组合;博士论文