Filters








51 Hits in 5.9 sec

Comparing Three Coordination Models: Reo, ARC, and RRD

Carolyn Talcott, Marjan Sirjani, Shangping Ren
2008 Electronical Notes in Theoretical Computer Science  
Reo is a channel-based exogenous coordination model for component composition. In Reo, complex connectors are compositionally built out of simpler ones.  ...  The emphasis in Reo is on the connectors, and the coordination and communication patterns which they impose on the components, but not on the components which are the coordinatees.  ...  Mixed nodes cannot be used as ports and are not available for other components to connect to. Assuming a Reo connector as a component, we may talk about ports of a connector.  ... 
doi:10.1016/j.entcs.2008.03.098 fatcat:pqqml55e2rblpcavl65n4r2bmi

Automated Verification = Graphs, Automata, and Logic [chapter]

Moshe Y. Vardi
2000 Lecture Notes in Computer Science  
Using algebraic structures on preferences and actions, we can compose formal representations of individual components or agents to obtain a representation of the composed system, exhibiting intuitively  ...  Lastly, we implement a toolchain that compiles our automata to Maude, allowing us to apply the rich model checking capability of Maude to verify agent behavior.  ...  Acknowledgements The authors would like to thank Vivek Nigam and the anonymous referees for their valuable feedback.  ... 
doi:10.1007/3-540-44622-2_8 fatcat:77aurtsjlrdg3mnyr2nmwxugaq

Soft component automata: Composition, compilation, logic, and verification

Tobias Kappé, Benjamin Lion, Farhad Arbab, Carolyn Talcott
2019 Science of Computer Programming  
Using algebraic structures on preferences and actions, we can compose formal representations of individual components or agents to obtain a representation of the composed system, exhibiting intuitively  ...  Lastly, we implement a toolchain that compiles our automata to Maude, allowing us to apply the rich model checking capability of Maude to verify agent behavior.  ...  Acknowledgements The authors would like to thank Vivek Nigam and the anonymous referees for their valuable feedback.  ... 
doi:10.1016/j.scico.2019.08.001 fatcat:w7yk633v2veovivyjsfpp6jeum

Causality interfaces for actor networks

Ye Zhou, Edward A. Lee
2008 ACM Transactions on Embedded Computing Systems  
In continuous-time (CT) models, such as those specified in Simulink (from The MathWorks) and Modelica [Tiller 2001] , components interact via (semantically) continuous-time signals, and execution engines  ...  In the actor model, components have their own thread of control and interact via message passing.  ...  Instruments, and Toyota.  ... 
doi:10.1145/1347375.1347382 fatcat:ujk3fvnp7fahhhx7laadwffdoe

Connectors meet Choreographies [article]

Farhad Arbab and Luís Cruz-Filipe and Sung-Shik Jongmans and Fabrizio Montesi
2018 arXiv   pre-print
We present Cho-Reo-graphies (CR), a new language model that unites two powerful programming paradigms for concurrent software based on communicating processes: Choreographic Programming and Exogenous Coordination  ...  In CR, programmers specify the desired communications among processes using a choreography, and define how communications should be concretely animated by connectors given as constraint automata (e.g.,  ...  If all interactions in a choreography transpire through the same (type of) connector, as in all existing choreography approaches, tags become redundant and can be omitted.  ... 
arXiv:1804.08976v1 fatcat:nryyelilpvhrdk342jupdk5k5m

Constraint automata with memory cells and their composition

S.-S.T.Q. Jongmans, T. Kappé, F. Arbab
2017 Science of Computer Programming  
A source node of a connector connects to an output port of a component, which will act as its data source.  ...  Similarly, a sink node of a connector connects to an input port of a component, which will act as its data sink.  ...  , whenever we use constraint automata w/mc specifically to model Reo connectors).  ... 
doi:10.1016/j.scico.2017.03.006 fatcat:iyndmcz7obfajoa6f5yf64zhzu

Reowolf 1.0 Project Code and Documentation [article]

Christopher A. Esterhuyse, Hans-Dieter A. Hiep
2020 Zenodo  
This repository serves as the documentation and specification of the Reowolf project, aiming to provide connectors as a generalization of BSD-sockets for multi-party communication over the Internet.  ...  A copy of the source code repository of version v1.0.0, and an overview presentation and its slides, are included. This repository comprises the final deliverables of the Reowolf 1.0 project.  ...  Reo: a channel-based coordination model for component composition. Kasper Dokter and Farhad Arbab.  ... 
doi:10.5281/zenodo.4160607 fatcat:ru22q2jfxfdqfk67wn4vfoiwxq

Orchestrating nomadic mashups using workflows

Eline Philips, Andoni Lombide Carreton, Niels Joncheere, Wolfgang De Meuter, Viviane Jonckers
2010 Proceedings of the 3rd and 4th International Workshop on Web APIs and Services Mashups - Mashups '09/'10  
Its transient connections and connection volatility result in a highly dynamic environment where services can appear and disappear at any point in time.  ...  The consequence is that these services must be discovered at runtime in an ad hoc fashion and must execute asynchronously to prevent a disconnected service to block the execution of an entire mashup.  ...  Acknowledgements This research is partly funded by Alcatel-Lucent Belgium and the Institute for the Promotion of Innovation through Science and Technology in Flanders (IWT-Vlaanderen) through the DIY-SE  ... 
doi:10.1145/1944999.1945000 dblp:conf/ecows/PhilipsCJMJ10 fatcat:izlj3kzxuvd4dend2xbr4fjapa

A Hybrid Visual Dataflow Language for Coordination in Mobile Ad Hoc Networks [chapter]

Andoni Lombide Carreton, Theo D'Hondt
2010 Lecture Notes in Computer Science  
Because of the dynamic nature of mobile ad hoc networks and the applications running on top of them, these applications have to be conceived as event-driven architectures.  ...  Such architectures are hard to program because coordination between concurrent and distributed mobile components has to be expressed by means of event handlers or callbacks.  ...  Reo is based on the notion of mobile channels and has a coordination model wherein complex coordinators, called connectors, are compositionally built out of simpler ones (where the simplest ones are channels  ... 
doi:10.1007/978-3-642-13414-2_6 fatcat:5fhfqmk3ijh5tewcdqg7o3xp44

Software Connectors for Highly Distributed and Voluminous Data Intensive Systems

Chris Mattmann
2006 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06)  
Arbab's work on the Reo [22] channel coordination system and the work by Lau et al. [27] are supplementary theoretical models for combining connectors.  ...  Rosenblum's model is particularly geared towards software components, admittedly neglecting to focus on other architectural elements such as software connectors and configurations.  ...  Appendix Classification of Distribution Connector Instances  ... 
doi:10.1109/ase.2006.62 dblp:conf/kbse/Mattmann06 fatcat:hd572e7qirabjmu7wk6jci65ay

Message Driven Programming with S-Net: Methodology and Performance

Frank Penczek, Stephan Herhut, Sven-Bodo Scholz, Alex Shafarenko, JungSook Yang, Chun-Yi Chen, Nader Bagherzadeh, Clemens Grelck
2010 2010 39th International Conference on Parallel Processing Workshops  
We find this remarkable as under S-NET communication, concurrency and synchronization are completely separated from algorithmic code.  ...  We argue that our approach delivers a flexible component technology which liberates application developers from the logistics of task and data management while at the same time making it unnecessary for  ...  A simple fork-join model in S-NET We create three major components, a splitter, a solver, and a merger and we combine these in a pipeline-like fashion as shown in Figure 2 .  ... 
doi:10.1109/icppw.2010.61 dblp:conf/icppw/PenczekHSSYCBG10 fatcat:4art7shhpjbj5ci5xlyavfsxiy

Reowolf Project Documentation [article]

Christopher A. Esterhuyse, Hans-Dieter A. Hiep
2020 Zenodo  
This document serves as the documentation and specification of the Reowolf project, aiming to provide connectors as a generalization of BSD-sockets for multi-party communication over the Internet.  ...  The document and source code repository are a work in progress, and is extended further as the project develops. A copy of the source code repository is included.  ...  The Table Model We introduce the table model for reasoning about stateful execution in PDL components and connectors.  ... 
doi:10.5281/zenodo.3742165 fatcat:caghprizancejpstx5xo547wp4

The Many Faces of Complexity in Software Design [chapter]

José Luiz Fiadeiro
2012 Conquering Complexity  
/component based programming and, more recently, service-oriented architectures.  ...  The terms 'component', 'decomposition', 'structure' and 'architecture' have been associated with methods and techniques proposed over the years to defeat the crisis, from structured programming to object  ...  Acknowledgements Section 1.4 contains material extracted from papers co-authored with Antónia Lopes and Michel Wermelinger, and Section 1.5 from papers co-authored with Antónia Lopes, Laura Bocchi and  ... 
doi:10.1007/978-1-4471-2297-5_1 fatcat:b2qq5rmdvjhrbpchfctwmj5yca

Reowolf Project Code and Documentation [article]

Christopher A. Esterhuyse, Hans-Dieter A. Hiep
2020 Zenodo  
This document serves as the documentation and specification of the Reowolf project, aiming to provide connectors as a generalization of BSD-sockets for multi-party communication over the Internet.  ...  The document and source code repository are a work in progress, and is extended further as the project develops. A copy of the source code repository is included.  ...  The Table Model We introduce the table model for reasoning about stateful execution in PDL components and connectors.  ... 
doi:10.5281/zenodo.3927859 fatcat:fylnluofw5cz5ff6qdbh3ygfx4

Reowolf Project Code and Documentation [article]

Christopher A. Esterhuyse, Hans-Dieter A. Hiep
2020 Zenodo  
This document serves as the documentation and specification of the Reowolf project, aiming to provide connectors as a generalization of BSD-sockets for multi-party communication over the Internet.  ...  The document and source code repository are a work in progress, and is extended further as the project develops. A copy of the source code repository is included.  ...  The Table Model We introduce the table model for reasoning about stateful execution in PDL components and connectors.  ... 
doi:10.5281/zenodo.3927858 fatcat:oke3vxocubhvlladmjieqvab34
« Previous Showing results 1 — 15 out of 51 results