Skip to main content

Actors and their Composition


Modern environments for modelling and designing concurrent computational systems increasingly support heterogeneous system models, which are characterised by different coordination mechanisms governing the interaction between concurrent components in different parts or at different levels of the model. These interaction semantics, also called models of computation, pose a major challenge to the definition of the meaning of heterogeneous models, especially if such a definition is to be independent of any specific set of models of computation, ways of describing actors, or notations for describing models. This paper makes three main contributions. (1) It presents a framework for describing the semantics of actors and models of computation. Its central notion is the concept of a model of computation as a program transformation that composes actor descriptions into a description of a composite actor. This framework is entirely independent of any specific syntax for describing actors, or any particular modelling language. (2) It uses this framework to describe properties of actor compositions and models of computation, and to classify and analyse them. (3) Finally, it discusses the implications of this theory for the design of languages for describing actors and models of computation.

This is a preview of subscription content, access via your institution.

Author information



Corresponding author

Correspondence to Jörn W. Janneck.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Janneck, J. Actors and their Composition. Formal Aspects of Computing 15, 349–369 (2003).

Download citation


  • Actor
  • Actor language
  • Actor semantics
  • Composition
  • Heterogeneous model; Model
  • Model of computation