Abstract
One approach to modelling interactive systems uses abstract models to define system classes. A system can then be evaluated with respect to a model that captures some generic user interface criteria. This paper describes a case study in applying this methodology to the analysis of a text editor. Criteria of predictability, observability and reachability are postulated for the editor. The paper concludes that abstract modelling is a useful design methodology that can be effectively integrated with a methodology of prototyping.
Chapter PDF
References
Dix, A. (1991) Formal Methods for Interactive Systems, Academic Press.
Goldson, D. (1996) Functional Prototyping of Interactive Systems, Technical Report, Department of Computer Science, Massey University, New Zealand.
Henderson, P. (1986) Functional programming, formal specification, and rapid prototyping, in IEEE Transactions on Software Engineering, 12, 2.
Hughes, J. (1989) Why Functional Programming Matters, in The Computer Journal, 32, 2.
Jones, M. (1996) The Haskell User’s Gofer System, available from http://www.cs.nott.ac.uk/ Department/Staff/mpj/hugs.html.
Runciman, C. (1990) From Abstract Models to Functional Prototypes, in Formal Methods in Human-Computer Interaction (ed. M. Harrison, H. Thimbleby ), CUP.
Sufrin, B. (1982) Formal Specification of a Display-Oriented Text Editor, in Science of Computer Programming, 1.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Goldson, D. (1997). Abstract modelling of interactive systems. In: Howard, S., Hammond, J., Lindgaard, G. (eds) Human-Computer Interaction INTERACT ’97. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35175-9_25
Download citation
DOI: https://doi.org/10.1007/978-0-387-35175-9_25
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5437-7
Online ISBN: 978-0-387-35175-9
eBook Packages: Springer Book Archive