Abstract
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.
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.
Similar content being viewed by others
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.
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.
A.J. Dix. Formal Methods for Interactive Systems. Computers and People. Academic Press, 1991.
D. Duke and M. Harrison. Abstract interaction objects. Computer Graphics Forum, 12 (3): 25–36, 1993.
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.
M. Harrison and H. Thimbleby, editors. Formal Methods in Human-Computer Interaction. Cambridge, 1990.
C.B. Jones. Systematic Software Development Using VDM. International Series in Computer Science. Prentice-Hall International, 2nd edition, 1990.
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.
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.
C. Morgan. Programming from specifications. International Series in Computer Science. Prentice-Hall International, 1990.
J.M. Spivey. The Z notation: A reference manual. Prentice-Hall International, second edition, 1992.
H. Thimbleby. User Interface Design. Frontier Series. ACM Press, 1990.
M. Utting and K. Robinson. Towards an object-oriented refinement calculus. Australian Computer Science Communications, 13 (1), February 1991.
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.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer-Verlag/Wien
About this paper
Cite this paper
Bramwell, C., Fields, B., Harrison, M. (1995). Exploring Design Options Rationally. In: Palanque, P., Bastide, R. (eds) Design, Specification and Verification of Interactive Systems ’95. Eurographics. Springer, Vienna. https://doi.org/10.1007/978-3-7091-9437-9_9
Download citation
DOI: https://doi.org/10.1007/978-3-7091-9437-9_9
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-82739-0
Online ISBN: 978-3-7091-9437-9
eBook Packages: Springer Book Archive