基于概率模型检测的Web服务组合验证

Validation of Web Service Composition Based on Probabilistic Model Checking

Web服务组合验证对提高软件开发效率、实现服务增值具有重要意义。为了验证服务组合的有效性,提出了一种基于概率模型检测的Web服务组合验证方法。首先采用扩展的有限自动机模型建立Web服务组合模型,并将该模型转换为Markov模型,然后采用概率模型检测器PRISM验证服务组合的可靠性,最后通过实例进一步说明该方法的可行性。

Web service composition validation is very important for improving the efficiency of software development.This paper presented a method based on probabilistic model checking to validate the service composition.We used an extended finite automaton to represent the service composition,and then converted it into a Markov model.A probabilistic model checker PRISM was used to validate the effectiveness of the service composition.Finally,we gave an example to illustrate the feasibility of this method.