Action Contraction Using Coupled Simulation

    Research output: Book/ReportReportAcademic

    7 Downloads (Pure)

    Abstract

    The question we consider in this paper is: "When may a combination of (fine-grain) execution be contracted into an abstract (atomic) action execution? Our answer is basically: "When no observer can see the difference." This is worked out in detail by defining a notion of so-called coupled splitting/contracting simulation between systems which differ in the atomicity of their actions, and proving that this collapses to Parrow and Sjödin's coupled similarity when the systems are composed with an observer. We claim that this gives rise to a useful notion of refinement; we substantiate the claim on two (toy) examples.
    Original languageEnglish
    PublisherUniversity of Twente
    Number of pages44
    Publication statusPublished - 2000

    Publication series

    NameCTIT Technical Report series
    PublisherCentre for Telematics and Information Technology (CTIT)
    VolumeTR-CTIT-00-13
    ISSN (Print)1381-3625

      Fingerprint

    Keywords

    • METIS-118659
    • IR-18140

    Cite this

    Rensink, A. (2000). Action Contraction Using Coupled Simulation. (CTIT Technical Report series; Vol. TR-CTIT-00-13). University of Twente.