Action Refinement as an Implementation Relation

Arend Rensink, M. Dauchet (Editor), R. Gorrieri

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    13 Citations (Scopus)
    52 Downloads (Pure)

    Abstract

    We propose a theory of process refinement which relates behavioural descriptions belonging to conceptually different abstraction levels, through a so-called vertical implementation relation. The theory is based on action refinement, which permits to relate abstract actions of the implementation to concrete computations of the implementation; it is developed in the standard interleaving approach. A number of proof rules is shown to be sound for the particular vertical implementation relation (based on observation congruence) we study in this paper. We give an illustrative example.
    Original languageEnglish
    Title of host publicationTAPSOFT '97: Theory and Practice of Software Development
    Subtitle of host publication7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997. Proceedings
    EditorsMichel Bidoit, Max Dauchet
    Place of PublicationBerlin, Heidelberg
    PublisherSpringer
    Pages772-786
    Number of pages15
    ISBN (Electronic)978-3-540-68517-3
    ISBN (Print)978-3-540-62781-4
    DOIs
    Publication statusPublished - 1997
    Event7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development, TAPSOFT 1997 - Lille, France
    Duration: 14 Apr 199718 Apr 1997
    Conference number: 7

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume1214
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development, TAPSOFT 1997
    Abbreviated titleTAPSOFT
    CountryFrance
    CityLille
    Period14/04/9718/04/97

    Keywords

    • Transition system
    • Operational semantics
    • Abstraction level
    • Abstract action
    • Refinement function

    Fingerprint

    Dive into the research topics of 'Action Refinement as an Implementation Relation'. Together they form a unique fingerprint.

    Cite this