Title :
Synthesizing Code for Resource Controllers
Author :
Ramamritham, Krithivasan
Author_Institution :
Department of Computer and Information Science, University of Massachusetts
Abstract :
A distributed system is viewed as a set of objects and processes utilizing the objects. If a shared object, known as a resource, is accessed concurrently, some mechanism is necessary to control use of the resource in order to satisfy the consistency and fairness requirements associated with the resource. These mechanisms are termed resource controllers.
Keywords :
Shared resources; specification; synchronization; synthesis; temporal logic; Communication networks; Computer architecture; Computer languages; Control system synthesis; Control systems; Logic; Network synthesis; Object oriented modeling; Safety; Software systems; Shared resources; specification; synchronization; synthesis; temporal logic;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1985.232526
