Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications

John Field, Maria Cristina Marinescu, Christian Stefansen

Research output: Book chapterConference contributionpeer-review

2 Citations (Scopus)

Abstract

Our aim is to define the kernel of a simple and uniform programming model-the reactor model-suitable for building and evolving internet-scale programs. A reactor consists of two principal components: mutable state, in the form of a fixed collection of relations, and code, in the form of a fixed collection of rules in the style of datalog. A reactor's code is executed in response to an external stimulus, which takes the form of an attempted update to the reactor's state. As in classical process calculi, the reactor model accommodates collections of distributed, concurrently executing processes. However, unlike classical process calculi, our observable behaviors are sequences of states, rather than sequences of messages. Similarly, the interface to a reactor is simply its state, rather than a collection of message channels, ports, or methods. One novel feature of our model is the ability to compose behaviors both synchronously and asynchronously. Also, our use of datalog-style rules allows aspect-like composition of separately-specified functional concerns in a natural way.

Original languageEnglish
Title of host publicationCoordination Models and Languages - 9th International Conference, COORDINATION 2007, Proceedings
PublisherSpringer Verlag
Pages76-95
Number of pages20
ISBN (Print)3540727930, 9783540727934
DOIs
Publication statusPublished - 2007
Externally publishedYes
Event9th International Conference on Coordination Models and Languages, COORDINATION 2007 - Paphos, Cyprus
Duration: 6 Jun 20078 Jun 2007

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4467 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference9th International Conference on Coordination Models and Languages, COORDINATION 2007
Country/TerritoryCyprus
CityPaphos
Period6/06/078/06/07

Fingerprint

Dive into the research topics of 'Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications'. Together they form a unique fingerprint.

Cite this