Enriching Interactive Components with Again Commands

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.

Original languageEnglish
Title of host publicationFourth International Conference on Software Engineering Research, Management and Applications (SERA'06)
Number of pages10
PublisherIEEE
Publication date01.12.2006
Pages183-192
Article number1691379
ISBN (Print)0-7695-2656-X
DOIs
Publication statusPublished - 01.12.2006
Event4th International Conference on Software Engineering Research, Management and Applications
- Seattle, United States
Duration: 09.08.200611.08.2006
Conference number: 69970

Fingerprint

Dive into the research topics of 'Enriching Interactive Components with Again Commands'. Together they form a unique fingerprint.

Cite this