Formal Modelling and Identification of Operating Errors for Formal User Interface Reconfiguration

This paper introduces a new approach to the adaption of user interfaces by identifying input errors from a given user interface through modeled error automata. These error automata will also be used to generate reconfiguration rules for formal reconfiguration of a user interface on its logical layer paired with reconfiguration patterns derived from psychological guidelines. These guidelines seek to describe concepts, such as enhancing situation awareness through physical rearrangement in certain control situations, or by increasing or decreasing the level of automation. The whole process, starting with the generation of error automata and ending with reconfiguration of the user interface, is implemented based on a formal approach to user interface modeling and reconfiguration, as well as on formal description of deterministic finite automata.