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

A quantitative verification approach with temporal constraints for Web service composition

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

In order to enhance the quality of service composition, it is urgent to verify the compatibility under temporal constraints in the flow design.The existing methods have the following disadvantages.There are no knowledge of the probability distribution of atomic services, no quantitative validation of timed compatibility, and no support of concurrent and selection flow structures.For the pure sequence, concurrent and selection structures appeared frequently in a work flow, their probability distributions are estimated and a probability based approach is proposed to analyze timed compatibility for a composited service under temporal constraints . The effectiveness of methodology is validated through case analysis and performance testing.