Abstract modelling of interactive systems

摘要

One approach to modelling interactive system uses abstract models to define system classes. A system can then be evaluated with respect to a model that catures 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, oservability and reachability are pstulated for the editor. The paper concludes that abstract modelling is a useful design methodology that can be effectively integrated with a methodology of prototyping.