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

Institut für Softwaretechnik und Programmiersprachen

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.

Originalsprache	Englisch
Seiten	875-881
Seitenumfang	7
Publikationsstatus	Veröffentlicht - 01.12.2004
Veranstaltung	Proceedings of the International Conference on Software Engineering Research and Practice 2004 - Las Vegas, USA / Vereinigte Staaten Dauer: 21.06.2004 → 24.06.2004 Konferenznummer: 64209

Tagung, Konferenz, Kongress

Tagung, Konferenz, Kongress	Proceedings of the International Conference on Software Engineering Research and Practice 2004
Kurztitel	SERP'04
Land/Gebiet	USA / Vereinigte Staaten
Ort	Las Vegas
Zeitraum	21.06.04 → 24.06.04

UN SDGs

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

Andere Dateien und Links

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

Zitieren

@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",

}

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

Tagung, Konferenz, Kongress

UN SDGs

Andere Dateien und Links

Fingerprint

Zitieren