The cube - extending systems for undo

Alan Dix
School of Computing
Staffordshire University
Stafford, ST18 0DG, UK.
email: alan@hcibook.com
Roberta Mancini and Stefano Levialdi
Dipartimento di Scienze dell'Informazione
Universita' degli Studi di Roma "La Sapienza"
Via Salaria 113, 00198, Rome, Italy.


Paper presented at DSV-IS'97 part of the Eurographics DSV-IS Series of Workshops on the Design Specification and Verification of Interactive Systems.

Download full paper PDF (111K) or compressed postscript (776K)

Full reference:

A. Dix, R. Mancini and S. Levialdi (1997). The cube - extending systems for undo. Proceedings of DSVIS'97, Granada, Spain, Eurographics. pp 473-495.
http://www.hcibook.com/alan/papers/dsvis97/

URL for related work: http://www.hcibook.com/alan/topics/undo/


Abstract

When a system is extended by adding undo, the original system behaviour should be preserved within the new extended system. In this paper a formal framework is established which considers the state of the system before and after the extension and captures the relationship between the layers in a structure we call conservative encapsulation or the cube. Alternative algebraic properties of undo and examples of two specific undo policies are formalised within this framework. The framework afforded by conservative encapsulation is not just suitable for undo, but can be used to study other forms of system extension such as history mechanisms.


Alan Dix 23/12/96