Introducing Control States into Communication Based Specifications of Interactive Components

Walter Dosch; Annette Stümpel

Introducing Control States into Communication Based Specifications of Interactive Components

Institute of Software Engineering and Programming Languages

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 language	English
Pages	875-881
Number of pages	7
Publication status	Published - 01.12.2004
Event	Proceedings of the International Conference on Software Engineering Research and Practice 2004 - Las Vegas, United States Duration: 21.06.2004 → 24.06.2004 Conference number: 64209

Conference

Conference	Proceedings of the International Conference on Software Engineering Research and Practice 2004
Abbreviated title	SERP'04
Country/Territory	United States
City	Las Vegas
Period	21.06.04 → 24.06.04

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Cite this

@conference{bf54af8930714ad6990537360adcd5b8,

title = "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.",

author = "Walter Dosch and Annette St{\"u}mpel",

year = "2004",

month = dec,

day = "1",

language = "English",

pages = "875--881",

note = "Proceedings of the International Conference on Software Engineering Research and Practice 2004, SERP'04 ; Conference date: 21-06-2004 Through 24-06-2004",

}

Introducing Control States into Communication Based Specifications of Interactive Components. / Dosch, Walter; Stümpel, Annette.
2004. 875-881 Paper presented at Proceedings of the International Conference on Software Engineering Research and Practice 2004, Las Vegas, Nevada, United States.

Research output: Contribution to conference › Conference Papers › peer-review

TY - CONF

T1 - Introducing Control States into Communication Based Specifications of Interactive Components

AU - Dosch, Walter

AU - Stümpel, Annette

N1 - Conference code: 64209

PY - 2004/12/1

Y1 - 2004/12/1

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

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

UR - https://www.scopus.com/record/display.uri?eid=2-s2.0-12344267098&origin=inward&txGid=2c9aa0d16d5960eb9eb2bbf2faf68357

M3 - Conference Papers

SP - 875

EP - 881

T2 - Proceedings of the International Conference on Software Engineering Research and Practice 2004

Y2 - 21 June 2004 through 24 June 2004

ER -

Introducing Control States into Communication Based Specifications of Interactive Components

Abstract

Conference

UN SDGs

Other files and links

Fingerprint

Cite this