Relating BIP and Reo

MaRDI QIDQ5216149zbMATH OpenFDO

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

Publication date 14 February 2020

Full work available at URL https://arxiv.org/abs/1508.04848, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICE2015.3

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Combine and conquer: relating BIP and Reo
• Overview of thirty semantic formalisms for Reo
• Reo: a channel-based coordination model for component composition
• Coordination: Reo, Nets, and Logic
• Connector rewriting with high-level replacement systems

Cited in

(8)

• BCOOPL: A language for controlling component interactions
• Expressiveness of component-based frameworks: a study of the expressiveness of BIP
• Coordination models Orc and Reo compared
• Combine and conquer: relating BIP and Reo
• Coordination: Reo, Nets, and Logic
• scientific article; zbMATH DE number 2087401 (Why is no real title available?)
• scientific article; zbMATH DE number 7440178 (Why is no real title available?)
• Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous

This page was built for publication: Relating BIP and Reo

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