Towards a user interface generation approach based on object oriented design and task model

ABSTRACT

This paper presents an approach of generating the user interface from the task model. Our work is situated in the course of approaches based on models. This approach called TOOD (Task Object Oriented Design) is based on a formal notation, which gives quantitative results that may be checked by designers and provide the possibility of performing mathematical verifications on the models. The modelling formalism is based on the joint use of the object approach and high level Petri nets. The TOOD method integrates different models (task model, user model, local model of the interface, abstract model of the interface, and model of the implementation) and their relations. An example, extracted from the air traffic control, is presented to illustrate TOOD methodology.

REFERENCES

• 1: Anthony Savidis, Constantine Stephanidis. Unified user interface design: designing universally accessible interactions. Interacting with Computers 16 (2004) 243--270.
• 2: Barthet, M. F. (1988), Logiciels interactifs et ergonomic: modèles et méthodes de conception, Dunod.
• 3: J. M. Christian Bastien , Dominique L. Scapin, Evaluating a user interface with ergonomic criteria, International Journal of Human-Computer Interaction, v.7 n.2, p.105-121, April-June 1995 [doi>10.1080/10447319509526114]
• 4: Card, S. K, Moran, T. P. Newell A. (1983), The Psychology of HCI. In Lawrence Erlbaum Ass (Ed.). London.
• 5: Derek Coleman , Patrick Arnold , Stephanie Bodoff , Chris Dollin , Helena Gilchrist , Fiona Hayes , Paul Jeremaes, Object-oriented development: the fusion method, Prentice-Hall, Inc., Upper Saddle River, NJ, 1994
• 6: Delatour, J. & Paludeto, M. (1998), De HOOD/PNO àà UML/PNO: Une méthode pour les systèmes temps réels basée sur UML et objets à réseaux de Petri. Rapport LAAS No :98248.
• 7: Gamboa-Rodriguez, F. (1998), Spécification et implémentation d'ALACIE: Atelier Logiciel d'Aide à la Conception d'Interfaces Ergonomiques. Thèse en sciences: Université Paris XI.
• 8: Hong Liu , Mingxi Tang , John Hamilton Frazer, Supporting dynamic management in a multi-agent collaborative design system, Advances in Engineering Software, v.35 n.8-9, p.493-502, August/September 2004 [doi>10.1016/j.advengsoft.2004.06.007]
• 9: Huhn Kim , Wan Chul Yoon, Supporting the cognitive process of user interface design with reusable design cases, International Journal of Human-Computer Studies, v.62 n.4, p.457-486, April 2005 [doi>10.1016/j.ijhcs.2004.12.001]
• 10: Ari Jaaksi, Object-oriented specification of user interfaces, Software—Practice & Experience, v.25 n.11, p.1203-1221, Nov. 1995 [doi>10.1002/spe.4380251103]
• 11: Johnson, P., Johnson, H. Wilson, S. (1995), Scenario-based design and task analysis. In Carroll, J. M. (Ed.). Scenario-based design: Envisioning work and technology in system development. Willey.
• 12: Birgit Kneer , Gerd Szwillus, OBSM: a notation to integrate different levels of user interface design, Proceedings of the conference on Designing interactive systems: processes, practices, methods, & techniques, p.199-205, August 23-25, 1995, Ann Arbor, Michigan, United States [doi>10.1145/225434.225456]
• 13: Lee S. K., Hwang C. S.: Architecture layers and engineering approach for agent-based system. Information and Software Technology 45 (2003) 889--898
• 14: Mahfoudhi A., Abed M. & ANGUE J-C. (1995), TOOD: Task Object Oriented Description for Ergonomic Interfaces Specification. IFAC/IFIP/IFOR/IEA SYMPOSIUM on Analysis, Design and Evaluation of Man-Machine Systems at MIT-Combridge, MA USA, June 27--29.
• 15: Mahfoudhi, A (1997). TOOD: Une méthodologie de description orientée objet des tâches utilisateur pour la spécification et la conception des interfaces homme-machine. PhD dissertation, University of Valenciennes, France.
• 16: Mahfoudhi Adel, Abed Mourad, Tabary Dimitri. From the formal specifications of users tasks to the automatic generation of the HCI specifications. In: Blanford, A., Vanderdonckt, J., Gray, P. (Eds.), People and Computer XV---Interaction without Frontiers. Springer, Berlin 2001.
• 17: Jakob Nielsen , Rolf Molich, Heuristic evaluation of user interfaces, Proceedings of the SIGCHI conference on Human factors in computing systems: Empowering people, p.249-256, April 01-05, 1990, Seattle, Washington, United States [doi>10.1145/97243.97281]
• 18: Norman, D. & Draper, (1986), User centered system design, Lawrence Erlbaum Associates, Publishers.
• 19: Palanque, P. Spécifications formelles et systèmes interactifis, Habilitation à diriger des recherches, university of Toulouse I, France (1997)
• 20: Philippe A. Palanque , Rémi Bastide , Fabio Paternò, Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems, Proceedings of the IFIP TC13 Interantional Conference on Human-Computer Interaction, p.323-330, July 14-18, 1997
• 21: Paludetto, M. & Benzina, A. (1997), Une mééthodologie orientée objet HOOD et réseaux de Petri.: Concepts et outils pour les systèmes de production in J-C. Hennet (ed.) Cépadués, p293--325.
• 22: Pinheiro da Silva, P., Paton, N. W. (2000). UMLi: The Unified Modeling Language for Interactive applications, 3rd Int. Conference on the Unified Modeling Language. LNCS, 1938, pp. 117--131.
• 23: Scapin, D. L. & Pierret-Golbreich, C. (1990), Towards a method for task description: MAD. Work with Display Unit'89 in Berlinguet, L & Berthelette, D. (Eds.) CAP.
• 24: Sibertin-Blanc, C. High-level Petri nets with Data Structure. 6th EWPNA, Espoo (Finland), (1985)
• 25: Tabary D., Abed M., Mahfoudhi A. (2001). Towards a design based on the User Task of human interfaces in cockpit. PIC'2001: PEOPLE IN CONTROL - An international conference on human interfaces in control rooms, cockpits and command centers. UMIST, Manchester, UK: 19--21 June 2001
• 26: Tarby, J-C & Barthet, M-F. (1996), The Diane+ Method in CADUI'96, pp95--119.
• 27: Ricard, E. & Buisine, A. (1996), Des tââches utilisateur au dialogue homme-machine: GLADIS++, une démarche industrielle. IHM96, pp71--76.
• 28: Vanderdonckt J. (1994), Guide ergonomique de la présentation des applications hautement interactives. Press universitaire de Namur.
• 29: Vanderdonckt, J. (1997), Conception assistée de la présentation d'une interface homme-machine ergonomique pour une application de gestion hautement interactive. Thèse, Faculté Notre Dame de la Paix Louvain, Belgique.

INDEX TERMS

Keywords:
formal method, object approach, petri nets, task model, user interface specification