主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
刘阳,李宣东,马艳.面向随机模型检验的模型抽象技术.软件学报,2015,26(8):1853-1870
面向随机模型检验的模型抽象技术
Model Abstraction for Stochastic Model Checking
投稿时间:2014-07-08  修订日期:2015-03-27
DOI:10.13328/j.cnki.jos.004838
中文关键词:  随机模型检验  状态空间爆炸  模型抽象  定量抽象精化
英文关键词:stochastic model checking  state space explosion  model abstraction  quantitative abstraction and refinement
基金项目:国家自然科学基金(61021062, 61472179); 中国博士后科学基金(2013M531328); 山东省自然科学基金(ZR2012FQ 013); 山东省高等学校科技计划(J13LN10); 泰安市科技发展计划(201330629)
作者单位E-mail
刘阳 计算机软件新技术国家重点实验室(南京大学), 江苏 南京 210093
Department of computer Science, School of Computing, National University of Singapore, Singapore 117417, Singapore 
yangliu@seg.nju.edu.cn 
李宣东 计算机软件新技术国家重点实验室(南京大学), 江苏 南京 210093  
马艳 南京航空航天大学 计算机科学与技术学院, 江苏 南京 210016  
摘要点击次数: 3231
全文下载次数: 2291
中文摘要:
      随机模型检验是经典模型检验理论的延伸和推广,由于其结合了经典模型检验算法和线性方程组求解或线性规划算法等,并且运算处理的是关于状态的概率向量而非经典模型检验中的位向量,所以状态爆炸问题在随机模型检验中更为严重.抽象作为缓解状态空间爆炸问题的重要技术之一,已经开始被应用到随机模型检验领域并取得了一定的进展.以面向随机模型检验的模型抽象技术为研究对象,首先给出了模型抽象技术的问题描述,然后按抽象模型构造技术分类归纳了其研究方向及目前的研究进展,最后对比了目前的模型抽象技术及其关系,总结出其还未能给出模型抽象问题的满意答案,并指出了有效解决模型抽象问题未来的研究方向.
英文摘要:
      Stochastic model checking is a recent extension and generalization of the classical model checking. Stochastic model checking combines the classical model checking algorithms and linear equation solving or linear programming algorithms, moreover, it processes the probability vector instead of the bit vector. Consequently, the state explosion problem is more severe in stochastic model checking than classical model checking. Abstraction is an important means to tackle the state explosion problem, and it has made some progress in applying to the field of stochastic models testing. This study focus on model abstraction for stochastic model checking. First, the problem of model abstraction is formally presented. Then, the advances in the research area are classified and summarized according to the construction technology of abstraction model. At last, the various abstraction technologies are compared in regard to the effectiveness of solving the model abstraction problem, and the future research topics for improvement in solving the model abstraction problem are pointed out.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利