| 云计算环境下聚合服务的随机模型检测 |
| |
| 引用本文： | 钮 俊,曾国荪.云计算环境下聚合服务的随机模型检测[J].计算机科学,2012,39(10):31-34. |
| |
| 作者姓名： | 钮 俊 曾国荪 |
| |
| 作者单位： | 1. 宁波大学信息科学与工程学院 宁波315010 ; 同济大学计算机科学与技术系 上海201804
2. 同济大学计算机科学与技术系 上海201804 |
| |
| 基金项目： | 863项目，973课题，国家自然基金项目，NSFC一微软亚洲研究院联合资助项目，教育部博士点基金项目，高效能服务器和存储技术国家重点实验室开放基金项目，浙江省自然科学基金项目，宁波市自然科学基金项目 |
| |
| 摘 要： | 当前缺乏对聚合云服务正确性、响应时间和费用约束统一进行验证的有效方法。扩展基本工作流模式,增强概率、随机、不确定选择的刻画能力,用于定义聚合云服务的服务流程,将流程定义转换为连续时间Markov回报过程,扩展连续随机回报逻辑CSRL,用以刻画增强行为描述的统一验证属性,给出随机模型检测方法。分析表明,该方法能有效刻画运行时云服务动态行为并对其正确性、可靠性进行验证。
|
| 关 键 词： | 云服务 工作流 Markov过程 随机模型检测 |
Stochastic Model Checking Composed Services in Cloud Computing Environment |
| |
| NIU Jun
,
ZENG Guo-sun.Stochastic Model Checking Composed Services in Cloud Computing Environment[J].Computer Science,2012,39(10):31-34. |
| |
| Authors: | NIU Jun ZENG Guo-sun |
| |
| Affiliation: | 2(Faculty of Information Science and Engineering,Ningbo University,Ningbo 315010,China)1(Department of Computer Science and Technology,Tongji University,Shanghai 201804,China)2 |
| |
| Abstract: | The existing works can not verify whether the composed service's function, response time and cost satisfy requester's requirement simultaneously,and treat it separately. We extended basic workflow patterns in order to depict probabilistic choice, stochastic time and nondeterministic choice of composed cloud services. An approach to mapping the extended patterns to continuous time Markov reward process was proposed. The existing temporal logic CSRI. was extended for specifying the specifications which can depict function,response time and cost constraints,and the stochastic model checking approach was proposed. This paper shows that we can depict cloud service's runtime dynamic behaviors effectively and verify their correctness and availability. |
| |
| Keywords: | Cloud service Workflow Markov processes Stochastic model checking |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
