Skip to Main content Skip to Navigation
Conference papers

Vers une spécification formelle des interfaces homme-machine basée sur l'utilisation des réseaux de Petri

Abstract : This is a propose for an approach for graphical Interfaces design in process control, based on a formal modelization of the Man-Machine System behaviour. Interpreted Petri Nets are used for the behaviour modelization which considers both : the normal functionning context and the abnormal one. This allows the deduction of the user requirements and offers the possibilities to formel validation of the specifications and automatic generation of the interface.
Document type :
Conference papers
Complete list of metadata

https://hal-uphf.archives-ouvertes.fr/hal-03414023
Contributor : Aurélien Vicentini Connect in order to contact the contributor
Submitted on : Thursday, November 4, 2021 - 10:22:53 AM
Last modification on : Friday, November 5, 2021 - 4:23:01 AM

Identifiers

  • HAL Id : hal-03414023, version 1

Collections

Citation

Meriem Riahi, Faouzi Moussa, Mohamed Moalla, Christophe Kolski. Vers une spécification formelle des interfaces homme-machine basée sur l'utilisation des réseaux de Petri. 6ème Colloque ERGO IA'98 Ergonomie et Informatique Avancée, Jan 1998, Biarritz, France. pp. 196-205. ⟨hal-03414023⟩

Share

Metrics

Record views

9