Connectors as designs: modeling, refinement and test case generation

DOI10.1016/J.SCICO.2011.04.002MaRDI QIDQ433336zbMATH OpenOpenAlexFDO

Authors Sun Meng, Farhad Arbab, Bernhard K. Aichernig, Lăcrămioara Aştefănoaei, Frank S. de Boer, Jan J. M. M. Rutten

Publication date 13 July 2012

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2011.04.002

zbMATH Keywords

designrefinementconnectorReo circuitstest case generationtimed data sequence

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Towards component based systems: refining connectors
• A model of context-dependent component connectors
• A formal algebraic approach for the quantitative modeling of connectors in architectures
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• scientific article; zbMATH DE number 2079673

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 46957 (Why is no real title available?)
• scientific article; zbMATH DE number 1949640 (Why is no real title available?)
• scientific article; zbMATH DE number 2079824 (Why is no real title available?)
• scientific article; zbMATH DE number 1746453 (Why is no real title available?)
• scientific article; zbMATH DE number 795688 (Why is no real title available?)
• scientific article; zbMATH DE number 938070 (Why is no real title available?)
• A coinductive calculus of component connectors.
• Anti-pattern Matching Modulo
• Automated Reasoning
• Connector colouring. I: Synchronisation and context dependency
• Connectors as designs
• Maude: specification and programming in rewriting logic
• Modeling component connectors in Reo by constraint automata
• Mutation testing in UTP
• Mutation testing in the refinement calculus
• Refinement Calculus
• Reo: a channel-based coordination model for component composition
• Testing Programs with the Aid of a Compiler
• Testing equivalences for processes
• The B-Book
• Unifying theories for logic programming
• rCOS: a refinement calculus of object systems

Cited in

(2)

• Connectors as designs
• Model-Based Mutation Testing of Reactive Systems

Describes a project that uses

Uses Software

• Circus
• ATGen
• Reo
• Maude
• Lutess

This page was built for publication: Connectors as designs: modeling, refinement and test case generation

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