Helping the automated validation process of user interfaces systems

This paper describes the prototype of a software environment that was devised for helping the formal validation of user interfaces systems. The paper suggests an approach to include such formal operations in the design process. An abstract and formal representation of the user interface system is produced to perform formal verifications on it. The paper explains why the user interface system can be modelled properly by a dataflow system and how this model can be expressed by using equations of flows in the language Lustre. It describes then some main tools of the environment.