Computer Science Technical Reports
CS at VT

Toward a Formal Specification of Menu-based Systems

Arthur, James D. (1986) Toward a Formal Specification of Menu-based Systems. Technical Report TR-86-04, Computer Science, Virginia Polytechnic Institute and State University.

Full text available as:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.
TR-86-04.pdf (1251674)


As software systems continue to increase in sophistication and complexity, so do the interface requirements that support the corresponding user interaction. To select the proper ' ' nd of ingredients that constitutes an adequate user interface, it is essential that the system designer have a firm understanding of the interaction process, i.e, how the selected dialogue format interacts with the user and with the underlying task software. To promote such an understanding, this paper presents a model that characterizes one particular dialogue for menu-based interaction. This model is actually a sequence of models, hierarchically structured, where each successive model builds on its predecessor by introducing additional characterization elements. The first model describes the minimal set of elements inherent to any menu-based interface; successive models extend this minimal set by introducing task actions, incremental history sequences, and frame-associated memory. These principal model elements enable the characterization of fundamental, menu-based operations like computational and decision processes, user response reversal, and user directed movement. Moreover, because the principal model elements correspond directly to <q>real world</q> objects, an intuitive as well as formal understanding of menu-based interaction can be achieved. Effectively, the model elements and the hierarchical structure imposed by these elements provide and ideal environment for characterizing and classifying menu-based systems at various levels of sophistication.

Item Type:Departmental Technical Report
Subjects:Computer Science > Historical Collection(Till Dec 2001)
ID Code:11
Deposited By:User autouser
Deposited On:17 October 2005