| 一种基于活性顺序图的运行时验证研究 |
| |
| 引用本文： | 叶俊民,张坤,叶竹君,陈盼,陈曙.一种基于活性顺序图的运行时验证研究[J].计算机科学,2016,43(8):137-141, 164. |
| |
| 作者姓名： | 叶俊民 张坤 叶竹君 陈盼 陈曙 |
| |
| 作者单位： | 华中师范大学计算机学院 武汉430079,华中师范大学计算机学院 武汉430079,华中师范大学国家物理学人才培养基地 武汉430079,华中师范大学计算机学院 武汉430079,华中师范大学计算机学院 武汉430079 |
| |
| 基金项目： | 本文受国家科技支撑计划项目(2015BAK33B00),中央高校基本科研业务费专项资金科研项目(CCNU15GF003),教育部人文社会科学研究规划基金(15YJA880095)资助 |
| |
| 摘 要： | 运行时验证是一种轻量级的形式化验证方法,使用可视化的需求规约描述语言建模需求规约场景是运行时验证领域的研究热点。针对目前基于活性顺序图的运行时验证方法中容易产生冗余性质、二值语义的验证结果不准确、基于Maude工具引擎的重写逻辑验证算法效率较低等问题,提出一种基于活性顺序图的运行时验证的改进方法,以支持现有的运行时验证技术。实验表明,改进方法验证结果准确,且验证过程开销较小。
|
| 关 键 词： | 活性顺序图 线性时序逻辑 重写逻辑 运行时验证 |
| 收稿时间： | 2015/6/13 0:00:00 |
| 修稿时间： | 2015/10/23 0:00:00 |
Research of Runtime Verification Based on Live Sequence Chart |
| |
| YE Jun-min,ZHANG Kun,YE Zhu-jun,CHEN Pan and CHEN Shu.Research of Runtime Verification Based on Live Sequence Chart[J].Computer Science,2016,43(8):137-141, 164. |
| |
| Authors: | YE Jun-min ZHANG Kun YE Zhu-jun CHEN Pan and CHEN Shu |
| |
| Affiliation: | School of Computer Science,Central China Normal University,Wuhan 430079,China,School of Computer Science,Central China Normal University,Wuhan 430079,China,Personnel Training Station of National Physics,Central China Normal University,Wuhan 430079,China,School of Computer Science,Central China Normal University,Wuhan 430079,China and School of Computer Science,Central China Normal University,Wuhan 430079,China |
| |
| Abstract: | |
| |
| Keywords: | Live sequence chart Linear temporal logic Rewriting logic Runtime verification |
|
|
点击此处可从《计算机科学》下载全文 |
|
