Combine and conquer: relating BIP and Reo

DOI10.1016/J.JLAMP.2016.09.008zbMATH Open1353.68201OpenAlexW2529998202MaRDI QIDQ347371FDOQ347371

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

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.

zbMATH Keywords

coordinationBIPcorrectness proofsformal translationsReo

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (6)

• Relating BIP and Reo
• Composition of interacting computations
• Data optimizations for constraint automata
• Functional BIP: embedding connectors in functional programming languages
• Coordination: Reo, Nets, and Logic
• Title not available (Why is that?)

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)