Files in this item



application/pdf8623306.pdf (4MB)Restricted to U of Illinois
(no description provided)PDF


Title:Mediators: A High-Level Language Construct for Distributed Systems (Programming, Synchronization, Temporal Logic)
Author(s):Grass, Judith Ellen
Department / Program:Computer Science
Discipline:Computer Science
Degree Granting Institution:University of Illinois at Urbana-Champaign
Subject(s):Computer Science
Abstract:This thesis describes the mediated object construct. Mediated objects support synchronization and scheduling for systems programming within distributed systems. Mediated objects are based on a resource view of systems, and fit within a programming methodology that emphasizes resource modularity, synchronization modularity and encapsulated concurrency.
A mediated object consists of an interface specification, a data abstraction construct (an object) and a separate mediator module that specifies synchronization and scheduling within the mediated object. The mediator displays many interesting features. These include: an adaptation of guarded commands; keys that allow requests to be examined and manipulated before they receive service; parallel guard execution; coupled and uncoupled modes of service execution.
The design of the mediated object construct is first presented informally with many programming samples. A temporal logic specification is also presented as a formal description of the construct. The temporal logic may be used for verifying mediated objects. A sample verification is included. Few practical languages have been specified with temporal logic. The specification provided helpful feedback during the development of the construct.
Finally, the thesis discusses a few aspects of implementation and offers suggestions for future research.
Issue Date:1986
Description:127 p.
Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1986.
Other Identifier(s):(UMI)AAI8623306
Date Available in IDEALS:2014-12-15
Date Deposited:1986

This item appears in the following Collection(s)

Item Statistics