EEMCS EPrints Service
Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2012) Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation. In: Proceedings of the 7th Workshop on Model-Based Testing (MBT 2012), 25 Mar 2012, Tallinn, Estonia. pp. 73-87. Electronic Proceedings in Theoretical Computer Science 80. Open Publishing Association. ISSN 2075-2180
Full text available as:
Official URL: http://dx.doi.org/10.4204/EPTCS.80.6
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.
Export this item as:
To correct this item please ask your editor
Repository Staff Only: edit this item