Abstract
The principled design approach improves the quality of user interfaces by ensuring conformance to certain carefully chosen design principles. This involves reasoning about the properties of an interactive system specification. Such specifications usually concentrate on interactive system state and behaviour, and pay little attention to the presentation. We show that arguments about the properties of an interactive system cannot be relied upon without placing requirements on the presentation mapping. We consider in detail these requirements, and the manner in which we can verify their satisfaction. Taking this approach, we can prove that a presentation is valid with respect to a given property, and thus extend our reasoning into the perceptual domain of the presentation.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
G. D. Abowd. Formal Aspects of Human-Computer Interaction. PhD thesis, University of Oxford Computing Laboratory: Programming Research Group, 1991. Available as Technical Monograph PRG-97.
Dines Bj0rner and Cliff B. Jones. Formal Specification and Software Development.Prentice-Hall International, Englewood Cliffs, New Jersey, 1982.
S.M. Casner. A task-analytic approach to the automated design of graphic presentations. ACM Transactions on Graphics, 10 (2): 111 – 151, April 1991.
Alan Dix, Janet Finlay, Gregory Abowd, and Russell Beale. Usability paradigms and principles. In Human Computer Interaction, chapter 4. Prentice Hall, 1993.
D. J. Duke and M.D. Harrison. Abstract interaction objects. Proceedings of Eurographics ’ 93, Computer Graphics Forum, 12(3), 1993.
D.J. Duke and M.D. Harrison. A Theory of Presentations. In FME ’94: Industrial Benefit of Formal Methods, volume 873 of Lecture Notes in Computer Science, pages 271–290. Springer-Verlag, 1994.
Dan Diaper, editor. Task Analysis for Human-Computer Interaction. Ellis Horwood Books in Information Technology. Ellis Horwood, 1989.
C. B. Jones. Systematic Software Development Using WDM. Prentice-Hall, 1986.
George Lakoff. Women, fire, and dangerous things: what categories reveal about the mind. Chicago, 1987.
J. H. Larkin and H. A. Simon. Why a Diagram is (Sometimes) Worth Ten Thousand Words. Cognitive Science, 11: 65 – 99, 1987.
J. Mackinlay. Automating the design of graphical presentations of relational information. ACM Transactions on Graphics, 5 (2): 110 – 141, April 1987.
S.S. Stevens. On the theory of scales of measurement. Science, 103: 677 – 680, 1946.
P.C. Wright, B. Fields, and M.D. Harrison. Distributed information resources: An new approach to interaction modelling. In T.R.G. Green, J.J. Canas, and C.R Warren, editors, Proceedings of ECCE8: European Conference on Cognitive Ergonomics, pages 5–10. EACE, 1996.
J. Zhang. A representational analysis of relational information displays. International journal of human computer studies, 45, 1996.
J. Zhang and D. A. Norman. Representations in distributed cognitive tasks. Cognitive Science, 18: 87 – 122, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag/Wien
About this paper
Cite this paper
Doherty, G., Harrison, M.D. (1997). A Representational Approach to the Specification of Presentations. In: Harrison, M.D., Torres, J.C. (eds) Design, Specification and Verification of Interactive Systems ’97. Eurographics. Springer, Vienna. https://doi.org/10.1007/978-3-7091-6878-3_18
Download citation
DOI: https://doi.org/10.1007/978-3-7091-6878-3_18
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-83055-0
Online ISBN: 978-3-7091-6878-3
eBook Packages: Springer Book Archive