Abstract modelling of interactive systems
Doug Goldson · 1997
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.