摘要
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.
出处
《计算机科学》
CSCD
北大核心
2012年第1期120-123,共4页
Computer Science
基金
国家自然科学基金(60973149)
江苏省自然科学基金(BK2011281)
中国科学院计算机科学国家重点实验室开放课题(SYSKF0908)
江苏省高校自然科学研究项目(08KJB520010
10KJB520019)资助