Dismiss
InnovationQ will be updated on Sunday, Oct. 22, from 10am ET - noon. You may experience brief service interruptions during that time.
Browse Prior Art Database

Preliminary Design Specifications far Highly-Structured Distributed Software Using Resource Modules

IP.com Disclosure Number: IPCOM000128014D
Original Publication Date: 1985-Dec-31
Included in the Prior Art Database: 2005-Sep-14
Document File: 11 page(s) / 44K

Publishing Venue

Software Patent Institute

Related People

Arthur E. Oldehoeft: AUTHOR [+4]

Abstract

The modular approach to the design of computer sys-tems has been the subject of considerable attention in the study of programming languages, operating systems, and computer architecture. Attributes such as encapsu-lation and data abstraction, synchronization of access, protection and reliability have emerged as fundamental characteristics to be enforces! by modularlzation. Some recent work has focused attention on the design of com-plete object-oriented programming systems and architec-tures ( 1, 3, 15, 19. 20, 24, 26, 31. 34, 41). While each system design has given attention to some of these fun-damental characteristics, few if any, have addressed all of them within the context of a single system for distri-buted objects or modules. Two basic underlying assumptions have a strong impact on the nature of' our research: (1) Resource sharing is considered to be both natural and desirable. (2) C'oncurrency is considered to be the rule rather than the exception. Within the context of this philosophy, this research has two major goals. The first goal is to integrate many aspects. of previous work into a single programming sys-tem which provides for a highly-structured object-oriented approach to design of software for network applications. 'fhe second goal is to provide for separate specification of protection, synchronization and access of encapsulated data in order to facilitate programming and proofs of correctness. Achievement of these goals is difficult and the specifications in this paper reflect our preliminary ideas. Our proposed fundamental building block for software design is a "resource module (RM)" which encapsulates data along with operations on the data, and is in com-plete charge of its own protection, synchronization, resource access and reliability. In this paper, we present the design specifications for the prototype system, focus-ing attention on only separate specification of protection, synchronization and access. Other issues such as relia-bility are not addressed. Subsequent sections deal with a general overview of an RM, examples of network pro-grams, and the projected implementation strategy for a total ;system.

This text was extracted from a PDF file.
This is the abbreviated version, containing approximately 8% of the total text.

Page 1 of 11

THIS DOCUMENT IS AN APPROXIMATE REPRESENTATION OF THE ORIGINAL.

Preliminary Design Specifications far Highly-Structured Distributed Software Using Resource Modules

Arthur E. Oldehoeft and Masaaki Mizuno

Oct. 1985

TR #85-27 (Revision of 485-16) Preliminary Design Specifications for Highly-Structured Distributed Software Using Resource Modules Arthur E. Oldehoeft and Masaaki Mizuno Department of Computer Science Iowa State University A "resource module' is proposed as a fundamental building block in the design of software for ne9work applications. A resource module encapsulates data along with operations on the data, and a collection of such modules, working together, constitutes a network computation. Resource sharing and concurrency are considered natural in the system and are major issues in the design specification. In addition to traditional data abstraction, each module provides for a separate specification of protection, synchroniza-tion and access components. The design of a planned prototype system is outlined.

1. INTRODUCTION

The modular approach to the design of computer sys-tems has been the subject of considerable attention in the study of programming languages, operating systems, and computer architecture. Attributes such as encapsu-lation and data abstraction, synchronization of access, protection and reliability have emerged as fundamental characteristics to be enforces! by modularlzation. Some recent work has focused attention on the design of com-plete object-oriented programming systems and architec-tures ( 1, 3, 15, 19. 20, 24, 26, 31. 34, 41). While each system design has given attention to some of these fun-damental characteristics, few if any, have addressed all of them within the context of a single system for distri-buted objects or modules. Two basic underlying assumptions have a strong impact on the nature of' our research: (1) Resource sharing is considered to be both natural and desirable. (2) C'oncurrency is considered to be the rule rather than the exception. Within the context of this philosophy, this research has two major goals. The first goal is to integrate many aspects. of previous work into a single programming sys-tem which provides for a highly-structured object-oriented approach to design of software for network applications. 'fhe second goal is to provide for separate specification of protection, synchronization and access of encapsulated data in order to facilitate programming and proofs of correctness. Achievement of these goals is difficult and the specifications in this paper reflect our preliminary ideas. Our proposed fundamental building block for software design is a "resource module (RM)" which encapsulates data along with operations on the data, and is in com-plete charge of its own protection, synchronization, resource access and reliability. In this paper, we present the design specifications for the prototype system, focus-ing attention on only separate specification of protecti...