TOWARD AUTOMATIC GENERATION OF USER INTERFACES: AbstractION OF INTERNAL STATES AND TRANSITIONS

In this paper we discuss a formal approach and methodology for reducing and Abstracting the internal states and transitions of a (discrete-event) system representation. The resulting Abstracted description, called the “user model,” forms the foundation of the user interface as it formulates the necessary modes, states and transitions that drive the interface.