Web service composition ESAM Promela BPEL4WS SPIN;
机译:一种使用混合自动机进行Web服务操纵的新颖验证模型
机译:基于模型转换的Web服务组合建模与验证
机译:建模和验证由承诺协议控制的编排的基于多代理的Web服务组合
机译:基于接口自动机的Web服务组合模型及其验证算法
机译:Web服务组合的可量化的非功能需求建模和静态验证。
机译:缩回:使用基于QoS的Web服务排名算法的自动Web服务组合框架
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:模型驱动的Web服务开发和动态Web服务组合;博士论文