摘要
Distributed Operating System Formalization Generating System(DOSFGS)consists of agrammar subsystem DOSFSG and a semantics subsystem DOSFSS.DOSFSG is a kind ofContext-free grammar.DOSFSS is a semantics system with an operating set.DOSFGS gen-erates a distributed operating system automatically according to the process of abstraction,description,and refinement.This paper discusses data structures,operating set and defini-tion of DOSFSS.
Distributed Operating System Formalization Generating System(DOSFGS)consists of a grammar subsystem DOSFSG and a semantics subsystem DOSFSS.DOSFSG is a kind of Context-free grammar.DOSFSS is a semantics system with an operating set.DOSFGS gen- erates a distributed operating system automatically according to the process of abstraction, description,and refinement.This paper discusses data structures,operating set and defini- tion of DOSFSS.
基金
Supported by the High Technology Research and Development Programme of China.
