Suspension Terms as a Means for Meta-coordination in the μLog Coordination Framework

Authors:
K. De Bosschere;J.-M. Jacquet
Affiliations:
ELIS Department, Ghent University, Belgium kdb@elis.rug.ac.be;Institute of Informatics, University of Namur, Belgium jmj@info.fundp.ac.be
Venue:
The Journal of Supercomputing
Year:
2003

Citing 5
Cited 0

Linda and Friends

Computer
On the semantics of &mgr;Log

Conference proceedings on PARLE'92
Fully abstract denotational models for nonuniform concurrent languages

Information and Computation
Process-based parallel logic programming: a survey of the basic issues

Journal of Systems and Software
Blackboard relations in the &mgr;Log coordination model

New Generation Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we introduce the concept of suspension terms as a reification of the suspension of coordination operations in the μLog framework. Each time a coordination operation suspends, a corresponding suspension term is created. By creating primitives that can manipulate the suspension terms, we are able to introduce coordination primitives at the meta-level (e.g., dealing with success, failure, suspension). This is called meta-coordination. In this paper, we introduce the new primitives, give a formal definition of their basic semantics, and argue their expressiveness. The paper is concluded with an argumentation why first order suspension terms suffice and how higher order suspension terms can be replaced by lower order suspension terms.