BigActors: a model for structure-aware computation

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 the model supports the con...

Full description

Saved in:
Bibliographic Details
Main Authors: Pereira, Eloi, Kirsch, Christoph M., de Sousa, João Borges, Sengupta, Raja
Format: Conference Proceeding
Language:English
Subjects:
Abstracts
Computational modeling
Computing methodologies > Machine learning > Machine learning approaches > Neural networks
Concrete
Context
Face
Hardware > Emerging technologies > Circuit substrates > Cellular neural networks
Semantics
Software and its engineering > Software notations and tools > Formal language definitions > Semantics
Theory of computation > Models of computation
Theory of computation > Semantics and reasoning
Theory of computation > Semantics and reasoning > Program semantics
Theory of computation > Theory and algorithms for application domains > Machine learning theory
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 the model supports 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.
DOI:10.1145/2502524.2502551