REST; Web service composition; Model-based testing; UPPAAL; TRON;
机译:Web服务属性序列图监视器:用于监视基于场景的规范的基于BPEL的Web服务组成的工具链
机译:服务设计模式:SOAP / WSDL和RESTful Web服务的基本设计解决方案
机译:受限可见性下的分层Web服务组合的最佳补偿
机译:基于场景的REST Web服务组合的设计与验证
机译:在教学设计的形成性评估阶段使用基于场景的设计工具和技术的案例研究:原型评估和Web增强课程界面的重新设计。
机译:缩回:使用基于QoS的Web服务排名算法的自动Web服务组合框架
机译:Web服务属性序列图监视器:使用基于场景的规范监视基于BPEL的Web服务组成的工具链
机译:模型驱动的Web服务开发和动态Web服务组合;博士论文