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

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

7 Citations (Scopus)
26 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

Fingerprint

Testing
Chemical analysis

Keywords

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

Cite this

Stokkink, G., Timmer, M., & Stoelinga, M. (2012). Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation. In A. K. Petrenko, & H. Schlingloff (Eds.), Proceedings of the 7th Workshop on Model-Based Testing (MBT 2012) (pp. 73-87). (Electronic Proceedings in Theoretical Computer Science; Vol. 80). Australia: Open Publishing Association. https://doi.org/10.4204/EPTCS.80.6
Stokkink, Gerjan ; Timmer, Mark ; Stoelinga, Mariëlle. / Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation. Proceedings of the 7th Workshop on Model-Based Testing (MBT 2012). editor / Alexander K. Petrenko ; Holger Schlingloff. Australia : Open Publishing Association, 2012. pp. 73-87 (Electronic Proceedings in Theoretical Computer Science).
@inproceedings{dc32bc83c2ee4814878ed3d82b5ec082,
title = "Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation",
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 = "Quiescence, Quiescent Transition Systems, EWI-21597, IR-79870, METIS-285157, Model-Based Testing",
author = "Gerjan Stokkink and Mark Timmer and Mari{\"e}lle Stoelinga",
year = "2012",
month = "3",
day = "25",
doi = "10.4204/EPTCS.80.6",
language = "English",
series = "Electronic Proceedings in Theoretical Computer Science",
publisher = "Open Publishing Association",
pages = "73--87",
editor = "Petrenko, {Alexander K.} and Holger Schlingloff",
booktitle = "Proceedings of the 7th Workshop on Model-Based Testing (MBT 2012)",
address = "Australia",

}

Stokkink, G, Timmer, M & Stoelinga, M 2012, Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation. in AK Petrenko & H Schlingloff (eds), Proceedings of the 7th Workshop on Model-Based Testing (MBT 2012). Electronic Proceedings in Theoretical Computer Science, vol. 80, Open Publishing Association, Australia, pp. 73-87, 7th Workshop on Model-Based Testing (MBT 2012), Tallinn, Estonia, 25/03/12. https://doi.org/10.4204/EPTCS.80.6

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

Proceedings of the 7th Workshop on Model-Based Testing (MBT 2012). ed. / Alexander K. Petrenko; Holger Schlingloff. Australia : Open Publishing Association, 2012. p. 73-87 (Electronic Proceedings in Theoretical Computer Science; Vol. 80).

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

TY - GEN

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

AU - Stokkink, Gerjan

AU - Timmer, Mark

AU - Stoelinga, Mariëlle

PY - 2012/3/25

Y1 - 2012/3/25

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 - Quiescence

KW - Quiescent Transition Systems

KW - EWI-21597

KW - IR-79870

KW - METIS-285157

KW - Model-Based Testing

U2 - 10.4204/EPTCS.80.6

DO - 10.4204/EPTCS.80.6

M3 - Conference contribution

T3 - Electronic Proceedings in Theoretical Computer Science

SP - 73

EP - 87

BT - Proceedings of the 7th Workshop on Model-Based Testing (MBT 2012)

A2 - Petrenko, Alexander K.

A2 - Schlingloff, Holger

PB - Open Publishing Association

CY - Australia

ER -

Stokkink G, Timmer M, Stoelinga M. Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation. In Petrenko AK, Schlingloff H, editors, Proceedings of the 7th Workshop on Model-Based Testing (MBT 2012). Australia: Open Publishing Association. 2012. p. 73-87. (Electronic Proceedings in Theoretical Computer Science). https://doi.org/10.4204/EPTCS.80.6