基于概率模型检验的Web服务系统可靠性分析
为了实现对Web服务系统进行可靠性分析,采用概率模型检验技术对其行为模型进行形式化验证是一种有效方法.但该方法需要对服务系统的分布式特征进行建模,因此利用分布式日志收集系统Flume NG实时收集Web服务器日志并对其进行预处理操作,针对日志采集频率问题采用Kafka进行日志缓存,通过Storm分析日志数据并构造用于描述服务可靠性的概率迁移矩阵.采用概率标签迁移系统PLTS描述服务行为模型,采用概率计算树逻辑PCTL描述服务系统需求性质,集成概率模型检验器PRISM支持自动化定量验证和分析,从而实现基于概率模型检验的Web服务可靠性分析.最后通过案例研究和验证数据分析证明所提方法的有效性和可行性.
Web服务系统 概率模型检验 分布式日志
高洪皓 开金宇 周家安 缪淮扣 黄婉秋 王皙
上海大学计算中心,上海200444;上海大学计算机工程与科学学院,上海200444 上海大学计算机工程与科学学院,上海200444;上海市计算机软件测评重点实验室,上海201112
国内会议
济南
中文
132-139
2017-11-19（万方平台首次上网日期，不代表论文的发表时间）