Introducing Control States into Communication Based Specifications of Interactive Components

Abstract

We present engineering methods how to systematically introduce control states into communication based specifications of interactive components. We introduce control states as abstractions of the input history and transform the component's input/output behaviour into a state based description. We illustrate the methods with five case studies, viz. a single pulser, a merge component, a distribution component, a selection component, and an interactive stack.

Original languageEnglish
Pages875-881
Number of pages7
Publication statusPublished - 01.12.2004
EventProceedings of the International Conference on Software Engineering Research and Practice 2004 - Las Vegas, United States
Duration: 21.06.200424.06.2004
Conference number: 64209

Conference

ConferenceProceedings of the International Conference on Software Engineering Research and Practice 2004
Abbreviated titleSERP'04
Country/TerritoryUnited States
CityLas Vegas
Period21.06.0424.06.04

Fingerprint

Dive into the research topics of 'Introducing Control States into Communication Based Specifications of Interactive Components'. Together they form a unique fingerprint.

Cite this