Bigactors - A model for structure-aware computation

TitleBigactors - A model for structure-aware computation
Publication TypeConference Paper
Year of Publication2013
AuthorsPereira, E, Kirsch, CM, Sengupta, R, de Sousa, JBorges
Conference Name2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013
ISBN Number9781450319966

This paper describes a model of computation for structure-aware computing called the BigActor model. The model is a hybrid. It combines the Actor model [1] and the Bigraph model [10]. The contributions of this paper are an operational semantics, an example illustrating how themodel sup- ports the concise programming of a mobile agent working in a ubiquitous computing world, a query language enabling a bigActor to observe the world around it, and a definition giving semantics to the feedback loop in control theory in the context of this model. This is followed by three theorems showing how the operational semantics supports the programming of concurrent mobile agents in the semantics of feedback control.