分布式操作系统形式化生成系统模型的研究

RESEARCHES IN DISTRIBUTED OPERATING SYSTEM FORMAL SYSTEM MODEL

分布式操作系统形式化系统模型ＤＯＳＦＳ主要由文法ＤＯＳＦＳＧ和语义ＤＯＳＦＳＳ两部分组成。其中文法部分采用了上下文无关文法，语义部分则是一个带操作集的语义系统。ＤＯＳＦＳ按照抽象、描述、细化三个过程自动模拟生成分布式操作系统。本文主要介绍了文法ＤＯＳＦＳＧ的定义、性质，语义系统ＤＯＳＦＳＳ的设计思想、相关的数据结构、操作及其定义等。

Distributed Operating System Formal System Model(DOSFS)consists of the grammar DOSFSG and the semantics DOSFSS.DOSFSG is a kind of context free grammar,DOSFSS is a kind of semantics with operation set.DOSFS generates a Distributed Operating System automatically in the course of abstract,description and refinement processes.The definations,characters about DOSFSG and the data structures,operations and definations,design idea about DOSFSS are introduced in this paper.