Exploring Design Options Rationally
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.
KeywordsInteractive System Design Option Empty Sequence Design Question Option Combination
Unable to display preview. Download preview PDF.
- 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.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.A.J. Dix. Formal Methods for Interactive Systems. Computers and People. Academic Press, 1991.Google Scholar
- 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
- 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
- 11.J.M. Spivey. The Z notation: A reference manual. Prentice-Hall International, second edition, 1992.Google Scholar
- 12.H. Thimbleby. User Interface Design. Frontier Series. ACM Press, 1990.Google Scholar
- 13.M. Utting and K. Robinson. Towards an object-oriented refinement calculus. Australian Computer Science Communications, 13 (1), February 1991.Google Scholar
- 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.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