Reo is a channel-based exogenous coordination language.


This page provides a selected overview of projects in which Reo is involved. More projects can be found by exploring the project overview here.

If you would like your project to be included, please contact us.


Detection and Diagnosis of Deviations in Distributed Systems of Autonomous Agents (DeDeA)

DeDeA aims to develop a formal framework for specifying and reasoning about autonomous cyber-physical agent systems. Given the uncertain world, a binary notion of satisfaction of goals or compliance to a specification is not realistic. Instead, a protocol should specify a set of acceptable executions, perhaps with a measure of satisfaction or acceptability.

For more information, read Arbab’s article in ERCIM News.

Evolutionary Changes in Distributed Analysis (ECiDA)

Presently, data processing pipelines have to be restarted whenever they are updated, which can be very expensive. ECiDA is an NWO-funded project that aims to develop a platform for on-the-fly updatable data processing pipelines. In this project, Reo will be used to verify whether pipeline reconfigurations preserve important properties. ECiDA is a collaboration between Rijksuniversiteit Groningen, CWI, TNO Groningen, Vitens N.V., and Anchormen.

For more information see this CWI news post or the official Commit2Data program page.


Reowolf provides an application programming interface (API) that replaces BSD-style sockets. Reowolf aims to valorize existing research results on Reo, and to provide useful tools for the Internet community to develop trustworthy multi-party communication protocols.

For more information, see a technical overview.


The Credo project

The objective of the Credo project was the development and application of an integrated suite of tools for compositional modelling, testing, and validation of software for evolving networks of dynamically reconfigurable components.

For more information, see the official project page.

Synthesis and Analysis of Component Connectors (SYANCO)

The SYANCO project was concerned with the development of a universal framework to support the synthesis and analysis of complex systems composed of heterogeneous components at various levels of abstraction. It was a bilateral DFG-NWO project coordinated by the CWI and the TU Dresden. The primary focus was on Reo as a glue code composition language.

For more information, see this description on the website of the TU Dresden.

Coordination With Performance Guarantees (CooPer)

Quality of service is difficult to guarantee in large distributed systems that suffer from resource scarcity. The purpose of the CooPer project was to develop a coordination model that monitors and manages quality of service. Reo was used as the basis coordination language.

For more information, see the project page at NWO (in Dutch).

Coordination and Composition of Multi-Agent Systems (CoCoMAS)

The CoCoMAS project addressed the design, development and integration of executable coordination models at various levels within multi-agent systems. This is useful, for example, for evaluating incident management strategies, in which it is crucial that many different organizations are coordinated effectively. Reo was used as the basis coordination language.

For more information, see this NARCIS archive entry or the project page at NWO (in Dutch).

Workflow Management for Large Parallel and Distributed Applications (WoMaLaPaDiA)

The WoMaLaPaDiA project sought to unify the coordination approaches found in the field of grid computing on the one hand, and workflow management on the other. In particular, an integration of the Reo and YAWL technologies was pursued.

For more information, see the project page at NWO (in Dutch).