一种基于活性顺序图的运行时验证研究

• 作者: 叶俊民 叶竹君 张坤 陈曙 陈盼
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 活性顺序图 线性时序逻辑 重写逻辑 运行时验证
• 年，卷（期）: 2016,（8）
• 所属期刊栏目: 软件与数据库技术
• 页码范围: 137-141,164
• 页数: 6页
• 分类号: TP311
• 字数: 5903字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2016.8.029

摘要

运行时验证是一种轻量级的形式化验证方法,使用可视化的需求规约描述语言建模需求规约场景是运行时验证领域的研究热点.针对目前基于活性顺序图的运行时验证方法中容易产生冗余性质、二值语义的验证结果不准确、基于Maude工具引擎的重写逻辑验证算法效率较低等问题,提出一种基于活性顺序图的运行时验证的改进方法,以支持现有的运行时验证技术.实验表明,改进方法验证结果准确,且验证过程开销较小.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	叶俊民	华中师范大学计算机学院	85	454	11.0	16.0
2	陈曙	华中师范大学计算机学院	25	93	5.0	8.0
3	陈盼	华中师范大学计算机学院	2	0	0.0	0.0
4	张坤	华中师范大学计算机学院	13	12	2.0	3.0