Semantics subsystem in distributed OS formalization generating system

Authors:
Yanxiang He;Jianping Zhang;Donald H. Cooley;Li Chen
Affiliations:
Department of Computer Science, Utah State University, Logan, UT;Department of Computer Science, Utah State University, Logan, UT;Department of Computer Science, Utah State University, Logan, UT;Department of Computer Science, Utah State University, Logan, UT
Venue:
ACM SIGOPS Operating Systems Review
Year:
1997

Citing 3
Cited 0

A knowledge-based operating system

The Computer Journal
A model for a distributed OS automatic generation system

ACM SIGOPS Operating Systems Review
Distributed Operating Systems: Concepts and Design

Distributed Operating Systems: Concepts and Design

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Distributed OS Formalization Generating System (DOSFGS) described in this paper consists of a grammar subsystem DOSGS and a semantics subsystem DOSSS. DOSGS is a form of Context Free Grammar. DOSSS is a semantics system with an operating set. DOSGS uses the semantics subsystem DOSSS to automatically generate a simulation version of a distributed OS in three steps: abstraction, description, and refinement. DOSSS is the central component of DOSFGS. This paper discusses the data structures, operating set and functions, and working principles defining DOSSS.