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
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)
Recommended Citation
Fernandes, B. (1989). Abstraction mechanisms for specifying distributed systems. Retrieved from https://animorepository.dlsu.edu.ph/etd_masteral/1691