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 81 articles , 2 standard articles )

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

1 2 3 4 5 next

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

1 2 3 4 5 next

Further publications can be found at: