Institutional Repository
| 基于概率模型检测的Web服务组合验证 | |
| Alternative Title | validation of web service composition based on probabilistic model checking |
| 王晶; 戎玫; 张广泉; 祝义 | |
| 2012 | |
| Source | 计算机科学
 |
| ISSN | 1002-137X |
| Volume | 39Issue:1Pages:120-123 |
| English Abstract | Web服务组合验证对提高软件开发效率、实现服务增值具有重要意义。为了验证服务组合的有效性,提出了一种基于概率模型检测的Web服务组合验证方法。首先采用扩展的有限自动机模型建立Web服务组合模型,并将该模型转换为Markov模型,然后采用概率模型检测器PRISM验证服务组合的可靠性,最后通过实例进一步说明该方法的可行性。 |
| Indexed Type | cnki,wanfang |
| Department | 苏州大学计算机科学与技术学院;暨南大学深圳旅游学院;中国科学院软件研究所计算机科学国家重点实验室;徐州师范大学计算机科学与技术学院; |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/14672 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 基于概率模型检测的Web服务组合验证.p（370KB） | 开放获取 | License | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment