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

摘要：

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

关键词：Web服务组合、有限自动机、Markov模型、概率模型检测

所属期刊栏目：39

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金60973149;江苏省自然科学基金BK2011281;中国科学院计算机科学国家重点实验室开放课题SYSKF0908;江苏省高校自然科学研究项目08KJ B520010,10KJB520019

在线出版日期：2012-04-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：120-123