Generic operational decomposition for concurrent systems: semantics and reflection

Authors:
Annie Marcoux;Christine Maurel;Frédéric Migeon;Patrick Sallé
Affiliations:
Univ. Paul Sabatier, Toulouse Cedex, France;Univ. Paul Sabatier, Toulouse Cedex, France;Univ. Paul Sabatier, Toulouse Cedex, France;Univ. Paul Sabatier, Toulouse Cedex, France
Venue:
Progress in computer research
Year:
2001

Citing 5
Cited 0

Actors: a model of concurrent computation in distributed systems

Actors: a model of concurrent computation in distributed systems
Concepts and experiments in computational reflection

OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Reflection and semantics in LISP

POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Reification: Reflection without metaphysics

LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
A foundation for actor computation

Journal of Functional Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present in this article reflection in concurrent languages, andin particular, in PlasmaII which is an implementation of the actormodel defined by C. Hewitt and G. Agha. We propose to implementstructural and behavioural reflection with an approach based on afine-grained decomposition of actors management. In this reflectivearchitecture, the actor life cycle is described as a system ofcooperative elementary entities that can be easily changed. Thisapproach provides the user with an expressive and concisedescription of reflective programs. The paper describes thisarchitecture and how it is used to fit various paradigms ofconcurrent systems such as the actor model of Hewitt and Agha. Wealso present several examples and emphasize the componentsspecialization leading to black-board communication, ported-objectsystem, or rendezvous synchronization. We also use the semantics ofAgha's actors to formalize components cooperation and its abilityto treat concrete examples. We compare our approach to others suchas facets of CodA or Meta-Interpreters and Meta-Object of ABCL/R3.