分布式操作系统形式化生成系统主要由文部分ＤＯＳＧＳＧ和语义子系统ＤＯＳＦＳＳ组成。其中，ＤＯＳＦＳＧ采用了上下文无关文法，ＤＯＳＦＳＳ则是一个带操作集的语义子系统。ＤＯＳＦＧＳ按照抽象......