Skip to main content
SpringerLink
Log in

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

  • Published:
The Journal of Supercomputing Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. S. Ahuja, N. Carriero, and D. Gelernter. Linda and friends. IEEE Computer, 19(8), 26–34, 1986.

    Google Scholar 

  2. K. De Bosschere. Process-based parallel logic programming languages: a survey of the basic issues. The Journal of Systems and Software, 39:71–82, 1997.

    Google Scholar 

  3. K. De Bosschere and J.-M. Jacquet. Meta-coordination in the ?Log coordination model. In H. Arabnia, ed., Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Application, Vol. 2. Las Vegas, pp. 761–767. CSREA Press, 2000.

  4. E. Horita, J. de Bakker, and J. Rutten. Fully abstract denotational models for nonuiform concurrent languages. Information and Computation, 115(1):125–178, 1994.

    Google Scholar 

  5. J.-M. Jacquet and K. De Bosschere. On the semantics of ?Log. Future Generation Computer Systems, 10:93–135, 1994.

    Google Scholar 

  6. J.-M. Jacquet and K. De Bosschere. Blackboard relations in the ?Log coordination model. New Generation Computing, 19(1):23–55, 2001.

    Google Scholar 

  7. G. Plotkin. A structured approach to operational semantics. Technical Report DAIMI FN-19. Computer Science Department, Aarhus University. 1981.

  8. B. Robben, B. Vanhaute, W. Joosen, and P. Verbaeten. Non-functional policies. In Proceedings of the Second International Conference on Metalevel Architectures and Reflection, pp. 74–92, Saint Malo, France, 1999.

Download references

Author information

Authors and Affiliations

  1. ELIS Department, Ghent University, Belgium

    K. De Bosschere

  2. Institute of Informatics, University of Namur, Belgium

    J.-M. Jacquet

Authors
  1. K. De Bosschere
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J.-M. Jacquet
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

De Bosschere, K., Jacquet, JM. Suspension Terms as a Means for Meta-coordination in the μLog Coordination Framework. The Journal of Supercomputing 24, 121–129 (2003). https://doi.org/10.1023/A:1021742624322

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1021742624322

Search

Navigation