Considering task pre-conditions in model-based user interface design and generation

Deriving meaningful and consistent user interface implementations from task models is not trivial because of the large gap in terms of abstraction. This paper focuses on how to handle task preconditions in the design and generation process, an issue which has not adequately been addressed in previous work. We present a solution that is able to manage the information related to task pre-conditions at the various possible abstraction levels. The paper also reports on some example applications that show the generality of the solution and how it can be exploited in various cases.