一种时序约束下的Web服务组合兼容性的定量验证方法

为了增强服务组合的Qo S特性,迫切需要在流程设计层面验证时序约束兼容性。针对工作流中常见的纯顺序、并发与选择结构,估算了其概率分布,进而提出了一种基于概率的、定量检验服务组合的时序兼容性的方法。通过案例分析与性能测试验证了其有效性。