Faouzi Moussa

Learn More
In this paper, we propose a method for the analysis and the interpretation of the interactions between the user and the interactive system to evaluate. The proposed approach is based on the comparison between the user interaction sequences and the sequences average. This confrontation concerns the task execution duration, the realized tasks number and the(More)
this paper proposes an approach for the specification of human-machine dialogue for interactive process control applications. This approach is based on a formal modelling of the Human-Machine System behaviour. This modelling makes it possible to deduce the user requirements and then to identify the User Interface (UI) objects. The formal aspect allows the(More)
In industrial processes, the dysfunction modelling step is a must. It is performed in the beginning of the design process. Information carried out in this step offers a great opportunity to deduce the users informational needs. However, going from the dysfunction modelling step to the user's informational needs deduction step still seems to be difficult and(More)
Dans de nombreux systèmes industriels complexes, l'analyse et la modélisation des dysfonctionnements forment une étape indispensable venant en amont des projets de conception des systèmes de supervision. Elle constitue potentiellement une source précieuse pour s'orienter vers la déduction des besoins informationnels des utilisateurs. Toutefois, la(More)
In ubiquitous and intelligent environments, the human–system interaction has become problematic. Consequently, a new form of interaction is emerging, the ubiquitous interaction. Hence, a system that performs at and as required by the user would support the reliability and reinforce the purpose of such interaction. Adapting the information to the context of(More)
We propose, in this paper, a global approach, based on a formal modeling of the mobile Human-Computer Interaction. It aims to analyze an ubiquitous environment using ontology, described in OWL; and modeling the environment by using a combination of Petri Nets and XML as the Petri Net Markup Language (PNML). In our research, we are interested particularly in(More)