Reo has an extensive tool development history. We include a selected overview.
Our most recent Reo compiler maps a textual specification of some Reo connectors to an implementation in a target language of choice. The current version of the compiler supports code generation for Java, Promela (the input language for the SPIN model checker), and Maude. The compiler can be easily extended to support additional target languages.
The Extensible Coordination Tools (ECT) are a set of plug-ins for the Eclipse platform. The ECT supports:
The figure below shows a so-called ‘alternator’ connector that was designed using the graphical editor of the ECT, and also shows the subsequently automatically generated animation.
The ECT is officially deprecated, in part because we intend to eliminate the dependencies on Eclipse and Flash. Nonetheless, it is still instructive to read the legacy documentation, as it showcases how Reo has been (and can be) applied.
The source code for the project is available at the ReoLive GitHub repository, and a functional snapshot can be found here, which already supports a graphical Reo circuit editor and conversions into automata and the mCRL2 model checking language. For more information, also see .
Dreams (an acronym for ‘distributed runtime evaluation of atomic multiple steps’), also called the Distributed Reo Engine, is a decentralised, actor-based framework in which coordination primitives execute in a distributed environment. The framework decouples certain executions within Reo circuits, achieving greater scalability and allowing for more flexible reconfigurations.
The framework is no longer maintained. For more information, see ,  or the information on the legacy website. Related source code is available at the GitHub repositories ip-constraints and picc.
Vereofy is a formal verification tool developed by the TU-Dresden in the context of the EU project Credo and the DFG/NWO-project SYANCO. The model checker can be used as a stand-alone tool, or via an Eclipse plug-in that integrates with the ECT. For more information on Vereofy, visit the official homepage.