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.

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

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

1 2 3 4 5 next

  1. Dokter, Kasper; Gadducci, Fabio; Lion, Benjamin; Santini, Francesco: Soft constraint automata with memory (2021)
  2. Bodei, Chiara; Brodo, Linda; Bruni, Roberto: The \textttlink-calculus for open multiparty interactions (2020)
  3. Martín, Óscar; Verdejo, Alberto; Martí-Oliet, Narcisco: Compositional specification in rewriting logic (2020)
  4. Marmsoler, Diego; Gidey, Habtom Kashay: Interactive verification of architectural design patterns in FACTum (2019)
  5. Reisig, Wolfgang: Associative composition of components with double-sided interfaces (2019)
  6. Bresolin, Davide; Lanese, Ivan: Most general property-preserving updates (2017)
  7. Dokter, Kasper; Jongmans, Sung-Shik; Arbab, Farhad; Bliudze, Simon: Combine and conquer: relating BIP and Reo (2017)
  8. Evrard, Hugues; Lang, Frédéric: Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (2017)
  9. Attie, Paul; Baranov, Eduard; Bliudze, Simon; Jaber, Mohamad; Sifakis, Joseph: A general framework for architecture composability (2016)
  10. Cassel, Sofia; Howar, Falk; Jonsson, Bengt; Steffen, Bernhard: Active learning for extended finite state machines (2016)
  11. Jongmans, Sung-Shik T. Q.; Arbab, Farhad: Data optimizations for constraint automata (2016)
  12. 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)
  13. Aceto, Luca; Goriac, Eugen-Ioan; Ingolfsdottir, Anna: A ground-complete axiomatization of stateless bisimilarity over Linda (2015)
  14. Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo: A normal form for stateful connectors (2015)
  15. Jongmans, Sung-Shik T. Q.; Arbab, Farhad: Can high throughput atone for high latency in compiler-generated protocol code? (2015) ioport
  16. Klein, Joachim; Baier, Christel; Klüppelholz, Sascha: Compositional construction of most general controllers (2015)
  17. Sifakis, Joseph; Bensalem, Saddek; Bliudze, Simon; Bozga, Marius: A theory agenda for component-based design (2015)
  18. Moon, Young-Joo; Silva, Alexandra; Krause, Christian; Arbab, Farhad: A compositional model to reason about end-to-end QoS in stochastic Reo connectors (2014)
  19. Bruni, Roberto; Melgratti, Hernan; Montanari, Ugo; Sobocinski, Pawel: Connector algebras for C/E and P/T nets’ interactions (2013)
  20. Bonakdarpour, Borzoo; Bozga, Marius; Jaber, Mohamad; Quilbeuf, Jean; Sifakis, Joseph: A framework for automated distributed implementation of component-based models (2012)

1 2 3 4 5 next

Further publications can be found at: