Interpreted Petri Nets used for human-machine dialogue specification - Archive ouverte HAL Access content directly
Journal Articles Integrated Computer-Aided Engineering Year : 2002

Interpreted Petri Nets used for human-machine dialogue specification

, , (1) ,
1
Faouzi Moussa
  • Function : Author
  • PersonId : 1040523
Meriem Riahi
  • Function : Author
  • PersonId : 1038768
Mohamed Moalla
  • Function : 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.
Not file

Dates and versions

hal-03330812 , version 1 (01-09-2021)

Identifiers

Cite

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⟩
6 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More