On Architectural Support for Behaviour Refinement in Distributed Systems Design

    Research output: Book/ReportReportProfessional

    26 Citations (Scopus)
    46 Downloads (Pure)


    During the top-down design of distributed systems, abstract designs have to be replaced by more concrete designs, which add details that define how these systems can be implemented using available building blocks. Behaviour refinement is a design operation in which abstract behaviours are replaced by more concrete behaviours. Methods that guide and enforce the correctness of these replacements are necessary. This paper presents a set of methods to perform behaviour refinement, based on a careful consideration of the architectural concepts of action and causality relation. Correctness is enforced by validation of the conformance relation between an abstract and a concrete behaviour. Rules are provided to determine whether a concrete behaviour conforms to an abstract behaviour.
    Original languageUndefined
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages30
    Publication statusPublished - Mar 2002

    Publication series

    NameCTIT technical reports series
    PublisherSociety for Design and Process Science
    ISSN (Print)1092-0617


    • METIS-209721
    • SCS-Services
    • EWI-8682
    • IR-66752

    Cite this