Reo: a channel-based coordination model for component composition
From MaRDI portal
Recommendations
- A coinductive calculus of component connectors.
- A specification language for Reo connectors
- Deconstructing <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">R</mml:mi><mml:mi mathvariant="sans-serif">eo</mml:mi></mml:math>
- Modeling component connectors in Reo by constraint automata
- scientific article; zbMATH DE number 2087388
Cited in
(93)- Compositional specification in rewriting logic
- A framework for automated distributed implementation of component-based models
- Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions
- Formal Verification for Components and Connectors
- A modular formal semantics for Ptolemy
- Relating BIP and Reo
- Failure-based equivalence of constraint automata
- scientific article; zbMATH DE number 2087388 (Why is no real title available?)
- Alternating-time stream logic for multi-agent systems
- Formalization of an architectural model for exception handling coordination based on CA action concepts
- Consistent integration of models based on views of meta models
- Channel-based coordination via constraint satisfaction
- Dynamic consistency in process algebra: from paradigm to ACP
- Synthesis of Reo circuits from scenario-based interaction specifications
- On Resource-Sensitive Timed Component Connectors
- A normal form for stateful connectors
- Connector colouring. I: Synchronisation and context dependency
- Modeling component connectors in Reo by constraint automata
- Property specifications for workflow modelling
- Interactive verification of architectural design patterns in FACTum
- A connector algebra for P/T nets interactions
- Most General Property-Preserving Updates
- Regions of Petri nets with a/sync connections
- Probabilistic mediator: a coalgebraic perspective
- A relational model for probabilistic connectors based on timed data distribution streams
- Connector rewriting with high-level replacement systems
- Coordination models Orc and Reo compared
- Modeling dynamic reconfigurations in Reo using high-level replacement systems
- Deconstructing <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">R</mml:mi><mml:mi mathvariant="sans-serif">eo</mml:mi></mml:math>
- Connectors as designs: modeling, refinement and test case generation
- SAT-based verification for timed component connectors
- Symbolic execution of Reo circuits using constraint automata
- A model of context-dependent component connectors
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets
- Compositional construction of most general controllers
- Tiles for Reo
- A specification language for Reo connectors
- Recasting Constraint Automata into Büchi Automata
- Asynchronous stream processing with S-Net
- Soft constraint automata with memory
- An autonomous data language
- Formalizing propagation of priorities in Reo, using eight colors
- Learning to coordinate
- Reo connectors and components as tagged signal models
- Decision problems in a logic for reasoning about reconfigurable distributed systems
- A basic logic for reasoning about connector reconfiguration
- scientific article; zbMATH DE number 2084609 (Why is no real title available?)
- A general framework for architecture composability
- Active learning for extended finite state machines
- Synthesis of Reo circuits from scenario-based specifications
- A formal algebraic approach for the quantitative modeling of connectors in architectures
- Protocol scheduling
- A compositional model to reason about end-to-end QoS in stochastic Reo connectors
- Reo
- A basic algebra of stateless connectors
- A component coordination model based on mobile channels
- Compositional failure-based equivalence of constraint automata
- Partition refinement of component interaction automata
- The \texttt{link}-calculus for open multiparty interactions
- Static and dynamic property-preserving updates
- Capturing stochastic and real-time behavior in Reo connectors
- Modeling role-based systems with exogenous coordination
- Rigorous development of component-based systems using component metadata and patterns
- Abstract behavior types: a foundation model for components and their composition
- Verification of context-dependent channel-based service models
- scientific article; zbMATH DE number 7471673 (Why is no real title available?)
- A ground-complete axiomatization of stateless bisimilarity over Linda
- A coinductive calculus of component connectors.
- Composition of interacting computations
- Connectors as designs
- Formal modeling and conformance validation for WS-CDL using Reo and CASM
- Data optimizations for constraint automata
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
- Combine and conquer: relating BIP and Reo
- Using PVS for Modeling and Verification of Probabilistic Connectors
- Comparing three coordination models: Reo, ARC, and PBRD
- A perspective on service orchestration
- Symbolic model checking for channel-based component connectors
- Formal modeling of evolving self-adaptive systems
- Coordination: Reo, Nets, and Logic
- Automata based model checking for Reo connectors
- Causal semantics for the algebra of connectors
- Traces for coalgebraic components
- Coordinating asynchronous and open distributed systems under semiring-based timing constraints
- Comparing three coordination models: Reo, ARC, and RRD
- Specification and verification of concurrent systems by causality and realizability
- A tutorial on coinductive stream calculus and signal flow graphs
- APML: an architecture proof modeling language
- Associative composition of components with double-sided interfaces
- Overview of thirty semantic formalisms for Reo
- ReLo: a Dynamic Logic to Reason About Reo Circuits
- Causal Semantics for the Algebra of Connectors
- A Theory Agenda for Component-Based Design
This page was built for publication: Reo: a channel-based coordination model for component composition
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4819114)
