 |
Journal articles
Interpreted Petri Nets used for human-machine dialogue specification
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 :
Human-machine dialogue
Human-Machine System
https://hal-uphf.archives-ouvertes.fr/hal-03330812
Contributor : Aurélien Vicentini Connect in order to contact the contributor
Submitted on : Wednesday, September 1, 2021 - 11:37:04 AM
Last modification on : Tuesday, October 19, 2021 - 6:38:14 PM
Contributor : Aurélien Vicentini Connect in order to contact the contributor
Submitted on : Wednesday, September 1, 2021 - 11:37:04 AM
Last modification on : Tuesday, October 19, 2021 - 6:38:14 PM