BPEL; IF language; Timed Automata; Web service;
机译:Web服务属性序列图监视器:用于监视基于场景的规范的基于BPEL的Web服务组成的工具链
机译:具有BPEL和卫星图像处理的WEB服务组合,用于评估城市和河床变化
机译:迈向地理空间Web服务的语义组合–与BPEL相比使用WSMO
机译:将BPEL转换为Web服务成分测试中间格式语言
机译:检查基于Web的学术听力测验的结构有效性:调查响应格式在基于Web的听力测验中的作用。
机译:基于变异的和声搜索算法用于Web服务组合的混合测试
机译:Web服务组合语言分析:以BPEL4WS为例
机译:使用Web本体语言的语义Web服务(OWL-s) - DaRpa代理标记语言(DamL)的代理服务规范