Communication Dans Un Congrès Année : 1996

Formal modelling of task interruptions

Résumé

My doctoral research is concerned with the formal modelling of task interruptions. Although interruptions are significant events in human activities, current models and notations do not support their expression appropriately. My contribution to this problem is twofold: the ISAU model which makes explicit the general structure of an interruption, and a UAN-based formal notation that would force designers to consider the right questions when developing a system. ISAU will be assessed using a real-world exemplar: the Data-Link system that supports communications between pilots from different aircraft's and air traffic controllers.

Dates et versions

hal-03608379 , version 1 (14-03-2022)

Identifiants

Citer

Francis Jambon. Formal modelling of task interruptions. ACM Conference Companion on Human Factors in Computing Systems (CHI'96), Apr 1996, Vancouver, Canada. pp.45-46, ⟨10.1145/257089.257128⟩. ⟨hal-03608379⟩
79 Consultations
0 Téléchargements

Altmetric

Partager

  • More