A theory of presentations

  • D. J. Duke
  • M. D. Harrison
Part of the Lecture Notes in Computer Science book series (LNCS, volume 873)


As graphics and multi-media systems find increasing use in domains in which safety or security is a factor, it is important to find ways of ensuring that the systems are correct. Not only must the software function correctly, but it must also provide its human users with the information that they need to carry out tasks beyond the control of the software. While development of functionally correct software has been a focus of work within the formal methods community, less attention has been paid to rigorous development of the user-system interface. This paper considers the specification of graphical and multi-modal presentations, and develops a theory of presentations that extends the scope of rigorous software development to encompass human factors in the interface.


Formal Method Visual Modality Request Form Rigorous Development Human Cognitive System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    M. Abadi and L. Lamport. An old-fashioned recipe for real time. Technical Report 91, DEC Systems Research Center, October 1992.Google Scholar
  2. 2.
    G. Abowd. Formal aspects of human-computer interaction. D.Phil Thesis, Oxford University Computing Laboratory: Programming Research Group, 1991. Available as Technical Monograph PRG-97.Google Scholar
  3. 3.
    D. B. Arnold, D. A. Duce, and G. J. Reynolds. An Approach to the Formal Specification of Configurable Models of Graphics Systems. In G. Maréchal, editor, Proceedings of Eurographics '87. North-Holland, 1987.Google Scholar
  4. 4.
    P.J. Barnard and J. May. Cognitive modelling for user requirements. In P.F. Byerley, P.J. Barnard, and J. May, editors, Computers, Communication and Usability: Design Issues, Research and Methods for Integrated Services, North Holland Series in Telecommunication. Elsevier, 1993.Google Scholar
  5. 5.
    P.J. Barnard and J. May. Real time blending of data streams: A key problem for the cognitive modelling of user behaviour with multimodal systems. Technical Report UM/WP10, ESPRIT BRA 7040 Amodeus-2, June 1993. File: usemod/um_wp10.rtf.Google Scholar
  6. 6.
    J. Bowen. X: Why Z? Computer Graphics Forum, 11 (4):221–234, October 1992.Google Scholar
  7. 7.
    S.A. Brewster, P.C. Wright, and A.D.N. Edwards. The design and evaluation of an auditory-enhanced scrollbar. In Proc. CHI'94, 1994. Boston, April 1994, to appear.Google Scholar
  8. 8.
    J. Coutaz, L. Nigay, and D. Salber. MATIS: A multimodal airline travel information system. Technical Report SM/WP10, ESPRIT BRA 7040 Amodeus-2, February 1993. File: sysmod/sm_wp10.rtf.Google Scholar
  9. 9.
    D. A. Duce and L. B. Damnjanovic. Formal Specification in the Revision of GKS: An Illustrative Example. Computer Graphics Forum, 11(1):17–30, 1992.Google Scholar
  10. 10.
    D. A. Duce and E. V. C. Fielding. Towards a Formal Specification of the GKS Output Primitives. In A.A.G. Requicha, editor, Proceedings of Eurographics '86. North-Holland, 1986.Google Scholar
  11. 11.
    D.J. Duke, G. Faconti, M.D. Harrison, and F. Paterno'. Unifying views of interactors. In Proc International Workshop on Advanced Visual Interfaces, 1994. To appear.Google Scholar
  12. 12.
    D.J. Duke and M.D. Harrison. Abstract interaction objects. Computer Graphics Forum, 12(3), 1993. Conference Issue: Proc. Eurographics'93.Google Scholar
  13. 13.
    D.J. Duke and M.D. Harrison. Mapping user requirements to implementations. Submitted to Software Engineering Journal. Based on Amodeus-2 document sysmod/sm_wp16, 1993.Google Scholar
  14. 14.
    D.J. Duke and M.D. Harrison. Case studies in interactor specification. Technical report, Department of Computer Science, University of York, 1994.Google Scholar
  15. 15.
    D.J. Duke and M.D. Harrison. From formal models to formal methods. In Proc Intl. Workshop on Software Engineering and Human-Computer Interaction. ACM, 1994. To appear.Google Scholar
  16. 16.
    D.J. Duke and M.D. Harrison. On percepts and presentations. Technical Report SM/WP22, ESPRIT BRA 7040 Amodeus-2, February 1994. File: sysmod/sm_wp22.ps.Google Scholar
  17. 17.
    M.D. Harrison. A model for the option space of interactive systems. In Engineering for Human-Computer Interaction: Proc IFIP WG2.7 Conf. Elsevier, 1992.Google Scholar
  18. 18.
    M.D. Harrison and A. Dix. A state model of direct manipulation. In M.D. Harrison and H.W. Thimbleby, editors, Formal Methods in Human Computer Interaction, pages 129–151. Cambridge University Press, 1990.Google Scholar
  19. 19.
    I.J. Hayes. Specification Case Studies. Series in Computer Science. Prentice Hall International, 1987.Google Scholar
  20. 20.
    Geneva ISO Central Secretariat. Information processing systems, computer graphics, computer graphics reference model. ISO/IEC DIS 11072, 1991.Google Scholar
  21. 21.
    C.B. Jones. Systematic Software Development Using VDM. Prentice Hall International, second edition, 1990.Google Scholar
  22. 22.
    C.B. Jones and R. Shaw, editors. Case Studies in Systematic Software Development. Prentice Hall, 1990.Google Scholar
  23. 23.
    B. Mahoney and I. Hayes. A case-study in timed refinement: A mine pump. IEEE Transactions on Software Engineering, SE-18(9):817–826, 1992.Google Scholar
  24. 24.
    J. May. The part-whole problem in perception. ESPRIT BRA 7040 Amodeus-2: Animated Presentation, 1993. File: usemod/pres4.hqx.Google Scholar
  25. 25.
    K. Narayana and S. Dharap. Formal specification of a look manager. IEEE Transactions on Software Engineering, 16(9):1089–1103, September 1990.Google Scholar
  26. 26.
    L. Nigay and J. Coutaz. A design space for multimodal systems: Concurrent processing and data fusion. In S. Ashlund, K. Mullet, A. Henderson, E. Hollnagel, and T. White, editors, Proc. INTERCHI'93, pages 172–178. Addison-Wesley, 1993.Google Scholar
  27. 27.
    P.W. Pruyn and D.P. Greenberg. Exploring 3d computer graphics in cockpit avionics. Computer Graphics and Applications, pages 28–35, May 1993.Google Scholar
  28. 28.
    J. Reason. Human Error. Cambridge University Press, 1990.Google Scholar
  29. 29.
    J.M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International, second edition, 1992.Google Scholar
  30. 30.
    B. Sufrin and J. He. Specification, refinement, and analysis of interactive processes. In M.D. Harrison and H.W. Thimbleby, editors, Formal Methods in Human Computer Interaction, pages 153–200. Cambridge University Press, 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • D. J. Duke
    • 1
  • M. D. Harrison
    • 1
  1. 1.Dept. of Computer ScienceUniversity of YorkHeslingtonUK

Personalised recommendations