Connector colouring. I: Synchronisation and context dependency
From MaRDI portal
Publication:2373643
DOI10.1016/J.SCICO.2007.01.009zbMATH Open1121.68015OpenAlexW2098116976MaRDI QIDQ2373643FDOQ2373643
David G. Costa, Dave Clarke, Farhad Arbab
Publication date: 16 July 2007
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2007.01.009
Recommendations
- Formalizing propagation of priorities in Reo, using eight colors
- 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>
- Reo: a channel-based coordination model for component composition
- A coinductive calculus of component connectors.
- Modeling component connectors in Reo by constraint automata
Cited In (16)
- Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions
- Channel-based coordination via constraint satisfaction
- 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 rewriting with high-level replacement systems
- Coordination models Orc and Reo compared
- Modeling dynamic reconfigurations in Reo using high-level replacement systems
- Connectors as designs: modeling, refinement and test case generation
- A model of context-dependent component connectors
- Tiles for Reo
- Soft constraint automata with memory
- A basic algebra of stateless connectors
- Combine and conquer: relating BIP and Reo
- A perspective on service orchestration
- Comparing three coordination models: Reo, ARC, and PBRD
- Coordination: Reo, Nets, and Logic
- Verification of Context-Dependent Channel-Based Service Models
This page was built for publication: Connector colouring. I: Synchronisation and context dependency
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2373643)
