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

• 作者: 曾国荪 钮俊
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 云服务 工作流 Markov过程 随机模型检测
• 年，卷（期）: 2012,（10）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 31-34
• 分类号: TP391
• 字数: 6326字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.10.007

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钮俊	宁波大学信息科学与工程学院	7	59	4.0	7.0
3	曾国荪	同济大学计算机科学与技术系	102	1102	17.0	29.0