Login

ARx: Reactive Programming for Synchronous Connectors
Ref: CISTER-TR-200701       Publication Date: 15 to 19, Jun, 2020

ARx: Reactive Programming for Synchronous Connectors

Ref: CISTER-TR-200701       Publication Date: 15 to 19, Jun, 2020

Abstract:
Reactive programming (RP) languages and Synchronous Coordination (SC) languages share the goal of orchestrating the execution of computational tasks, by imposing dependencies on their execution order and controlling how they share data. RP is often implemented as libraries for existing programming languages, lifting operations over values to operations over streams of values, and providing efficient solutions to manage how updates to such streams trigger reactions, i.e., the execution of dependent tasks. SC is often implemented as a standalone formalism to specify existing component-based architectures, used to analyse, verify, transform, or generate code. These two approaches target different audiences, and it is non-trivial to combine the programming style of RP with the expressive power of synchronous languages.
This paper proposes a lightweight programming language to describe component-based Architectures for Reactive systems, dubbed ARx, which blends concepts from RP and SC, mainly inspired by the Reo coordination language and its composition operation, and with tailored constructs for reactive programs such as the ones found in ReScala. ARx is enriched with a type system and with algebraic data types, and has a reactive semantics inspired in RP. We provide typical examples from both the RP and SC literature, illustrate how these can be captured by the proposed language, and describe a web-based prototype tool to edit, parse, and type check programs, and to animate their semantics.

Authors:
José Proença
,
Guillermina Cledou


Events:

COORDINATION 2020
15, Jun, 2020 >> 19, Jun, 2020
International Conference on Coordination Languages and Models
Online


International Conference on Coordination Languages and Models (COORDINATION), Coordination Languages, pp 39-56.
Online.

DOI:10.1007/978-3-030-50029-0_3.
ISBN: 978-3-030-50029-0.

Notes: Part of the Lecture Notes in Computer Science book series (LNCS, volume 12134)



Record Date: 1, Jul, 2020