Abstraction mechanisms for specifying distributed systems

Date of Publication

1989

Document Type

Master's Thesis

Degree Name

Master of Science in Computer Science

Subject Categories

Computer Sciences

College

College of Computer Studies

Department/Unit

Computer Science

Thesis Adviser

Arthur I. Concepcion

Abstract/Summary

A layered specification methodology for specifying distributed systems, based on graph-theoretic formalisms and distributed linguistic constructs is presented. The model is formal and flexible in that it permits abstraction and analysis at any desired level of detail.

The distributed system problem domain has been categorized into four layers, namely, the distributed application layer, distributed control layer, communication and concurrency control layer and the network topological layer.

The paper discusses the abstraction and structuring mechanisms provided at the respective layers. General purpose algorithms for verifying task assignment and load balancing are outlined. Algorithms for computing global state and system reliability are also presented.

The model demonstrates the flexibility with which sensitivity analysis could be done to obtain performance results, which could be used to design reliable and efficient distributed systems.

Abstract Format

html

Language

English

Format

Print

Accession Number

TG02432

Shelf Location

Archives, The Learning Commons, 12F Henry Sy Sr. Hall

Physical Description

85 leaves; ill.; 28 cm.

Keywords

Distributed parameter systems; Coding theory; Electronic data processing -- Distributed processing; Abstract data types (Computer science); Programming (Electronic computers)

This document is currently not available here.

Share

COinS