Supporting usability evaluation of multimodal man- machine interfaces for space ground segment applications using Petri net based formal specification

SpaceOps 2006 Conference

Volumn , Issue , 2006, Pages

  Palanque, Philippe ^a   Bernhaupt, Regina ^b   Navarre, David ^a   Ould, Mourad ^c   Winckler, Marco ^a  

^a UNIVERSITÉ DE TOULOUSE   (France)

^b UNIVERSITY OF SALZBURG   (Austria)

^c CNES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMMAND AND CONTROL; CRITICAL ACTIVITIES; FORMAL SPECIFICATION; MACHINE INTERFACES; MAN-MACHINE INTERFACE; MULTI-MODAL INTERACTIONS; MULTI-MODAL INTERFACES; USABILITY EVALUATION;

INTERACTIVE COMPUTER SYSTEMS; PETRI NETS; THREE DIMENSIONAL;

SPECIFICATIONS;

EID: 84884731841     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (46)

1. Accot J. Chatty S. and Palanque P. A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems, 3rd EUROGRAPHICS workshop on Design, Specification and Verification of Interactive systems, Springer-Verlag, pp. 92-104, 1996.
2. Accot, J., Zhai, S. Performance evaluation of input devices in trajectory-based tasks: an application of the steering law. Proceedings of the SIGCHI conference on Human factors in computing systems CHI'99. p. 466-472. ACM Press.
3. Ajmone Marsan M.; Balbo G.; Conte C.; Donatelli S., and Franceschinis G. "Modelling with generalized stochastic Petri nets". Wiley; 1995.
4. Bastide R. and Palanque P. A Petri-Net Based Environment for the Design of Event-Driven Interfaces. 16th International Conference on Applications and Theory of Petri Nets, ICATPN'95, Torino, Italy. Lecture Notes in Computer Science, no. 935. Springer verlag, 1995 p.66-83.
5. Bastide R., and Palanque P. A Visual and Formal Glue Between Application and Interaction. Journal of Visual Language and Computing 10, no. 3 (1999)
6. Bastide R., Navarre D. & Palanque P. A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications, Proceedings of the ACM SIGCHI 2002 (Extended Abstracts), pp. 516-517, 2002.
7. Bastide R., Navarre D., Palanque P., Schyn A. & Dragicevic P. A Model-Based Approach for Real-Time Embedded Multimodal Systems in Military Aircrafts. 6th ACM International Conference on Multimodal Interfaces (ICMI'04) October 14-15, 2004 Pennsylvania State University, USA, pp. 245-258.
8. Bederson B., Meyer J. & Good L. Jazz an Extensible Zoomable User Interface Graphics Toolkit in Java, UIST'2000, ACM Symposium on User Interface Software and Technology, pp. 171-180, 2000.
9. Bier E. A., Stone M.C., Pier K., Buxton W. and Derose T. Toolglass and Magic Lenses: The see-through interface. Computer Graphics. T. Kajiya ed.1993, pp. 73-80.
10. Bolt R. & Herranz E. Two-Handed Gesture in Multi-Modal Natural Dialog. Proceedings of the fifth annual ACM symposium on User interface software and technology, ACM Press, California, p 7-14, 1992.
11. Bolt R. Put That There: Voice and Gesture at the Graphics Interface, SIGGRAPH'80, p262-270, 1980.
12. Buxton W. & Myers B. A Study in Two-Handed Input. Proceeding of the ACM CHI, Addison-Wesley, 1986, p 321-326
13. Buxton, W., Myers, B. A. A study in two-handed input. Human Factors in Computing Systems, CHI'86 Conference Proceedings. ACM Press, 1986, 321-326.
14. Chatty S. Extending a Graphical Toolkit for Two-Handed Interaction, Proceedings of the ACM symposium on User Interface Software and Technology, ACM Press, California pp. 195-204, 1994.
15. Cohen P., Johnston M., McGee D., Oviatt S., Pittman J., Smith I.; Chen L., & Clow J. QuickSet: multimodal interaction for distributed applications. Proceedings of the fifth ACM international conference on Multimedia; Seattle, Washington, United States. ACM Press; 1997: p 31-40.
16. Coutaz J. & Nigay L. A Design Space for Multimodal Systems Concurrent Processing and Data Fusion. ACM Human Factors in Computing Systems conference, INTERCHI'93, pp. 172-178, 1993.
17. Coutaz J., Nigay L., Salber D., Blandford A., May J. & Young R. Four Easy Pieces for Assessing the Usability of Multimodal in Interaction: the CARE Properties. Interact' 95; Lillehammer, Norway. Chapman & Hall (IFIP); 1995: pp. 115-120.
18. den Os, E., de Koning, N., Jongebloed, H. and Boves. L.: Usability of a Speech-Centric Multimodal Directory Assistance Service. Proc. of the CLASS Workshop on Information Presentation and Natural Multimodal Dialogs, Verona, Italy, 2001, 65-69.
19. Dillon, R. F., Edey, J. D., Tombaugh, J. W. Measuring the true cost of command selection: techniques and results. Humanc Factos in Computing Systems, CHI'90 Conference Proceedings, ACM Press, 1990, 19-25.
20. Dragicevic P. & Fekete J-D. Input Device Selection and Interaction Configuration with ICON. Proceedings of IHM-HCI 2001, Blandford, A.; Vanderdonckt, J.; Gray, P., (Eds.): People and Computers XV-Interaction without Frontiers, Lille, France, Springer Verlag, pp. 543-448.
21. Dragicevic P., Navarre D., Palanque P, Schyn A. & Bastide R. Very-High-Fidelity Prototyping for both Presentation and Dialogue Parts of Multimodal Interactive Systems. DSVIS/EHCI 2004 joint conference 11th workshop on Design Specification and Verification of Interactive Systems and Engineering for HCI, Germany, July 11-13, Lecture Notes in Computer Science n° 3452, Springer Verlag, 2004.
22. Genrich H. Predicate/Transition Nets. High-Level Petri Nets: Theory and Application. K. Jensen and G. Rozenberg (Eds.), Springer Verlag, pp. 3-43, 1991.
23. Hinckley K., Czerwinski M. and Sinclair M. Interaction and Modelling Techniques for Desktop Two-Handed Input, Proceedings of ACM UIST, 1998, pp. 49-58.
24. Hinckley, K., Pausch, R., Proffitt, D., Kassel, N. F. Two-handed virtual manipulation. ACM Transactions on Computer-Human Interaction, 5 (3), 1998, 260-302.
25. Jost, M., Haubler, J., Merdes, M., Malaka, R. Multimodal Interaction for pedestrians: an evaluation study. In Proceedings of IUI'2005, ACM Press, San Diego, USA, January 9-12.
26. Kabbash, P., Buxton, W., Sellen, A. Two-handed input in a compound task. Human Factors in Computing System CHI'94 Conference Proceedings, ACM Press, 1994, 417-423.
27. Klein, A., Schwank, I., Généreux, M., Trost, H. Evaluating Multimodal Input Modes in a Wizard-of-Oz Study for the Domain of Web Search. In: Ann Blandford, Jean Vanderdonckt and Phil Gray (eds), People and Conputer XV-Interaction without Frontiers: Joint Proceedings of HCI 2001 and IHM 2001, pp. 475-483. Springer: London, September.
28. Lewis, C., Polson, P., Wharton, R. Testing a walkthrough methodology for theory-based design of walk-up-and-us interfaces. In Proceedings of CHI90, ACM Press, 1990, pp. 235-241.
29. Massaro, D. W. A Framework for evaluating Multimodal integration by humans and a role for embodied conversational agents. In Proceedings of ICMI'2004, October 13-15 2004. Pennsylvania, USA.
30. Navarre D., Palanque P. & Bastide R. Reconciling Safety and Usability Concerns through Formal Specification-based Development Process HCI-Aero'02 MIT, USA, 23-25 October, 2002. p. 168-175.
31. Navarre D., Palanque P., Dragicevic P. & Bastide R. An Approach Integrating two Complementary Model-based Environments for the Construction of Multimodal Interactive Applications. Interacting with Computers, vol. 17, n°3 (to appear), 2006.
32. Nedel, L.; Freitas, C.M.D.S.; Jacob, L.; Pi, M. Testing the Use of Egocentric Interactive Techniques in Immersive Virtual Environments. In proceedings of Ninth IFIP TC13 International Conference on Human-Computer Interaction, 2003, INTERACT 03. Amsterdam: IOS Press, 2003. p. 471-478.
33. Nielsen, J., Mack, R. (eds.) Usability Inspection Methods (New York: Wiley) 25-62. 1994
34. Nigay L. & Coutaz J. A Generic Platform for Addressing the Multimodal Challenge. Human Factors In Computing Systems CHI'95 Conference Proceeding; Denver Colorado USA. 1995: p 98-105.
35. OMG. The Common Object Request Broker: Architecture and Specification. In CORBA IIOP 2.2. Framingham 1998
36. Ould M., Palanque P., Schyn A., Bastide R., Navarre D., Rubio F. Multimodal and 3D Graphic Man Machine Interfaces to improve Operations. SpaceOps 2004, AAIA, Spring 2004, Montreal, Canada.
37. Oviatt S. Ten myths of Multimodal Interaction. Communication of the ACM. 1999; 42(11):74-81.
38. Panttaja, E. M., Reitter, D., Cummins, F. The Evaluation of Adaptable Multimodal Systems Outputs. In Proceedings of the DUMAS Workshop on Robust and Adaptive Information Processing for Mobile Speech Interface. 2004, Geneva Switzerland.
39. Paternò, F., Santos, I. Designing and Developing Multi-user, Multi-device Web Interfaces. In proceedings of CADUI 2006 (to appear), Springer Verlag, Bucharest, Romania, June 5-8, 2006.
40. Reason J. Human Error, Cambridge University Press, 1990.
41. Sherry L., Polson P., Feary M. & Palmer E. When Does the MCDU Interface Work Well? Lessons Learned for the Design of New Flightdeck User-Interface. In proceedings of HCI Aero 2002, AAAI Press, pp. 180-186.
42. Suhm, B., Myers, B., Waibel, A. Model-based and Empirical Evaluation of Multimodal Interactive Error Correction. In Proc. CHI99, Pittsburgh, USA, 15-20 May 1999. pp. 584-591.
43. Sy O., Bastide R., Palanque P., Le, D-H and Navarre D. PetShop: a CASE Tool for the Petri Net Based Specification and Prototyping of CORBA Systems. 20th International Conference on Applications and Theory of Petri Nets, ICATPN'99, springer Verlag, p. 145-172.
44. Vo M.T. & Wood C. Building an Application Framework for Speech and Pen Input Integration in Multimodal Learging Interface, Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, 1996, Vol 6, pp. 3545-3548.
45. Yee K-P. Two handed interaction on a tablet display. Late Breaking Results, ACM CHI 2004 conference, Vienna Austria, 2004, pp. 1493-1496.
46. Zhai, S., Barton, A. S., Selker, T. Improving browsing performance: a study of four input devices for scrolling and pointing tasks. Proccedings of INTERACT'97: The IFIP Conference on Human-Computer Interaction, 1997, 286-292.