Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation

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

    9 Citations (Scopus)
    44 Downloads (Pure)

    Abstract

    The notion of quiescence - the absence of outputs - is vital in both behavioural modelling and testing theory. Although the need for quiescence was already recognised in the 90s, it has only been treated as a second-class citizen thus far. This paper moves quiescence into the foreground and introduces the notion of quiescent transition systems (QTSs): an extension of regular input-output transition systems (IOTSs) in which quiescence is represented explicitly, via quiescent transitions. Four carefully crafted rules on the use of quiescent transitions ensure that our QTSs naturally capture quiescent behaviour. We present the building blocks for a comprehensive theory on QTSs supporting parallel composition, action hiding and determinisation. In particular, we prove that these operations preserve all the aforementioned rules. Additionally, we provide a way to transform existing IOTSs into QTSs, allowing even IOTSs as input that already contain some quiescent transitions. As an important application, we show how our QTS framework simplifies the fundamental model-based testing theory formalised around ioco.
    Original languageEnglish
    Title of host publicationProceedings of the 7th Workshop on Model-Based Testing (MBT 2012)
    EditorsAlexander K. Petrenko, Holger Schlingloff
    Place of PublicationAustralia
    PublisherOpen Publishing Association
    Pages73-87
    Number of pages15
    DOIs
    Publication statusPublished - 25 Mar 2012
    Event7th Workshop on Model-Based Testing (MBT 2012) - Tallinn, Estonia
    Duration: 25 Mar 201225 Mar 2012
    http://mbt-workshop.org/2012/index.html

    Publication series

    NameElectronic Proceedings in Theoretical Computer Science
    PublisherOpen Publishing Association
    Volume80
    ISSN (Print)2075-2180
    ISSN (Electronic)2075-2180

    Workshop

    Workshop7th Workshop on Model-Based Testing (MBT 2012)
    CountryEstonia
    CityTallinn
    Period25/03/1225/03/12
    Internet address

    Keywords

    • Quiescence
    • Quiescent Transition Systems
    • EWI-21597
    • IR-79870
    • METIS-285157
    • Model-Based Testing

    Fingerprint Dive into the research topics of 'Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation'. Together they form a unique fingerprint.

    Cite this