Une Approche Formelle pour l'Evaluation de la Tolérance aux Interruptions des Système Interactifs - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Une Approche Formelle pour l'Evaluation de la Tolérance aux Interruptions des Système Interactifs

Résumé

This paper presents an approach for investigating potential disruptive effects of interruptions on task performance in a multitasking environment. The approach combines previous work in the field of interruption analysis, formal description techniques for interactive systems and stochastic processes to support performance analysis of user tasks constrained by the occurrence of interruptions in the working environment. The approach uses formal description techniques to provide a comprehensive description of user tasks, system and interruption behaviour. The detailed mechanism by which systems and interruptions behave is presented using a Petri nets-based formal description technique called Interactive Cooperative Objects (ICO). The use of a formal modeling technique for the description of these three components makes it possible to compare, analyze and integrate them. In particular, it allows us to determine which of the system states are actually affected by the occurrence of interruptions. The approach is exemplified by a case study that implements two interaction techniques for manipulating icons in a desktop environment.
Ce papier présente une approche permettant d’étudier les éventuels effets des interruptions sur la performance d’exécution de la tâche dans un environnement multitâche. L’approche combine de précédents travaux dans le domaine de l’analyse d’interruption, des techniques de description formelles pour les systèmes interactifs et des processus stochastiques pour permettre l’analyse de performance de tâche utilisateur perturbée par des interruptions dans son environnement de travail. L’approche utilise des techniques de description formelle pour permettre une description complète des tâches utilisateurs, du système et du comportement des interruptions. Le mécanisme détaillé du comportement du système et des interruptions est présenté en utilisant un formalisme basé sur les réseaux de Petri appelé Interactive Cooperative Objects (ICO). L’utilisation de techniques de modélisation formelles pour ces trois composants permet de les comparer, de les analyser et de les intégrer. En particulier, cela nous permet de déterminer quels états du système sont affectés par les occurrences des interruptions. L’approche est illustrée par une étude de cas implémentant deux techniques d’interaction permettant la manipulation d’icônes dans un environnement de travail.
Fichier non déposé

Dates et versions

hal-03653366 , version 1 (27-04-2022)

Identifiants

Citer

Philippe Palanque, Jean-François Ladry, Eric Barboni, David Navarre, Marco Winckler. Une Approche Formelle pour l'Evaluation de la Tolérance aux Interruptions des Système Interactifs. 21st Conférence Francophone sur l'Interaction Homme-Machine: L'interaction au sommet (IHM 2009), AFIHM : Association Francophone d'Interaction Humain-Machine, Oct 2009, Grenoble, France. pp.141-150, ⟨10.1145/1629826.1629848⟩. ⟨hal-03653366⟩
15 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More