Interpreted Petri Nets used for human-machine dialogue specification - Université Polytechnique des Hauts-de-France Accéder directement au contenu
Article Dans Une Revue Integrated Computer-Aided Engineering Année : 2002

Interpreted Petri Nets used for human-machine dialogue specification

Faouzi Moussa
  • Fonction : Auteur
  • PersonId : 1040523
Meriem Riahi
  • Fonction : Auteur
  • PersonId : 1038768
Mohamed Moalla
  • Fonction : Auteur

Résumé

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.
Fichier principal
Vignette du fichier
Icae-Moussa-et-al-2002 PDF.pdf (772.92 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03330812 , version 1 (21-12-2023)

Identifiants

Citer

Faouzi Moussa, Meriem Riahi, Christophe Kolski, Mohamed Moalla. Interpreted Petri Nets used for human-machine dialogue specification. Integrated Computer-Aided Engineering, 2002, 9 (1), pp.87-98. ⟨10.3233/ica-2002-9106⟩. ⟨hal-03330812⟩
19 Consultations
2 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More