Abstraction mechanisms for specifying distributed systems
Date of Publication
Master of Science in Computer Science
College of Computer Studies
Arthur I. Concepcion
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.
Archives, The Learning Commons, 12F Henry Sy Sr. Hall
85 leaves; ill.; 28 cm.
Distributed parameter systems; Coding theory; Electronic data processing -- Distributed processing; Abstract data types (Computer science); Programming (Electronic computers)
Fernandes, B. (1989). Abstraction mechanisms for specifying distributed systems. Retrieved from https://animorepository.dlsu.edu.ph/etd_masteral/1691