Composition; Deadlock-freeness; Linear Logic; Petri nets; Web Services;
机译:Web服务属性序列图监视器:用于监视基于场景的规范的基于BPEL的Web服务组成的工具链
机译:构造有效的语言Web服务组合场景的语义方法
机译:迈向Web服务的自动组合:基于SAT的抽象方案的具体化
机译:Deadlock-Freeness情景在Web服务组成中检测
机译:语义Web支持Web服务的组合。
机译:缩回:使用基于QoS的Web服务排名算法的自动Web服务组合框架
机译:Web服务属性序列图监视器:使用基于场景的规范监视基于BPEL的Web服务组成的工具链
机译:模型驱动的Web服务开发和动态Web服务组合;博士论文