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

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

2012-02-28

arxiv.org/abs/1202.6124v1

EPTCS 80, 2012, pp. 73-87

Computer Science

Software Engineering

In Proceedings MBT 2012, arXiv:1202.5826

Scientific paper

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

Affiliated with

Also associated with

No associations

Rating

Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-605558