Semantics and Implementation of Resource Expressions

Document Type

Article

Department

Computer Science (HMC)

Publication Date

8-1989

Abstract

Resource expressions are high-level specifications of resource control. They can be used to coordinate concurrent access to shared objects, such as files, data bases, etc., or to exercise control over the evaluation of operations that are known to have excessive computational requirements. Resource expressions are similar to path expressions in their syntax and basic approach to specification of constraints, but differ in their semantics. The semantics of resource expressions are based on the concept of execution graphs and residues, and their implementation is based on a set of queueing primitives. The translated program for a resource expression closely reflects the structure of the original resource expression and is therefore highly modular.

Rights Information

©1989 Elsevier

Terms of Use & License Information

Terms of Use for work posted in Scholarship@Claremont.

Link to Full Text

Share

COinS