University of Illinois Urbana-Champaign

Mediators: A High-Level Language Construct for Distributed Systems (Programming, Synchronization, Temporal Logic)

Grass, Judith Ellen

This item is only available for download by members of the University of Illinois community. Students, faculty, and staff at the U of I may log in with your NetID and password to view the item. If you are trying to access an Illinois-restricted dissertation or thesis, you can request a copy through your library's Inter-Library Loan office or purchase a copy directly from ProQuest.

Permalink

https://hdl.handle.net/2142/69550

Description

Title
Mediators: A High-Level Language Construct for Distributed Systems (Programming, Synchronization, Temporal Logic)
Author(s)
Grass, Judith Ellen
Issue Date
1986
Department of Study
Computer Science
Discipline
Computer Science
Degree Granting Institution
University of Illinois at Urbana-Champaign
Degree Name
Ph.D.
Degree Level
Dissertation
Keyword(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.
Graduation Semester
1986
Type of Resource
text
Permalink
http://hdl.handle.net/2142/69550

Owning Collections

Graduate Dissertations and Theses at Illinois PRIMARY
Graduate Theses and Dissertations at Illinois
Dissertations and Theses - Computer Science
Dissertations and Theses from the Dept. of Computer Science