Use of interpreted petri nets for human-machine dialogue specification in process control
Résumé
This paper studies an approach for designing graphical Interfaces for process control. This approach is based on a formal modelling of the Human-Machine System behaviour. This modelling allows the deduction of the user requirements and then, the identification of the interface objects. The formal aspect permits the validation of the generated specifications before proceeding to the automatic generation of the interface. A formalism using Interpreted Petri Nets is here proposed for modelling the Human-Machine dialogue.
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|