Exploring Design Options Rationally

  • Chris Bramwell
  • Bob Fields
  • Michael Harrison
Part of the Eurographics book series (EUROGRAPH)


This paper describes a design technique for interactive systems that allows designs to be specified and refined formally, using a notation based on Action Systems. The rationale underlying the choices made by designers is recorded in a style based on the “Questions, Options, Criteria” notation. The means of capturing formal specifications and the reasoning behind design decisions are presented as parts of a uniform framework; a formal account is given of how design options satisfy criteria and how design options can be combined to answer larger design questions.


Interactive System Design Option Empty Sequence Design Question Option Combination 
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.
    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.Google Scholar
  2. 2.
    R.J.R. Back and K. Sere. From action systems to modular systems. In M. Naftalin, T. Denvir, and M. Bertran, editors, Proceedings of FME’94: Industrial Benefit of Formal Methods, number 873 in Lecture Notes in Computer Science, pages 1–25. Formal Methods Europe, Springer-Verlag, October 1994.Google Scholar
  3. 3.
    A.J. Dix. Formal Methods for Interactive Systems. Computers and People. Academic Press, 1991.Google Scholar
  4. 4.
    D. Duke and M. Harrison. Abstract interaction objects. Computer Graphics Forum, 12 (3): 25–36, 1993.CrossRefGoogle Scholar
  5. 5.
    B. Fields, M. Harrison, and P. Wright. Modelling interactive systems and providing task relevant information. In F. Paternò, editor, Proceedings, EUROGRAPHICS Workshop on the Design, Specification, Verification of Interactive Systems, Bocca di Magra, Italy, Eurograph-ics Seminar Series. Springer-Verlag, 1995.Google Scholar
  6. 6.
    M. Harrison and H. Thimbleby, editors. Formal Methods in Human-Computer Interaction. Cambridge, 1990.MATHGoogle Scholar
  7. 7.
    C.B. Jones. Systematic Software Development Using VDM. International Series in Computer Science. Prentice-Hall International, 2nd edition, 1990.MATHGoogle Scholar
  8. 8.
    A. MacLean, R. Young, V.M.E. Bellotti, and T. Moran. Questions, options, and criteria: Elements of design space analysis. Human-Computer Interaction, 6: 201–250, 1991.CrossRefGoogle Scholar
  9. 9.
    C. Morgan. Of wp and CSP. In A.J.M. Feijen, D. van Gasteren, D. Gries, and J. Misra, editors, Beauty is our business, chapter 36, pages 319–326. Springer-Verlag, 1990.Google Scholar
  10. 10.
    C. Morgan. Programming from specifications. International Series in Computer Science. Prentice-Hall International, 1990.MATHGoogle Scholar
  11. 11.
    J.M. Spivey. The Z notation: A reference manual. Prentice-Hall International, second edition, 1992.Google Scholar
  12. 12.
    H. Thimbleby. User Interface Design. Frontier Series. ACM Press, 1990.Google Scholar
  13. 13.
    M. Utting and K. Robinson. Towards an object-oriented refinement calculus. Australian Computer Science Communications, 13 (1), February 1991.Google Scholar
  14. 14.
    J.C.P. Woodcock and C. Morgan. Refinement of state-based concurrent systems. Lecture Notes in Computer Science 428, Springer-Verlag, pages 340–351, 1990.Google Scholar
  15. 15.
    R.M. Young and G.D. Abowd. Multi-perspective modelling of interface design issues: Undo in a collaborative editor. In G. Cockton, S.W. Draper, and G.R.S Weir, editors, HCI’94 Con-ference, People and Computers I X. BCS HCI Specialist Group, Cambridge University Press, 1994.Google Scholar

Copyright information

© Springer-Verlag/Wien 1995

Authors and Affiliations

  • Chris Bramwell
    • 1
  • Bob Fields
    • 1
  • Michael Harrison
    • 1
  1. 1.Human-Computer Interaction Group, Department of Computer ScienceUniversity of YorkYorkUK

Personalised recommendations