| DOSFGS中的语义子系统 |
| |
| 引用本文： | 何炎祥 陈燕涛. DOSFGS中的语义子系统[J]. 高技术通讯, 1996, 6(3): 28-31 |
| |
| 作者姓名： | 何炎祥 陈燕涛 |
| |
| 作者单位： | 武汉大学计算机科学系 |
| |
| 摘 要： | 分布式操作系统形式化生成系统主要由文部分ＤＯＳＧＳＧ和语义子系统ＤＯＳＦＳＳ组成。其中，ＤＯＳＦＳＧ采用了上下文无关文法，ＤＯＳＦＳＳ则是一个带操作集的语义子系统。ＤＯＳＦＧＳ按照抽象，描述和细化三个步骤生成分布式操作系统。本文主要介绍语义子系统ＤＯＳＦＳＳ相关的数据结构，操作集及其定义等。
|
| 关 键 词： | 分布式操作系统 语义子系统 DOSFGS 计算机 |
The Semantics Subsystem in Distributed Operating System Formalization Generating System(DOSFGS) |
| |
| He Yanxiang,Chen Yantao,Xia Xunbin, Sun Xiangsheng, Cai Yiwei. The Semantics Subsystem in Distributed Operating System Formalization Generating System(DOSFGS)[J]. High Technology Letters, 1996, 6(3): 28-31 |
| |
| Authors: | He Yanxiang Chen Yantao Xia Xunbin Sun Xiangsheng Cai Yiwei |
| |
| Abstract: | |
| |
| Keywords: | Distributed OS Formalization generating system Semanteme Generating form Derivation Expected function |
| 本文献已被 CNKI 维普 等数据库收录！ |
