Connectors as designs

zbMATH Open1364.68140MaRDI QIDQ2989004FDOQ2989004

Authors: Sun Meng, Farhad Arbab 

Publication date: 19 May 2017

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066109004484?np=y

Recommendations

• Connectors as designs: modeling, refinement and test case generation
• Overview of thirty semantic formalisms for Reo
• Reo: a channel-based coordination model for component composition
• A coinductive calculus of component connectors.
• A specification language for Reo connectors

zbMATH Keywords

designconnectorReo circuitstimed data sequence

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (3)

• Connectors as designs: modeling, refinement and test case generation
• Algebra and Coalgebra in Computer Science
• Overview of thirty semantic formalisms for Reo

Uses Software

• Reo
• Circus

This page was built for publication: Connectors as designs

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