基于概率模型检验的Web服务系统可靠性分析

• 作者: 周家安 开金宇 王皙 缪淮扣 高洪皓 黄婉秋
• 来源期刊: 东南大学学报（自然科学版）
• 学科: 工学
• 关键词: Web服务系统 概率迁移矩阵 概率模型检验 可靠性分析 分布式日志处理
• 年，卷（期）: 2017,（z1）
• 页码范围: 132-139
• 页数: 8页
• 分类号: TP311.1
• 字数: 6467字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0505.2017.S1.026

摘要

为了实现对Web服务系统进行可靠性分析,采用概率模型检验技术对其行为模型进行形式化验证是一种有效方法.但该方法需要对服务系统的分布式特征进行建模,因此利用分布式日志收集系统Flume NG实时收集Web服务器日志并对其进行预处理操作,针对日志采集频率问题采用Kafka进行日志缓存,通过Storm分析日志数据并构造用于描述服务可靠性的概率迁移矩阵.采用概率标签迁移系统PLTS描述服务行为模型,采用概率计算树逻辑PCTL描述服务系统需求性质,集成概率模型检验器PRISM支持自动化定量验证和分析,从而实现基于概率模型检验的Web服务可靠性分析.最后通过案例研究和验证数据分析证明所提方法的有效性和可行性.