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

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.Comment: In Proceedings MBT 2012, arXiv:1202.582

The Vehicle, Fall 2008

Table of Contents DwIFoFErREINdTPhilip Gallagherpage 17 LeftoversAmanda Vealepage 18 the bogGrace Lawrencepage 19 Visitor\u27s Morning on EarthSteven T. Coxpage 20 The Moon Man Philip Gallagherpage 21 SearchingsAmanda Vealepage 23 Becoming WiseAmanda Vealepage 24 PerennialsAmanda Vealepage 26 SoldierMary Lieskepage 27 Desecration of a RelicAmanda Vealepage 29 New LifeJennifer O\u27Neilpage 30 GardenerKrystina Levyapage 43 The Reasons WhyMary Lieskepage 44 Dining at the MortuaryAmanda Vealepage 45 Poetry Hop Scotch BehopJake Dawsonpage 1 Empty RoomAmanda Vealepage 2 Mantis (from memory) Muddy ShoesGina Marie LoBiancopage 3 MEMOSamuel Clowardpage 5 MathMary Lieskepage 7 To a Little Black GirlJustin Sudkamppage 8 Government OfficeSamuel Clowardpage 9 FirstKellen Fasnachtpage 10 Seeing Artichoke, Call MeAmanda Vealepage 11 TrumpetSarah Fairchildpage 12 That\u27s the StuffJake Dawsonpage 13 Your Hair is ThinningAmanda Vealepage 15 UnableDonica Millerpage 16 Dance PartnersSamantha Sauerpage 32 I StillMegan Mathypage 33 IncandescenceSarah Fairchildpage 34 Stone CraneBrendan Hughespage 35 The Road TakenSamantha Sauerpage 36 YouMegan Mathypage 37 Zhangjiajie National Forest Park, Zhangjiajie, ChinaBrendan Hughespage 38 Spotlight on 2008 Chapbook LessonsGlen Davispage 62 Interview with Glen DavisRebecca Griffithpage 64 Contributorspage 69 Submission Guidelines/Reading Event Blues Mad FoolJake Dawsonpage 47 Good WomanJake Dawsonpage 49 Good ManJake Dawsonpage 51 And I Miss YouDonica Millerpage 53 Entropy of Your ShirtAmanda Vealepage 56 Mavericks Philip Gallagherpage 57 Untitled [It\u27s 10:15 p.m....]Philip Gallagherpage 59 Prose A Birdhouse for GrandpaLeslie Hancockpage 39 MotivationMary Lieskepage 55 Art Forgotten GardenBrendan Hughescovers BeMegan Mathypage 31https://thekeep.eiu.edu/vehicle/1088/thumbnail.jp

4-1 旧世界ザル類のY染色体進化に関る分子マーカー作製と比較マッピング(X.共同利用研究 2.研究成果)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)2895212-22