| 基于概率模型检测的Web服务组合验证 |
| 其他题名 | validation of web service composition based on probabilistic model checking
|
| 王晶; 戎玫; 张广泉; 祝义
|
| 2012
|
| 发表期刊 | 计算机科学
 |
| ISSN | 1002-137X
|
| 卷号 | 39期号:1页码:120-123 |
| 摘要 | Web服务组合验证对提高软件开发效率、实现服务增值具有重要意义。为了验证服务组合的有效性,提出了一种基于概率模型检测的Web服务组合验证方法。首先采用扩展的有限自动机模型建立Web服务组合模型,并将该模型转换为Markov模型,然后采用概率模型检测器PRISM验证服务组合的可靠性,最后通过实例进一步说明该方法的可行性。 |
| 收录类别 | cnki,wanfang
|
| 部门归属 | 苏州大学计算机科学与技术学院;暨南大学深圳旅游学院;中国科学院软件研究所计算机科学国家重点实验室;徐州师范大学计算机科学与技术学院;
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/14672
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
王晶,戎玫,张广泉,等. 基于概率模型检测的Web服务组合验证[J]. 计算机科学,2012,39(1):120-123.
|
| APA |
王晶,戎玫,张广泉,&祝义.(2012).基于概率模型检测的Web服务组合验证.计算机科学,39(1),120-123.
|
| MLA |
王晶,et al."基于概率模型检测的Web服务组合验证".计算机科学 39.1(2012):120-123.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论