Towards a bigraphical encoding of actors

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.

[1]  Robin Milner,et al.  Local Bigraphs and Confluence: Two Conjectures: (Extended Abstract) , 2007, EXPRESS.

[2]  Brian Nielsen,et al.  Semantics for an actor-based real-time language , 1996, Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems.

[3]  Christoph M. Kirsch,et al.  Bigactors — A model for structure-aware computation , 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

[4]  Jan A. Bergstra,et al.  Term-Rewriting Systems with Rule Priorities , 1989, Theor. Comput. Sci..

[5]  Robin Milner,et al.  Bigraphs for Petri Nets , 2003, Lectures on Concurrency and Petri Nets.

[6]  Lars Birkedal,et al.  Bigraphical Models of Context-Aware Systems , 2006, FoSSaCS.

[7]  Muffy Calder,et al.  Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing , 2012, Formal Aspects of Computing.

[8]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[9]  Carolyn L. Talcott,et al.  A foundation for actor computation , 1997, Journal of Functional Programming.

[10]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[11]  Muffy Calder,et al.  Real-time verification of wireless home networks using bigraphs with sharing , 2014, Sci. Comput. Program..

[12]  Robin Milner,et al.  The Space and Motion of Communicating Agents , 2009 .