Vers une approche sûre du développement des Interfaces Homme-Machine - Archive ouverte HAL Accéder directement au contenu
Thèse Année : 2003

Towards a safe approach to Human-Computer Interface development

Vers une approche sûre du développement des Interfaces Homme-Machine

Résumé

Human-Computer Interfaces (HCI) represent an essential part in most computing systems. Resorting to specification, development, checking, validation models and notations from interactive application's description is becoming necessary to ensure that the system perfectly meets the properties that define usability. Nowadays, we consider that properties can be checked following two approaches: one based on formal developments and the second one is tool based. In spite of great progress, none of them emerged. In this context, we propose two new approches allowing a safe Human-Computer interface development, based on a single formal method (B method). The first approach, based on formal developments, permits the integration of HCI notations and heterogeneous techniques into a single forma method (B method) in order to express, check and validate interactive system properties. The second one, based on tools definitions (SUIDT) allows creating an interactive dialog between the formally-developed functional core using B and an user interface. Moreover, the latter approach ensures properties what are expressed both into the functional core and by the user's needs.
Les interfaces homme-machine (IHM) constituent une part indispensable dans la quasi-totalité des systèmes informatiques. Le recours à des notations de description des IHM, et à des modèles de spécification, de développement, de vérification et de validation devient indispensable pour assurer que le système satisfait les propriétés définissant la notion d'utilisabilté. Aujourd'hui, on peut considérer que deux approches exploitant les modèles du domaine de l'IHM peuvent être mises en parallèle pour la vérification de propriétés : les approches fondées sur le développement formel et les approches fondées sur la définition d'outils. Malgré des avancées intéressantes, aucune d'elles n'est encore parvenue à s'imposer. Nous proposons dans cette thèse deux nouvelles approches permettant le développement sûr d'interfaces homme-machine, fondées sur une même méthode formelle (la méthode B). La première fondée sur le développement formel permet, d'intégrer des notations et des techniques hétérogènes du domaine de l'IHM dans une seule et unique méthode formelle (la méthode B), afin d'exprimer, vérifier et valider des propriétés du système interactif. La seconde, fondée sur la définition d'outils, (SUIDT), permet de concevoir de manière interactive le dialogue entre un noyau fonctionnel développé formellement en B et une présentation graphique de l'interface, tout en garantissant le respect des propriétés exprimées à la fois dans le noyau fonctionnel et au niveau des tâches de l'utilisateur.
Fichier principal
Vignette du fichier
2003-thesis-baron.pdf (3.3 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

tel-03592883 , version 1 (01-03-2022)

Identifiants

  • HAL Id : tel-03592883 , version 1

Citer

Mickaël Baron. Vers une approche sûre du développement des Interfaces Homme-Machine. Informatique [cs]. Université de Poitiers (France), 2003. Français. ⟨NNT : ⟩. ⟨tel-03592883⟩
47 Consultations
26 Téléchargements

Partager

Gmail Facebook X LinkedIn More