摘要
分布式操作系统形式化生成系统（ＤＯＳＦＧＳ）主要由文法部分ＤＯＳＦＳＧ和语义子系统ＤＯＳＦＳＳ组成。其中，ＤＯＳＦＳＧ采用了上下文无关文法（ＣＦＧ），ＤＯＳＦＳＳ则是一个带操作集的语义子系统。ＤＯＳＦＧＳ按照抽象、描述和细化三个步骤生成分布式操作系统。本文主要介绍语义子系统ＤＯＳＦＳＳ相关的数据结构、操作集及其定义等。
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.
出处
《高技术通讯》
CAS
CSCD
1996年第3期28-31,共4页
Chinese High Technology Letters
基金
863计划资助
关键词
分布式操作系统
语义子系统
DOSFGS
计算机
Distributed OS
Formalization generating system
Semanteme
Generating form
Derivation
Expected function
