Title: | 基于概率模型检测的Web服务组合验证 |
Author: | 王晶
; 戎玫
; 张广泉
|
Conference Name: | 2011年全国理论计算机科学学术年会
|
Conference Date: | 2011
|
Issued Date: | 2011
|
Conference Place: | 武汉
|
Indexed Type: | WANFANG
|
Department: | 苏州大学计算机科学与技术学院 苏州 215006 暨南大学深圳旅游学院 深圳518053 苏州大学计算机科学与技术学院 苏州 215006;中国科学院软件研究所计算机科学国家重点实验室 北京 100080
|
Sponsorship: | 中国计算机学会
|
Abstract: | Web服务组合验证对提高软件开发效率、实现服务增值具有重要意义.为了对服务组合进行有效的验证,提出了一种基于概率模型检测的Web服务组合验证方法,该方法首先采用扩展的有限自动机模型建立Web服务组合模型,并将该模型转换为Markov模型,然后采用概率模型检测器PRISM验证服务组合的可靠性,最后通过实例进一步说明该方法的可行性. |
Language: | 中文
|
Content Type: | 会议论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/16370
|
Appears in Collections: | 软件所图书馆_会议论文
|
There are no files associated with this item.
|
Recommended Citation: |
王晶,戎玫,张广泉. 基于概率模型检测的Web服务组合验证[C]. 见:2011年全国理论计算机科学学术年会. 武汉. 2011.
|
|
|