DOSFGS中的语义子系统  

The Semantics Subsystem in Distributed Operating System Formalization Generating System(DOSFGS)

作　　者：何炎祥[1] 陈燕涛[1] 夏循斌[1] 孙祥胜[1] 蔡一炜[1] 

机构地区：[1]武汉大学计算机科学系

出　　处：《高技术通讯》1996年第3期28-31,共4页Chinese High Technology Letters

基　　金：863计划资助

摘　　要：分布式操作系统形式化生成系统（ＤＯＳＦＧＳ）主要由文法部分ＤＯＳＦＳＧ和语义子系统ＤＯＳＦＳＳ组成。其中，ＤＯＳＦＳＧ采用了上下文无关文法（ＣＦＧ），ＤＯＳＦＳＳ则是一个带操作集的语义子系统。ＤＯＳＦＧＳ按照抽象、描述和细化三个步骤生成分布式操作系统。本文主要介绍语义子系统ＤＯＳＦＳＳ相关的数据结构、操作集及其定义等。Distributed Operating System Formalization Generating System(DOSFGS)consists of the grammarDOSFSG and the semantics subsystem DOSFSS.DOSFSG is a kind of context free grammar(CFG).DOSFSS is a semantics subsystem with operation set.DOSFGS generates a distributed operating system automatically according to abstraction, description and refinement processes.This paper discusses the data structures,operation set and its definition about DOSFSS.

关 键 词：分布式操作系统 语义子系统 DOSFGS 计算机 

分 类 号：TP316[自动化与计算机技术—计算机软件与理论]