Formal Modelling of Task Interruptions

Conference on Human Factors in Computing Systems - Proceedings

Volumn , Issue , 1996, Pages 45-46

  Jambon, Francis ^a  

^a UNIV GRENOBLE ALPES   (France)

Author keywords

formal methods; interleaving; Interruptions; UAN

Indexed keywords

AIR TRAFFIC CONTROL; COMPUTER SIMULATION; FORMAL LOGIC; INTERACTIVE COMPUTER SYSTEMS; KNOWLEDGE ENGINEERING; PROBLEM SOLVING; SYSTEMS ANALYSIS; USER INTERFACES;

CURRENT MODELING; DOCTORAL RESEARCH; FORMAL MODELING; FORMAL NOTATIONS; GENERAL STRUCTURES; HUMAN ACTIVITIES; INTERLEAVINGS; INTERRUPTION; REAL-WORLD; UAN; DATA LINK SYSTEM; KNOWLEDGE BLOCKS; TASK INTERRUPTIONS;

FORMAL METHODS; HUMAN COMPUTER INTERACTION;

EID: 0029705001     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/257089.257128     Document Type: Conference Paper

References (8)

1. Allen, J.F. Maintaning knowledge about temporal interval. Communications of the ACM. 26, 11 (November 1983), 832-843.
2. Boeing. FAA Certifies Boeing FANS-1 Navigation System. The Boeing Company, World Wide Web Document "http://www.boeing.com/news.release.950620.html", June, 20 1995.
3. Boy, G. Intelligent assistant systems. Academic Press. 1991.
4. Hartson, R.H. and Gray, P.D. Temporal aspects of tasks in the User Action Notation in Human Computer Interaction. Lawrence Erlbaum Associates, 1992. Vol. 7, pp. 1-45.
5. Jambon, F. Interruptions et formalismes de scripts de tâches, in Proc. Septièmes journées sur l'ingénierie de l'Interaction Homme-Machine (IHM'95) (Toulouse, France, 11-13 Octobre, 1995), Cépaduès-Éditions, pp. 161-168.
6. Jambon, F. and Coutaz, J. Contrôle aérien et liaisons de données: Vers un plus grand partage de l'information, in Proc. Cinquièmes journées sur l'ingénierie des Interfaces Homme-Machine (IHM'93) (Lyon, France, Octobre, 1993), Reprographie École Centrale de Lyon, pp. 109-114.
7. O'Conaill, B. and Frohlich, D. Timespace in the workplace: Dealing with interruptions, in Proc. Human factors in computing systems (CHI'95) (Denver (Colorado), USA, May 7-11, 1995), ACM Press, Conference companion, pp. 262-263.
8. Scapin, D.L. and Pierret-Golbreich, C. Towards a method for task description: MAD in Work with display units 89. Elsevier Science Publishers, North-Holland, 1990.