|
|||||
|
|
| 分布式操作系统形式化生成系统模型的研究 | |
| 引用本文： | 何炎祥,夏循斌.分布式操作系统形式化生成系统模型的研究[J].小型微型计算机系统,1995,16(12):18-23. |
| 作者姓名： | 何炎祥 夏循斌 |
| 作者单位： | 武汉大学计算机科学系 |
| 基金项目： | 国家863计划部分资助 |
| 摘 要： | 分布式操作系统形式化系统模型ＤＯＳＦＳ主要由文法ＤＯＳＦＳＧ和语义ＤＯＳＦＳＳ两部分组成。其中文法部分采用了上下文无关文法，语义部分则是一个带操作集的语义系统。ＤＯＳＦＳ按照抽象、描述、细化三个过程自动模拟生成分布式操作系统。本文主要介绍了文法ＤＯＳＦＳＧ的定义、性质，语义系统ＤＯＳＦＳＳ的设计思想、相关的数据结构、操作及其定义等。 |
| 关 键 词： | 操作系统 形式语义 DOSFSS 分布式操作系统 |
RESEARCHES IN DISTRIBUTED OPERATING SYSTEM FORMAL SYSTEM MODEL |
|
| He Yanxiang,Xia Xunbin.RESEARCHES IN DISTRIBUTED OPERATING SYSTEM FORMAL SYSTEM MODEL[J].Mini-micro Systems,1995,16(12):18-23. | |
| Authors: | He Yanxiang Xia Xunbin |
| Abstract: | |
| Keywords: | Distributed operating system Formal system Formal semantics Derivation Expectation function Production form |
| 本文献已被 CNKI 维普 等数据库收录！ | |
