Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation (extended version)

    Research output: Book/ReportReportAcademic

    13 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
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages25
    Publication statusPublished - 1 Feb 2012

    Publication series

    NameCTIT Technical Report Series
    PublisherUniversity of Twente, Centre for Telematics and Information Technology
    No.TR-CTIT-12-05
    ISSN (Print)1381-3625

    Fingerprint

    Testing
    Chemical analysis

    Keywords

    • METIS-285119
    • IR-79647
    • Quiescent Transition Systems
    • Quiescence
    • Model-Based Testing
    • EWI-21491

    Cite this

    Stokkink, G., Timmer, M., & Stoelinga, M. (2012). Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation (extended version). (CTIT Technical Report Series; No. TR-CTIT-12-05). Enschede: Centre for Telematics and Information Technology (CTIT).
    Stokkink, Gerjan ; Timmer, Mark ; Stoelinga, Mariëlle. / Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation (extended version). Enschede : Centre for Telematics and Information Technology (CTIT), 2012. 25 p. (CTIT Technical Report Series; TR-CTIT-12-05).
    @book{fd87e03564fe4f18a4578053b574f602,
    title = "Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation (extended version)",
    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.",
    keywords = "METIS-285119, IR-79647, Quiescent Transition Systems, Quiescence, Model-Based Testing, EWI-21491",
    author = "Gerjan Stokkink and Mark Timmer and Mari{\"e}lle Stoelinga",
    year = "2012",
    month = "2",
    day = "1",
    language = "English",
    series = "CTIT Technical Report Series",
    publisher = "Centre for Telematics and Information Technology (CTIT)",
    number = "TR-CTIT-12-05",
    address = "Netherlands",

    }

    Stokkink, G, Timmer, M & Stoelinga, M 2012, Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation (extended version). CTIT Technical Report Series, no. TR-CTIT-12-05, Centre for Telematics and Information Technology (CTIT), Enschede.

    Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation (extended version). / Stokkink, Gerjan; Timmer, Mark; Stoelinga, Mariëlle.

    Enschede : Centre for Telematics and Information Technology (CTIT), 2012. 25 p. (CTIT Technical Report Series; No. TR-CTIT-12-05).

    Research output: Book/ReportReportAcademic

    TY - BOOK

    T1 - Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation (extended version)

    AU - Stokkink, Gerjan

    AU - Timmer, Mark

    AU - Stoelinga, Mariëlle

    PY - 2012/2/1

    Y1 - 2012/2/1

    N2 - 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.

    AB - 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.

    KW - METIS-285119

    KW - IR-79647

    KW - Quiescent Transition Systems

    KW - Quiescence

    KW - Model-Based Testing

    KW - EWI-21491

    M3 - Report

    T3 - CTIT Technical Report Series

    BT - Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation (extended version)

    PB - Centre for Telematics and Information Technology (CTIT)

    CY - Enschede

    ER -

    Stokkink G, Timmer M, Stoelinga M. Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation (extended version). Enschede: Centre for Telematics and Information Technology (CTIT), 2012. 25 p. (CTIT Technical Report Series; TR-CTIT-12-05).