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.
https://hal-uphf.archives-ouvertes.fr/hal-03330812 Contributor : Aurélien VicentiniConnect 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