Towards a bigraphical encoding of actors

Sevegnani, M. and Pereira, E. (2014) Towards a bigraphical encoding of actors. In: MeMo2014: 1st International Workshop on Meta Models for Process Languages, Berlin, Germany, 6 June 2014, (Unpublished)

Abstract

Actors are self-contained, concurrently interacting entities of a computing system. They can perform local computations, communicate via asynchronous message passing with other actors and can be dynamically created. Bigraphs are a fully graphical process algebraic formalism, capable of representing both the position in space of agents and their inter-connections. Their behaviour is specified by a set of reaction rules. In this paper, we present a bigraphical encoding of a simplified actor language with static topology. We express actor configurations in terms of sorted bigraphs while the rules of the actor operational semantics are encoded by bigraphical reactive rules.

• Item Type: Conference Proceedings
• Status: Unpublished
• Refereed: Yes
• Glasgow Author(s) Enlighten ID: Sevegnani, Dr Michele
• Authors: Sevegnani, M., and Pereira, E.
• College/School: College of Science and Engineering > School of Computing Science
• Copyright Holders: Copyright © 2014 The Authors
• Publisher Policy: Reproduced with the permission of the authors.