| 基于概率模型检测的Web服务组合验证 |
| 王晶; 戎玫; 张广泉
|
| 2011
|
| 会议名称 | 2011年全国理论计算机科学学术年会
|
| 页码 | 22-22
|
| 会议日期 | 2011
|
| 会议地点 | 武汉
|
| 收录类别 | WANFANG
|
| 部门归属 | 苏州大学计算机科学与技术学院 苏州 215006 暨南大学深圳旅游学院 深圳518053 苏州大学计算机科学与技术学院 苏州 215006;中国科学院软件研究所计算机科学国家重点实验室 北京 100080
|
| 摘要 | Web服务组合验证对提高软件开发效率、实现服务增值具有重要意义.为了对服务组合进行有效的验证,提出了一种基于概率模型检测的Web服务组合验证方法,该方法首先采用扩展的有限自动机模型建立Web服务组合模型,并将该模型转换为Markov模型,然后采用概率模型检测器PRISM验证服务组合的可靠性,最后通过实例进一步说明该方法的可行性. |
| 主办者 | 中国计算机学会
|
| 语种 | 中文
|
| 内容类型 | 会议论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/16370
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
王晶,戎玫,张广泉. 基于概率模型检测的Web服务组合验证[C],2011:22-22.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论