Formal Modeling and Reconfiguration of User Interfaces

The paper at hand introduces a new formal approach to user interface modeling. This approach is mainly motivated by a lack of formal methods for modeling interaction logic of interactive user interfaces. Based on formal methods, various verification, validation, transformation and reconfiguration techniques can be applied directly to user interfaces in the context of adaptation as well as usability is sues. To address these points, we introduce a new modeling language called FILL, which has been developed specifically for modeling interaction logic and can be easily transformed to reference nets, a special form of Petri nets offering a formal semantics for FILL. Finally, we present several case studies we are working on to identify the impact of user interface reconfiguration on the control of complex processes.