文献类型：期刊文章

作　　者：王晶[1] 戎玫[2] 张广泉[1,3] 祝义[4]

机构地区：[1]苏州大学计算机科学与技术学院,苏州215006 [2]暨南大学深圳旅游学院,深圳518053 [3]中国科学院软件研究所计算机科学国家重点实验室,北京100080 [4]徐州师范大学计算机科学与技术学院,徐州221116

出　　处：《计算机科学》

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

年　　份：2012

卷　　号：39

期　　号：1

起止页码：120-123

语　　种：中文

收录情况：BDHX、BDHX2011、CSA、CSCD、CSCD2011_2012、IC、JST、RCCSE、UPD、ZGKJHX、核心刊

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

关 键 词：WEB服务组合 有限自动机 MARKOV模型 概率模型检测

分 类 号：TP311]