Towards a user interface generation approach based on object oriented design and task model

This paper presents an approach of generating the user interface from the task model. Our work is situated in the course of approaches based on models. This approach called TOOD (Task Object Oriented Design) is based on a formal notation, which gives quantitative results that may be checked by designers and provide the possibility of performing mathematical verifications on the models. The modelling formalism is based on the joint use of the object approach and high level Petri nets. The TOOD method integrates different models (task model, user model, local model of the interface, abstract model of the interface, and model of the implementation) and their relations. An example, extracted from the air traffic control, is presented to illustrate TOOD methodology.