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 76 articles , 1 standard article )

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

1 2 3 4 next

  1. Bresolin, Davide; Lanese, Ivan: Most general property-preserving updates (2017)
  2. Dokter, Kasper; Jongmans, Sung-Shik; Arbab, Farhad; Bliudze, Simon: Combine and conquer: relating BIP and Reo (2017)
  3. Evrard, Hugues; Lang, Frédéric: Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (2017)
  4. Attie, Paul; Baranov, Eduard; Bliudze, Simon; Jaber, Mohamad; Sifakis, Joseph: A general framework for architecture composability (2016)
  5. Cassel, Sofia; Howar, Falk; Jonsson, Bengt; Steffen, Bernhard: Active learning for extended finite state machines (2016)
  6. Jongmans, Sung-Shik T. Q.; Arbab, Farhad: Data optimizations for constraint automata (2016)
  7. 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)
  8. Aceto, Luca; Goriac, Eugen-Ioan; Ingolfsdottir, Anna: A ground-complete axiomatization of stateless bisimilarity over Linda (2015)
  9. Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo: A normal form for stateful connectors (2015)
  10. Jongmans, Sung-Shik T. Q.; Arbab, Farhad: Can high throughput atone for high latency in compiler-generated protocol code? (2015)
  11. Klein, Joachim; Baier, Christel; Klüppelholz, Sascha: Compositional construction of most general controllers (2015)
  12. Sifakis, Joseph; Bensalem, Saddek; Bliudze, Simon; Bozga, Marius: A theory agenda for component-based design (2015)
  13. Bruni, Roberto; Melgratti, Hernan; Montanari, Ugo; Sobocinski, Pawel: Connector algebras for C/E and P/T nets’ interactions (2013)
  14. Bonakdarpour, Borzoo; Bozga, Marius; Jaber, Mohamad; Quilbeuf, Jean; Sifakis, Joseph: A framework for automated distributed implementation of component-based models (2012)
  15. Bonsangue, Marcello; Clarke, Dave; Silva, Alexandra: A model of context-dependent component connectors (2012)
  16. Groote, Jan Friso; Kouters, Tim W. D. M.; Osaiweran, Ammar: Specification guidelines to avoid the state space explosion problem (2012)
  17. Kemper, Stephanie: SAT-based verification for timed component connectors (2012)
  18. Khakpour, Narges; Jalili, Saeed; Talcott, Carolyn; Sirjani, Marjan; Mousavi, Mohammadreza: Formal modeling of evolving self-adaptive systems (2012)
  19. Kleijn, Jetty; Koutny, Maciej; Pietkiewicz-Koutny, Marta: Regions of Petri nets with a/sync connections (2012)
  20. Kokash, Natallia; Krause, Christian; De Vink, Erik: Reo + $\mathrmmCRL2$: a framework for model-checking dataflow in service compositions (2012)

1 2 3 4 next

Further publications can be found at: