DOSFGS中的语义子系统

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