|
|||||
|
|
| 基于B方法的内存管理模型的设计 | |
| 引用本文： | 陈丹敏,孙越,陈志国.基于B方法的内存管理模型的设计[J].河南大学学报(自然科学版),2015,45(4). |
| 作者姓名： | 陈丹敏 孙越 陈志国 |
| 作者单位： | 1. 河南大学软件学院,河南开封,475004 2. 开封大学信息工程学院,河南开封,475004 3. 河南大学数据与知识工程研究所,河南开封,475004 |
| 基金项目： | 河南省基础与前沿技术研究计划项目，河南省教育厅自然科学研究项目 |
| 摘 要： | 内存管理是操作系统的重要组成部分,一个安全可靠的内存管理程序,对于操作系统的运行十分关键.采用传统软件开发方法开发的内存管理系统,安全性和可靠性得不到很好的保证.为此提出用形式化的B方法开发内存管理系统.首先使用B方法建立了内存管理的形式化模型,利用B工具对该阶段生成的证明义务进行证明,保证系统在初始规范说明层次上的内在一致性和设计的正确性.然后根据B方法分层构造的思想对上一阶段得到的抽象规范模型进行精化.最终得到一个可实现的内存管理模型,该模型更好地保证了系统的一致性和可靠性. |
| 关 键 词： | B方法 内存管理 规范 精化 实现 |
Design of Memory Management Model Based on B Method |
|
| CHEN Danmin,SUN Yue,CHEN Zhiguo.Design of Memory Management Model Based on B Method[J].Journal of Henan University(Natural Science),2015,45(4). | |
| Authors: | CHEN Danmin SUN Yue CHEN Zhiguo |
| Abstract: | |
| Keywords: | B method memory management specification refinement implementation |
| 本文献已被 CNKI 等数据库收录！ | |