A coinductive calculus of component connectors.

DOI10.1007/B94458MaRDI QIDQ5900818zbMATH OpenOpenAlexFDO

Authors Farhad Arbab, Jan J. M. M. Rutten

Publication date 20 April 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b94458

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Reo: a channel-based coordination model for component composition
• A specification language for Reo connectors
• Modeling component connectors in Reo by constraint automata
• 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>
• Connector colouring. I: Synchronisation and context dependency

Cited in

(38)

• A relational model for probabilistic connectors based on timed data distribution streams
• A note on reactive transitions and Reo connectors
• Formalizing propagation of priorities in Reo, using eight colors
• Reo connectors and components as tagged signal models
• A semantic model for interacting cyber-physical systems
• From symbolic constraint automata to Promela
• A formal framework for distributed cyber-physical systems
• A formal approach to the engineering of domain-specific distributed systems
• Connector colouring. I: Synchronisation and context dependency
• A perspective on service orchestration
• Symbolic model checking for channel-based component connectors
• A tutorial on coinductive stream calculus and signal flow graphs
• A formal framework for interactive agents
• Comparing three coordination models: Reo, ARC, and RRD
• A specification language for Reo connectors
• Connectors as designs
• Tiles for Reo
• Automata based model checking for Reo connectors
• Combine and conquer: relating BIP and Reo
• Coordination: Reo, Nets, and Logic
• Linear Temporal Logic of Constraint Automata
• Connectors as designs: modeling, refinement and test case generation
• Symbolic execution of Reo circuits using constraint automata
• A model of context-dependent component connectors
• scientific article; zbMATH DE number 2087388 (Why is no real title available?)
• Reo: a channel-based coordination model for component composition
• Capturing stochastic and real-time behavior in Reo connectors
• Synthesis of Reo circuits from scenario-based specifications
• Coordinating asynchronous and open distributed systems under semiring-based timing constraints
• Formal modeling and conformance validation for WS-CDL using Reo and CASM
• Generic Programming
• Synthesis of Reo circuits from scenario-based interaction specifications
• On Resource-Sensitive Timed Component Connectors
• Soft constraint automata with memory
• Comparing three coordination models: Reo, ARC, and PBRD
• ReLo: a Dynamic Logic to Reason About Reo Circuits
• Runtime composition of systems of interacting cyber-physical components
• A basic algebra of stateless connectors

This page was built for publication: A coinductive calculus of component connectors.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5900818)