Abstraction and Refinement in Configuration Structures

R. Costantini, Arend Rensink

    Research output: Book/ReportReportOther research output

    35 Downloads (Pure)


    An abstraction operator for configuration structures is defined and it is proven that it is left inverse to the traditional refinement operator. The abstraction operator describes how concrete behaviour looks when observed from a more abstract level, where the difference between concrete and abstract is given by a transformation mapping. This generates a notion of implementation: L is said to implement H iff L is mapped to H by the abstraction operator. The implementation relation generated by the abstraction operator is strictly more general than the implementation function defined by a refinement operator, thus allowing a more flexible design process for distributed systems.
    Original languageUndefined
    Place of PublicationHildesheim, Germany
    PublisherUniversity of Hildesheim
    Number of pages38
    Publication statusPublished - 1992

    Publication series

    NameHildesheimer Informatik-Bericht
    PublisherInstitut für Informatik, University of Hildesheim
    ISSN (Print)0941-3014


    • IR-66518
    • EWI-7568

    Cite this