Semantics subsystem in distributed OS formalization generating system-Reference-Cited by-同舟云学术

Semantics subsystem in distributed OS formalization generating system

Published:1997-10 Issue:4 Volume:31 Page:85-92
ISSN:0163-5980
Container-title:ACM SIGOPS Operating Systems Review
language:en
Short-container-title:SIGOPS Oper. Syst. Rev.

Author:

He Yanxiang¹,Zhang Jianping¹,Cooley Donald H.¹,Chen Li¹

Affiliation:

1. Department of Computer Science, Utah State University, Logan, UT

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.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/271019.271036

Reference5 articles.

1. {1} George C Jean D Tim K «Distributed Systems (Concepts and Design)» Second edition Addison-Wesley Pub. 1996. {1} George C Jean D Tim K «Distributed Systems (Concepts and Design)» Second edition Addison-Wesley Pub. 1996 .

2. {2} Pradeep K. Sinha «Distributed Operating Systems (Concepts and Design)» The Institute of Electrical and Electronics Engineers Inc. New York 1997. {2} Pradeep K. Sinha «Distributed Operating Systems (Concepts and Design)» The Institute of Electrical and Electronics Engineers Inc. New York 1997 .

3. {3} Yanxiang He Xunbing Xia "Researches in Distributed OS Formalization System" High Technology Letters Beijing Vol. 15 No. 1 February 1995. {3} Yanxiang He Xunbing Xia "Researches in Distributed OS Formalization System" High Technology Letters Beijing Vol. 15 No. 1 February 1995 .

4. A Knowledge-based Operating System

5. {5} Yanxiang He Donald H Cooley Jianping Zhang "A Model of Distributed OS Automatic Generating System" (in press) July 1997. 10.1145/271019.271035 {5} Yanxiang He Donald H Cooley Jianping Zhang "A Model of Distributed OS Automatic Generating System" (in press) July 1997 . 10.1145/271019.271035