云计算环境下聚合服务的随机模型检测

摘要：

当前缺乏对聚合云服务正确性、响应时间和费用约束统一进行验证的有效方法.扩展基本工作流模式,增强概率、随机、不确定选择的刻画能力,用于定义聚合云服务的服务流程,将流程定义转换为连续时间Markov回报过程,扩展连续随机回报逻辑CSRL,用以刻画增强行为描述的统一验证属性,给出随机模型检测方法.分析表明,该方法能有效刻画运行时云服务动态行为并对其正确性、可靠性进行验证.

关键词：云服务、工作流、Markov过程、随机模型检测

所属期刊栏目：39

分类号：TP391(计算技术、计算机技术)

资助基金：863项目2007AA01Z425,2009AA012201;973课题2007CB316502;国家自然基金项目90718015;NSFC一微软亚洲研究院联合资助项目60970155;教育部博士点基金项目20090072110035;高效能服务器和存储技术国家重点实验室开放基金项目2009HSSA06;浙江省自然科学基金项目LY12F02007;宁波市自然科学基金项目2012A610062

在线出版日期：2013-01-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：31-34