Enriching Interactive Components with Again Commands

Walter Dosch

Abstract

The paper studies the systematic design and implementation of interactive components whose input interface is enriched by undo commands. An undo command inverts the interaction history returning to a previously visited state. We formalize different policies for undo commands cancelling the most recent input, the most recent occurrence of a specified input, and the final history segment after a user defined checkpoint. For each undo policy, we specify the component's modified input/output behaviour in terms of the original behaviour as a function from input streams to output streams. Then we systematically transform the modified input/output behaviour into an implementation by a state transition machine. The resulting formal method extends the state transition table of an interactive component in a systematic way when its input interface is enriched by undo commands under different policies.

OriginalspracheEnglisch
TitelFourth International Conference on Software Engineering Research, Management and Applications (SERA'06)
Seitenumfang10
Herausgeber (Verlag)IEEE
Erscheinungsdatum01.12.2006
Seiten183-192
Aufsatznummer1691379
ISBN (Print)0-7695-2656-X
DOIs
PublikationsstatusVeröffentlicht - 01.12.2006
Veranstaltung4th International Conference on Software Engineering Research, Management and Applications
- Seattle, USA / Vereinigte Staaten
Dauer: 09.08.200611.08.2006
Konferenznummer: 69970

Zitieren