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.
|Title of host publication||Fourth International Conference on Software Engineering Research, Management and Applications (SERA'06)|
|Number of pages||10|
|Publication status||Published - 01.12.2006|
|Event||4th International Conference on Software Engineering Research, Management and Applications |
- Seattle, United States
Duration: 09.08.2006 → 11.08.2006
Conference number: 69970