Reo

The Reo coordination language. Reo presents a paradigm for composition of distributed software components and services based on the notion of mobile channels. Reo enforces an exogenous channel-based coordination model that defines how designers can build complex coordinators, called connectors, out of simpler ones. Application designers can use Reo as a ”glue code” language for compositional construction of connectors that orchestrate the cooperative behavior of instances of components or services in a component-based system or a service-oriented application.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 88 articles , 2 standard articles )

Showing results 1 to 20 of 88.
Sorted by year (citations)

1 2 3 4 5 next

  1. Bresolin, Davide; Lanese, Ivan: Static and dynamic property-preserving updates (2021)
  2. Dokter, Kasper; Gadducci, Fabio; Lion, Benjamin; Santini, Francesco: Soft constraint automata with memory (2021)
  3. Bodei, Chiara; Brodo, Linda; Bruni, Roberto: The \textttlink-calculus for open multiparty interactions (2020)
  4. Martín, Óscar; Verdejo, Alberto; Martí-Oliet, Narcisco: Compositional specification in rewriting logic (2020)
  5. Marmsoler, Diego; Gidey, Habtom Kashay: Interactive verification of architectural design patterns in FACTum (2019)
  6. Reisig, Wolfgang: Associative composition of components with double-sided interfaces (2019)
  7. Figueiredo, Daniel; Martins, Manuel A.; Barbosa, Luís S.: A note on reactive transitions and Reo connectors (2018)
  8. Jongmans, Sung-Shik: Formalizing propagation of priorities in Reo, using eight colors (2018)
  9. Bresolin, Davide; Lanese, Ivan: Most general property-preserving updates (2017)
  10. Dokter, Kasper; Jongmans, Sung-Shik; Arbab, Farhad; Bliudze, Simon: Combine and conquer: relating BIP and Reo (2017)
  11. Evrard, Hugues; Lang, Frédéric: Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (2017)
  12. Arbab, Farhad: Proper protocol (2016)
  13. Attie, Paul; Baranov, Eduard; Bliudze, Simon; Jaber, Mohamad; Sifakis, Joseph: A general framework for architecture composability (2016)
  14. Cassel, Sofia; Howar, Falk; Jonsson, Bengt; Steffen, Bernhard: Active learning for extended finite state machines (2016)
  15. Chrszon, Philipp; Dubslaff, Clemens; Baier, Christel; Klein, Joachim; Klüppelholz, Sascha: Modeling role-based systems with exogenous coordination (2016)
  16. Jongmans, Sung-Shik T. Q.; Arbab, Farhad: Data optimizations for constraint automata (2016)
  17. Oliveira, Marcel V. M.; Antonino, P.; Ramos, R.; Sampaio, A.; Mota, A.; Roscoe, A. W.: Rigorous development of component-based systems using component metadata and patterns (2016)
  18. Aceto, Luca; Goriac, Eugen-Ioan; Ingolfsdottir, Anna: A ground-complete axiomatization of stateless bisimilarity over Linda (2015)
  19. Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo: A normal form for stateful connectors (2015)
  20. Jongmans, Sung-Shik T. Q.; Arbab, Farhad: Can high throughput atone for high latency in compiler-generated protocol code? (2015) ioport

1 2 3 4 5 next


Further publications can be found at: http://reo.project.cwi.nl/reo/wiki/Publications