Affiliations: [a] Faculté des Sciences de Tunis, Départment des Sciences de l'Informatique, Laboratoire d'Informatique, de Parallélisme et de Productique (LIP.2), Campus Universitaire, 1060 Le Belvédère, Tunis, Tunisie. Tel.: +216 1 872 600; Fax: +216 1 885 190; E-mail: [email protected], [email protected], [email protected] | [b] LAMIH, URA CNRS 8530, Université de Valenciennes et du Hainaut-Cambrésis, Le Mont Houy, F-59313 Valenciennes cedex 9, France. Tel.: +33 3 27 51 14 69; Fax: +33 3 27 51 13 16; E-mail: [email protected]
Correspondence:
[*]
Corresponding author.
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.
Keywords: User Interface (UI), Human-Machine dialogue, Human-Machine System (HMS), Formal Specification, Interpreted Petri Nets, Dialogue modelling
