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