DOSFGS中的语义子系统

分布式操作系统形式化生成系统（ＤＯＳＦＧＳ）主要由文法部分ＤＯＳＦＳＧ和语义子系统ＤＯＳＦＳＳ组成。其中，ＤＯＳＦＳＧ采用了上下文无关文法（ＣＦＧ），ＤＯＳＦＳＳ则是一个带操作集的语义子系统。ＤＯＳＦＧＳ按照抽象、描述和细化三个步骤生成分布式操作系统。本文主要介绍语义子系统ＤＯＳＦＳＳ相关的数据结构、操作集及其定义等。

DOSFGS中的语义子系统

分布式OS形式化生成系统模型(DOSFGS)主要由文法部分DOSFSG和语义子系统DOSFSS组成.其中DOSFSG采用了上下文无关文法(CFG)。DOSFSS则是一个带操作集的语义子系统,DOSFGS按照抽象、描述和细化三个步骤自动模拟生成用户所需的分布式OS。本文主要讨论其中的语义子系统DOSFSS的设计思想、操作集及其定义及基本工作流程等。