|
|||||
|
|
| 基于概率模型检测的Web服务组合验证 | |
| 引用本文： | 王晶,戎玫,张广泉,祝义.基于概率模型检测的Web服务组合验证[J].计算机科学,2012,39(1):120-123. |
| 作者姓名： | 王晶 戎玫 张广泉 祝义 |
| 作者单位： | 1. 苏州大学计算机科学与技术学院 苏州215006 2. 暨南大学深圳旅游学院 深圳518053 3. 苏州大学计算机科学与技术学院 苏州215006;中国科学院软件研究所计算机科学国家重点实验室北京100080 4. 徐州师范大学计算机科学与技术学院 徐州221116 |
| 基金项目： | 国家自然科学基金，江苏省自然科学基金，中国科学院计算机科学国家重点实验室开放课题，江苏省高校自然科学研究项目 |
| 摘 要： | Web服务组合验证对提高软件开发效率、实现服务增值具有重要意义。为了验证服务组合的有效性,提出了一种基于概率模型检测的Web服务组合验证方法。首先采用扩展的有限自动机模型建立Web服务组合模型,并将该模型转换为Markov模型,然后采用概率模型检测器PRISM验证服务组合的可靠性,最后通过实例进一步说明该方法的可行性。 |
| 关 键 词： | Web服务组合 有限自动机 Markov模型 概率模型检测 |
Validation of Web Service Composition Based on Probabilistic Model Checking |
|
| WANG Jing , RONG Mei , ZHANG Guang-quan , ZHU Yi.Validation of Web Service Composition Based on Probabilistic Model Checking[J].Computer Science,2012,39(1):120-123. | |
| Authors: | WANG Jing RONG Mei ZHANG Guang-quan ZHU Yi |
| Affiliation: | 4(School of Computer Science and Technology,Soochow University,Suzhou 215006,China)1(Shenzhen Tourism College,Jinan University,Shenzhen 518053,China)2(State Key Laboratory of Computer Science,Institute of Software,Chinese Academy of Sciences,Beijing 100080,China)3(School of Computer Science and Technology,Xuzhou Normal University,Xuzhou 221116,China)4 |
| Abstract: | Web service composition validation is very important for improving the efficiency of software development.This paper presented a method based on probabilistic model checking to validate the service composition. We used an extended finite automaton to represent the service composition, and then converted it into a Markov model. A probabilistic model checker PRISM was used to validate the effectiveness of the service composition. Finally, we gave an example to illustrate the feasibility of this method. |
| Keywords: | Web service composition Finite automata Markov model Probabilistic model checking |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《计算机科学》下载全文 | |