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

connectordesignReo circuitstimed data sequence

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) 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

• 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
• Overview of thirty semantic formalisms for Reo
• Algebra and Coalgebra in Computer Science

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)