An Engineering Approach towards Action Refinement

Dick Quartel, Luis Ferreira Pires, Henry M. Franken, H.M. Franken, C.A. Vissers

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

    4 Citations (Scopus)
    47 Downloads (Pure)

    Abstract

    In the abstract modelling of distributed systems we may need methods to replace abstract behaviours by more concrete behaviours which are closer to implementation mechanisms. Furthermore, we may want these methods to preserve the correctness of such a replacement. This paper introduces an approach towards action refinement in which an abstract action is replaced by a concrete activity. This approach is based on a careful consideration of the `action' and `causality relation' architectural concepts, which enable an abstract action to be replaced by many alternative concrete activities in a general way. This approach is based on the application of abstraction rules to determine whether a concrete activity conforms to an abstract action, considering the context in which the concrete activity and the abstract action are embedded
    Original languageUndefined
    Title of host publicationProceedings of the Fifth IEEE Computer Society Workshop in Future Trends of Distributed Computing Systems
    Place of PublicationCheju Islands, Korea
    PublisherIEEE
    Pages266-273
    ISBN (Print)0-8186-7125-4
    DOIs
    Publication statusPublished - 28 Aug 1995
    EventFifth IEEE Computer Society Workshop in Future Trends of Distributed Computing Systems - Cheju Islands, Korea
    Duration: 28 Aug 199530 Aug 1995

    Publication series

    Name
    PublisherIEEE

    Workshop

    WorkshopFifth IEEE Computer Society Workshop in Future Trends of Distributed Computing Systems
    Period28/08/9530/08/95
    Other28-30 August 1995

    Keywords

    • IR-19504
    • METIS-120027

    Cite this