Connectors as designs

MaRDI QIDQ2989004zbMATH OpenFDO

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

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)

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

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

Describes a project that uses

Uses Software

• Circus
• Reo

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)