Interpreted Petri Nets used for human-machine dialogue specification

Authors:
F. Moussa;M. Riahi;C. Kolski;M. Moalla
Affiliations:
Faculté/ des Sci. de Tunis, Dé/pt. des Sci. de l'Inform., Lab. d'Inform., de Parallé/lisme et de Prod.e (LIP.2), Campus Univ., Tunis, Tunisie. Tel.: +2161872600/ Fax: +2161885190/ faou ...;Faculté/ des Sci. de Tunis, Dé/pt. des Sci. de l'Inform., Lab. d'Inform., de Parallé/lisme et de Prod. (LIP.2), Campus Univ., Tunis, Tunisie. T: +2161872600/ F: +2161885190/ meriem.ria ...;LAMIH, URA CNRS 8530, Université/ de Valenciennes et du Hainaut-Cambré/sis, Le Mont Houy, F-59313 Valenciennes cedex 9, France. Tel.: +33327511469/ Fax: +33327511316/ kolski@univ-valencien ...;Faculté/ des Sci. de Tunis, Dé/pt. des Sci. de l'Informatique, Lab. d'Inform., de Parallé/lisme et de Prod. (LIP.2), Campus Univ., Tunis, Tunisie. Tel.: +2161872600/ Fax: +2161885190/ ...
Venue:
Integrated Computer-Aided Engineering
Year:
2002

Citing 0
Cited 2

De la modélisation des dysfonctionnements d'un système complexe à la déduction des besoins informationnels des utilisateurs: une transition difficile en IHM

IHM 2005 Proceedings of the 17th international conference on Francophone sur l'Interaction Homme-Machine
First experimentation of the ErgoPNets method using dynamic modeling to communicate usability evaluation results

HESSD'09 Proceedings of the 7th FIP WG 13.5 international conference on Human Error, Safety and Systems Development

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper proposes an approach for the specification of human-machine dialogue for interactive process control applications supported by a tool called Ergo-Conceptor+. This approach is based on a formal modelling of the Human-Machine System (HMS) behaviour. This modelling make possible the deduction of the user requirements and then the identification of the User Interface (UI) objects. A formalism using Interpreted Petri Nets is proposed for modelling the Human-Machine dialogue. The formal aspect allows the validation of the specifications before going on to the generation of the interface.