Combine and conquer: relating BIP and Reo

DOI10.1016/J.JLAMP.2016.09.008MaRDI QIDQ347371zbMATH OpenOpenAlexFDO

Authors Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze

Publication date 30 November 2016

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlamp.2016.09.008

zbMATH Keywords

BIPcoordinationcorrectness proofsformal translationsReo

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Relating BIP and Reo
• Reo: a channel-based coordination model for component composition
• Overview of thirty semantic formalisms for Reo
• Coordination: Reo, Nets, and Logic
• A coinductive calculus of component connectors.

Cites work

• Algebra of communicating processes with abstraction
• An overview of the mCRL2 toolset and its recent advances
• Comparing three coordination models: Reo, ARC, and PBRD
• Configuration and dynamic reconfiguration of components using the coordination paradigm
• Connector algebras, Petri nets, and BIP
• Connector colouring. I: Synchronisation and context dependency
• Coordination models Orc and Reo compared
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 821282 (Why is no real title available?)
• Integrated structure and semantics for Reo connectors and Petri nets
• Modeling component connectors in Reo by constraint automata
• Overview of thirty semantic formalisms for Reo
• Relating BIP and Reo
• Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions
• Reo: a channel-based coordination model for component composition
• Synthesis of Reo connectors for strategies and controllers
• Tiles for Reo

Cited in

(6)

• Functional BIP: embedding connectors in functional programming languages
• Data optimizations for constraint automata
• Coordination: Reo, Nets, and Logic
• scientific article; zbMATH DE number 2087401 (Why is no real title available?)
• Composition of interacting computations
• Relating BIP and Reo

Describes a project that uses

Uses Software

• mCRL2
• Reo

This page was built for publication: Combine and conquer: relating BIP and Reo

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