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.
Originalsprache | Englisch |
---|---|
Titel | Fourth International Conference on Software Engineering Research, Management and Applications (SERA'06) |
Seitenumfang | 10 |
Herausgeber (Verlag) | IEEE |
Erscheinungsdatum | 01.12.2006 |
Seiten | 183-192 |
Aufsatznummer | 1691379 |
ISBN (Print) | 0-7695-2656-X |
DOIs | |
Publikationsstatus | Veröffentlicht - 01.12.2006 |
Veranstaltung | 4th International Conference on Software Engineering Research, Management and Applications - Seattle, USA / Vereinigte Staaten Dauer: 09.08.2006 → 11.08.2006 Konferenznummer: 69970 |