论文部分内容阅读
分布式操作系统形式化生成系统主要由文部分DOSGSG和语义子系统DOSFSS组成。其中,DOSFSG采用了上下文无关文法,DOSFSS则是一个带操作集的语义子系统。DOSFGS按照抽象,描述和细化三个步骤生成分布式操作系统。本文主要介绍语义子系统DOSFSS相关的数据结构,操作集及其定义等。