Filters








1,018 Hits in 3.7 sec

Reo: a channel-based coordination model for component composition

FARHAD ARBAB
2004 Mathematical Structures in Computer Science  
Reo is a channel-based exogenous coordination model in which complex coordinators, called connectors, are compositionally built out of simpler ones.  ...  In this paper, we present Reo, which forms a paradigm for composition of software components based on the notion of mobile channels.  ...  For example, suppose a component instance, C , is connected to a node N where [N ] = {a, b, c} Reo: a channel-based coordination model for component composition 347 out of which C knows only the channel  ... 
doi:10.1017/s0960129504004153 fatcat:5rvhqzi5eva3jnkcfksj3v5tom

Deconstructing Reo

Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab
2009 Electronical Notes in Theoretical Computer Science  
Coordination in Reo emerges from the composition of the behavioural constraints of the primitives, such as channels, in a component connector.  ...  In fact, decomposing Reo into constraints provides a new computational model for connectors, which we extend to model interaction with an unknown external world beyond what is currently possible in Reo  ...  Reo Coordination Model Reo [5, 6] is a channel-based coordination model, wherein coordinating connectors are constructed compositionally out of more primitive connectors.  ... 
doi:10.1016/j.entcs.2009.06.028 fatcat:gl7fhehyobcnzom7uytlgftfra

IMC Reo : interactive Markov chains for Stochastic Reo

Nuno Oliveira, Alexandra Silva, Luís Soares Barbosa
2015 Journal of Internet Services and Information Security  
Reo and Stochastic Reo Reo [5, 1, 2] is a channel-based model for exogenous coordination.  ...  Stochastic Reo offers constructs for component and service coordination and provides means for specification of stochastic values for software connectors.  ...  We thank Farhad Arbab for several suggestions and comments.  ... 
doi:10.22667/jisis.2015.02.31.003 dblp:journals/jisis/OliveiraSB15 fatcat:xu5opjrknzd7xbvt6l2vwszcwy

Reo Based Interaction Model

Silvia Amaro, Ernesto Pimentel, Ana M. Roldan
2006 Electronical Notes in Theoretical Computer Science  
In this context we propose the use of Reo, a channel-based coordination model, to specify the interactive behavior of software components.  ...  Our aim is to define an interaction description language based on Reo for component coordination.  ...  Reo [1] is a channel-based coordination model which enforces the use of connectors for the coordination of concurrent processes or com-ponent instances in a component-based system.  ... 
doi:10.1016/j.entcs.2006.05.012 fatcat:6pmnrwodf5etffnebjouakzdm4

Relating BIP and Reo

Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze
2015 Electronic Proceedings in Theoretical Computer Science  
Particularly, exogenous coordination languages, like BIP and Reo, enable system designers to express the interactions among components in a system explicitly.  ...  In this paper we establish a formal relation between BI(P) (i.e., BIP without the priority layer) and Reo, by defining transformations between their semantic models.  ...  Reo is a language for compositional specification of coordination protocols, i.e., protocols modeling the synchronization and dataflow among multiple components.  ... 
doi:10.4204/eptcs.189.3 fatcat:6nekohwkyvav5ajgpib5tn4jc4

Tiles for Reo [chapter]

Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari
2009 Lecture Notes in Computer Science  
Reo is an exogenous coordination model for software components.  ...  A mapping of a fragment of Reo into the Tile Model has been already presented in [4] .  ...  Introduction Reo [1, 7, 8] is an exogenous coordination model for software components. It is based on channel-like connectors that mediate the flow of data and signals among components.  ... 
doi:10.1007/978-3-642-03429-9_4 fatcat:dg4ieu555zbbrbqpipsxyvjngi

Reconfiguring Distributed Reo Connectors [chapter]

Christian Koehler, Farhad Arbab, Erik de Vink
2009 Lecture Notes in Computer Science  
In this paper, we propose a framework for modeling reconfigurable, distributed Reo connectors.  ...  In this paper, we present a framework for the modeling of distributed, self-reconfigurable connectors based on algebraic graph transformations.  ...  Our approach to coordination achieved by Reo connectors and their dynamic reconfiguration fits in the framework of runtime software adaptation [12, 13] for component-based software engineering.  ... 
doi:10.1007/978-3-642-03429-9_15 fatcat:6keafxuuv5gxjanss74meyd43y

Coordination Models Orc and Reo Compared

José Proença, Dave Clarke
2008 Electronical Notes in Theoretical Computer Science  
Orc and Reo are two complementary approaches to the problem of coordinating components or services.  ...  The question of how Orc and Reo relate to each other naturally arises. In this paper, we present a detailed comparison between the two models.  ...  Reo is a channel-based coordination language designed by Arbab [Arb04] that is based on a simple notion of channel composition.  ... 
doi:10.1016/j.entcs.2008.03.099 fatcat:jahuxisbybdarfjm5ggr7kug74

Quantitative analysis of Reo-based service coordination

Nuno Oliveira, Alexandra Silva, Luís S. Barbosa
2014 Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14  
Stochastic Reo offers constructs for service coordination and allows the specification of stochastic values for channels. But its state-of-the-art semantic models fail in several (important) ways.  ...  In this paper, we will see how Interactive Markov chains (IMC), proposed as a stochastic compositional model of concurrency, can be effectively used to serve as a compositional semantic model for Stochastic  ...  We thank Farhad Arbab for several suggestions and comments.  ... 
doi:10.1145/2554850.2555025 dblp:conf/sac/OliveiraSB14 fatcat:ywtalv46ivgqnf2o2xwlhwfage

Compositional failure-based semantic equivalences for Reo specifications

Mohammad Izadi, Ali Movaghar
2007 Proceedings of the 2007 conference on Specification and verification of component-based systems 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering - SAVCBS '07  
Reo is a coordination language for modeling component connectors of component-based computing systems.  ...  We show that the failure-based equivalences NDFD and CFFD are congruences with respect to composition operators of Reo.  ...  Reo, as one of the most recently proposed coordination languages, is a channel based exogenous coordination language in which complex coordinators are compositionally built out of simpler ones [1, 2,  ... 
doi:10.1145/1292316.1292329 dblp:conf/sigsoft/IzadiM07 fatcat:yxifaepfyfb3hbw2ggxdksy3ay

Checking Equivalence for Reo Networks

Tobias Blechmann, Christel Baier
2008 Electronical Notes in Theoretical Computer Science  
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of the components by means  ...  We present a compositional approach for the generation of a symbolic representation of constraint automata for Reo networks and report on an implementation that realizes a partitioning splitter technique  ...  Acknowledgement We like to thank Jörn Ossowski for his help implementing the pattern equivalence operator for his OBDD library.  ... 
doi:10.1016/j.entcs.2008.06.029 fatcat:ch6tokqufvhetfx37ssrdg5jwa

Comparing three coordination models: Reo, ARC, and PBRD

Carolyn Talcott, Marjan Sirjani, Shangping Ren
2011 Science of Computer Programming  
Three models of coordination -Reo, Actors-Roles-Coordinators (ARC), and Policy-based Russian Dolls (PBRD) -are compared and contrasted according to a set of coordination features.  ...  Mappings between their semantic models are defined. Use of the models is illustrated by a small case study.  ...  General overview of models. Fig. 1 gives a graphical impression of the Reo, ARC, and PBRD. Reo is a channel-based exogenous coordination model for component composition.  ... 
doi:10.1016/j.scico.2009.11.006 fatcat:rpgyr3s6yra63bbmwbj7fwi3pe

Coordination: Reo, Nets, and Logic [chapter]

Dave Clarke
2008 Lecture Notes in Computer Science  
The second part re-examines the idea of using linear logic as a basis for coordination languages.  ...  This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL).  ...  In any case, there is no natural semantics for Reo-Reo makes sense only when given a semantic model, and an encoding of channel semantics and composition in that model-so we pursue but a reasonable model  ... 
doi:10.1007/978-3-540-92188-2_10 fatcat:d54sshpy4fbnrn3q5tkrwhum64

Combine and conquer: Relating BIP and Reo

Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze
2017 Journal of Logical and Algebraic Methods in Programming  
Particularly, exogenous coordination languages, like BIP and Reo, enable system designers to express the interactions among components in a system explicitly.  ...  A formal relation between exogenous coordination languages comprises the basis for a solid comparison and consolidation of their fundamental concepts.  ...  This means that a stateful channel in Reo must translate to a coordinating component. In fact, we may encode an entire generic Reo connector as one such component.  ... 
doi:10.1016/j.jlamp.2016.09.008 fatcat:kl2gcc5rnjhf5eunl6avl5sy7q

Treo: Textual Syntax for Reo Connectors

Kasper Dokter, Farhad Arbab
2018 Electronic Proceedings in Theoretical Computer Science  
Reo is an interaction-centric model of concurrency for compositional specification of communication and coordination protocols.  ...  Although a number of Reo-inspired syntax alternatives have appeared in the past, none of them follows the primary design principles of Reo: a) declarative specification; b) all channel types and their  ...  In this paper, we introduce Treo, a declarative textual language for component-based specification of Reo connectors with user-defined semantic sorts and predefined node behavior.  ... 
doi:10.4204/eptcs.272.10 fatcat:yltjreulrvcdrnekxpoevifr7m
« Previous Showing results 1 — 15 out of 1,018 results