BPEL; runtime monitoring; temporal properties;
机译:基于服务的系统的以数据为中心的时间属性的规范和监视
机译:合同规定的Web服务的运行时监视
机译:通过有状态方面扩展进行运行时监视复合Web服务
机译:用于Web服务的数据中心时间属性的运行时监视
机译:复合Web服务的运行时验证
机译:飞行员:用于监控Web服务可用性的Web服务
机译:Web服务属性序列图监视器:使用基于场景的规范监视基于BPEL的Web服务组成的工具链
机译:时间模式 - 检查隐私策略的运行时监控。