J. Abrial, B. The, and . Book, Assigning Programs to Meanings, 1996.

C. Appert and M. Et-beaudouin-lafon, SMCanvas, Proceedings of the 18th international conference on Association Francophone d'Interaction Homme-Machine , IHM '06, pp.99-106, 2006.
DOI : 10.1145/1132736.1132749
URL : https://hal.archives-ouvertes.fr/inria-00538509

C. Appert, M. Et-beaudouin-lafon, and . Swingstates, Adding State Machines to the Swing Toolkit, pp.319-322, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00538387

C. Appert, S. Huot, P. Dragicevic, M. Et-beaudoin-lafon, and . Flowstates, Prototypage d'applications interactives avec des flots de données et des machines à états, IHM'09, pp.119-128, 2009.

S. Balbo, N. Ozkan, and C. Paris, Choosing the Right Task-modeling Notation: A Taxonomy. The Handbook of Task Analysis for Human-Computer, pp.445-466, 2004.

M. Baron and P. Et-girard, SUIDT : A task model based GUI-Builder TAMODIA : Task MOdels and DIAgrams for user interface design, C. Pribeanu and J. Vanderdonckt. Romania, pp.64-71, 2002.

M. Baron and D. Et-scapin, http://www-rocq.inria.fr/merlin/kmade/kmadedocfr, Logiciels Interactifs et Ergonomie, Modèles et méthodes de conception. Dunod Informatique, 1988.

L. Bass, E. Hardy, K. Hoyt, R. Little, and R. Et-seacord, The ARCH Model : SEEHEIM Revisited, The Serpent run time architecture and dialog model, 1988.

R. Bastide, Objets coopératifs : Un formalisme pour la modélisation des systèmes concurrents, 1992.

R. Bastide, PetShop, Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum) , OOPSLA '00, pp.167-169, 2000.
DOI : 10.1145/367845.368075

C. Bastien and D. Et-scapin, A validation of ergonomic criteria for the evaluation of human???computer interfaces, International Journal of Human-Computer Interaction, vol.1, issue.2, 1993.
DOI : 10.1080/10447319009525981

M. Beaudouin-lafon, Interaction instrumentale: de la manipulation directe à la réalité augmentée, 1997.

M. Beaudouin-lafon, Instrumental interaction, Proceedings of the SIGCHI conference on Human factors in computing systems , CHI '00, pp.446-453
DOI : 10.1145/332040.332473
URL : https://hal.archives-ouvertes.fr/hal-01242669

R. Blanch, Architecture logicielle et outils pour les interfaces hommes-machines graphiques avancées, 2005.

R. Blanch and M. Et-beaudouin-lafon, Programming rich interactions using the hierarchical state machine toolkit, Proceedings of the working conference on Advanced visual interfaces , AVI '06, pp.51-58, 2006.
DOI : 10.1145/1133265.1133275

S. Caffiau, P. Girard, D. L. Scapin, L. Guittet, and L. Et-sanou, Assessment of Object Use for Task Modeling, P. Forbrig and F. Paternò. Engineering Interactive SystemsLNCS, vol.5247, pp.14-28, 2008.
DOI : 10.1007/978-3-540-85992-5_2

S. Caffiau, L. Guittet, D. L. Scapin, and L. Et-sanou, Utiliser les outils de simulation des modèles de tâches pour la validation des besoins utilisateur : une revue des problèmes (Poster), ERGO'IA, pp.257-258, 2008.

G. Calvary, J. Coutaz, and D. Et-thevenin, A Unifying Reference Framework for the Development of Plastic User Interfaces, Little and L. Nigay. Engineering for Human-Computer Interaction (8th IFIP International Conference, EHCI'01, pp.173-192, 2001.
DOI : 10.1007/3-540-45348-2_17

G. Calvary, J. Coutaz, D. Thevenin, Q. Limbourg, L. Bouillon et al., A Unifying Reference Framework for multi-target user interfaces, Interacting with Computers, vol.15, issue.3, pp.15-289, 2003.
DOI : 10.1016/S0953-5438(03)00010-9

G. Calvary, J. Coutaz, D. Thevenin, Q. Limbourg, N. Souchon et al., Platicity of User Interfaces: A Revised Reference Framework, 2002.

S. Card, T. Moran, and A. Newell, The Psychology of Human-Computer Interaction, 1983.

S. Charfi, Conception et Evaluation des Systèmes Interactifs Mixtes selon une Approche Centrée Utilisateur, 2009.

S. Couix, Usages et construction des modèles de tâches dans la pratique de l'ergonomie : une étude exploratoire, 2007.

J. Coutaz, PAC, an Implementation Model for the User Interface. 1987. IFIP TC13 Human-Computer Interaction (INTERACT'87), pp.431-436

J. Coutaz, Interfaces Homme-Ordinateur, Conception et Réalisation, Dunod Informatique, 1990.

J. Coutaz and L. Et-nigay, Seeheim et Architecture Multi-agent. 1991. Interfaces Homme- Machine

F. Depaulis, F. Jambon, P. Girard, and L. Et-guittet, Le modèle d'architecture logicielle H4 : Principes, usages, outils et retours d'expérience dans les applications de conception technique. Revue d'Interaction Homme-Machine, pp.93-129, 2006.

A. Dix, Tasks = Data + Action + Context: Automated Task Assistance through Data- Oriented Analysis (invited paper). 2008. P. Forbrig and F. Paternò. Engineering Interactive Systems, LNCS, vol.5247, pp.1-13, 2008.

A. Dix, J. Finlay, G. Abowd, and R. Et-beale, Human-Computer Interaction, 1993.

A. J. Dix, Formal Methods for Interactive Systems, 1991.

P. Dragicevic and D. Et-fekete, Support for input adaptability in the ICON toolkit, Proceedings of the 6th international conference on Multimodal interfaces , ICMI '04, pp.212-219, 2004.
DOI : 10.1145/1027933.1027969
URL : https://hal.archives-ouvertes.fr/hal-00875916

P. Falzon, nature, objectifs et connaissances de l'ergonomie. Ergonomie, P. Falzon, pp.17-35, 2004.

J. Fekete, Les trois services du noyau sémantique indispensables à l'IHM. 1996 Journées Francophones sur l'Ingénierie de l'Interaction Homme-Machine (IHM'96), J. Coutaz, pp.45-50

R. F. Gamboa, Spécification et implémentation d'ALACIE : Atelier Logiciel d'Aide à la Conception d4interfaces Ergonomiques, 1998.

R. F. Gamboa, D. L. Et-scapin, J. C. Harrison, and . Torres, Editing MAD* task description for specifying user interfaces, at both semantic and presentation levels Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS'97). Granada, Spain, pp.193-208, 1997.

G. Gauffre, Couplage de la Modélisation et Développement des Systèmes interactifs Mixtes, 2009.

P. Girard, Ingénierie des systèmes interactifs : vers des méthodes formelles intégrant l'utilisateur, 2000.

P. Girard, G. Pierra, and L. Et-guittet, Les interacteurs hiérarchisés : une architecture orientée tâches pour la conception des dialogues, pp.2-3, 1995.

I. Graham, Object oriented methods, 1991.

P. Gray, D. England, S. Et-mcgowan, and . Xuan, Enhancing the UAN to capture temporal relation among actions, 1994.

M. W. Green, A survey of three dialogue models, ACM Transactions on Graphics, vol.5, issue.3, pp.244-275, 1986.
DOI : 10.1145/24054.24057

L. Guittet, Contribution à l'Ingénierie des Interfaces Homme-Machine -Théorie des Interacteurs et Architecture H4 dans le système NODAOO, 1995.

N. Halbwachs, P. Caspi, P. Raymond, and D. Et-pilaud, The synchronous dataflow programming language lustre, Proceedings de IEEE, pp.1305-1320, 1991.

D. Harel, Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987.
DOI : 10.1016/0167-6423(87)90035-9

H. R. Hartson and P. Gray, Temporal aspects of Tasks in the User Action Notation. Human- Computer Interaction, pp.1-45, 1992.

D. Hix and H. R. Et-hartson, Developping user interfaces: Ensuring usability through product & process, 1993.

R. J. Jacob, Using Formal Specification in the Design of Human-Computer Interface. 1982. Human Factors in computing systems, pp.315-321

F. Jambon, Error Recovery Representations in Interactive System Development. 1997. C. Stephanidis and N. Carbonell. Third Annual ERCIM Workshop on "User Interfaces for All, pp.177-182

P. Jaulent, Génie logiciel : les méthodes, 1992.

P. Johnson, H. Johnson, R. Waddington, and A. Et-shouls, Task-Related Knowledge Structures: Analysis, Modelling and Application. People and Computers: from research to implementations, pp.35-62, 1988.

C. Lewis and D. A. Et-norman, Designing for Error. User Centered System Design / New Perspectives on Human-Computer Interaction, pp.411-432, 1986.

Q. Limbourg, C. Pribeanu, and J. Et-vanderdonckt, Towards Uniformed Task Models in a Model-Based Approch, Proceedings DSVIS. pp, 2001.

Q. Limbourg, C. Pribeanu, and J. Et-vanderdonckt, Uniformation of Task Models in Model- Based Approaches, 2001.

Q. Limbourg and J. Et-vanderdonckt, Comparing Task Models for User Interface Design (Chapter 6) The Handbook of Task Analysis for Human-Computer Interaction, p.pp, 2003.

V. Lucquiaud, Proposition d'un noyau et d'une structure pour les modèles de tâches orientés utilisateurs. 2005a. 17th French-speacking conference on Human-computer interaction, pp.83-90

V. Lucquiaud, Sémantique et Outil pour la Modélisation des Tâches Utilisateur: N-MDA, 2005.

K. Luyten, Dynamic User Interface Generation for Mobile and Embedded Systems with Model-Based User Interface Development, 2004.

K. Luyten, T. Clerckx, K. Coninx, and J. Et-vanderdonckt, Derivation of a Dialog Model from a Task Model by Activity Chain Extraction, 2003.
DOI : 10.1007/978-3-540-39929-2_14

D. Marca and C. Et-mcgowan, SADT: structured analysis and design technique, 1987.

M. Minsky, Society of mind, Artificial Intelligence, vol.48, issue.3, 1988.
DOI : 10.1016/0004-3702(91)90036-J

G. Mori, F. Paternò, and C. Santoro, Tool support for designing nomadic applications, Proceedings of the 8th international conference on Intelligent user interfaces, IUI '03, pp.141-148, 2003.
DOI : 10.1145/604045.604069

A. B. Myers, A brief history of human-computer interaction technology, interactions, vol.5, issue.2, pp.44-54, 1998.
DOI : 10.1145/274430.274436

D. Navarre, P. Palanque, F. Paterno, C. Santoro, and R. Et-bastide, A Tool Suite for Integrating Task and System Models through Scenarios. Design, Specification, and Verification -Interactive Systems (DSV-IS'01, pp.88-113, 2001.

D. A. Norman, Stages and levels in human-machine interaction, International Journal of Man-Machine Studies, vol.21, issue.4, pp.365-375, 1984.
DOI : 10.1016/S0020-7373(84)80054-1

D. A. Norman, The Psychology of Everyday Things, 1988.
URL : https://hal.archives-ouvertes.fr/hal-00692043

D. A. Norman and S. W. Et-draper, User Centered System Design, 1986.

V. Normand, Le modèle SIROCO : de la spécification conceptuelle des interfaces utilisateur à leur réalisation, 1992.

D. R. Olsen, User Interface Management Systems: Models and Algorithms, 1992.

P. Palanque, Modélisation par Objets Coopératifs Interactifs d'interfaces homme-machine dirigées par l'utilisateur, 1992.

P. Palanque and R. Et-bastide, Petri-Net Based Design of User Interfaces using the Interactive Cooperative Objects Formalism. 1994. F. Paternò. Interactive Systems: Design, Specification, and Verification (DSV-IS'94) Bocca di Magra, Italy, pp.383-400

P. Palanque, R. Bastide, and M. Et-winckler, Automatic Generation of Interactive Systems: Why A Task Model is not Enough. Human -Computer Interaction

P. Palanque, F. Paternò, and P. Wright, Case Study: User Interfaces for Air-Traffic Control, Workshop on Designing User Interfaces for Safety Critical Systems (CHI'98), 1998.

F. Paterno, ConcurTaskTrees: An Engineered Notation for Task Models. The Handbook of tTask Analysis for Human-Computer Interaction, pp.483-501, 2004.

F. Paternò, Model-Based Design and Evaluation of Interactive Applications, 2001.
DOI : 10.1007/978-1-4471-0445-2

F. Paternò and G. P. Et-faconti, On the LOTOS use to describe graphical interaction, pp.155-173, 1992.

F. Paternò, C. Mancini, and S. Et-meniconi, ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models. 1997. IFIP TC13 human-computer interaction conference (INTERACT'97), pp.362-369

G. E. Pfaff, User Interface Management Systems, Proceedings of the Workshop on User Interface Management Systems held in Seeheim, 1985.
DOI : 10.1007/978-3-642-70041-5

P. Pinheiro-da-silva, User Interface Declarative Models and Development Environments : A survey. 2000. P. Palanque and F. Paterno. 7th Eurographics workshop on Design, Specification and Verification of Interactive Systems DSVIS, pp.207-226, 2000.

C. Pribeanu and J. Et-vanderdonckt, A methodological approach to tack-based design of user interfaces, Studies in Informatics and Control, pp.145-158, 2002.

A. Puerta, The MECANO project : comprehensive and integrated support for Model-Based Interface development. 1996. J. Vanderdonckt. Computer-Aided Design of User interface (CADUI'96), pp.19-35

A. R. Puerta, A model-based interface development environment, IEEE Software, vol.14, issue.4, pp.40-47, 1997.
DOI : 10.1109/52.595902

J. Rasmussen, A. M. Pejtersen, and L. P. Et-goodstein, Cognitive Systems Engineering, 1994.

E. Ricard and Y. Et-pollet, Du modèle de tâches à l'interface homme/machine GLADIS/ALADIN : une approche industrielle, 1994.

K. Samaan, Prise en compte du modèle d'interaction dans le processus de construction et d'adaptation d'applications interactives, 2006.

L. Sanou, Définition et réalisation d'une boîte à outils générique dédiée à la Programmation sur Exemple, Ecole Nationale, 2008.

D. Scapin, Guide ergonomique de conception des interfaces homme-machine, 1986.
URL : https://hal.archives-ouvertes.fr/inria-00070083

D. Scapin and J. C. Et-bastien, Analyse des tâches et aide ergonomique à la conception : l'approche MAD* (chapitre 3) Analyse et conception de l'I.H.M. / Interaction Homme-Machine pour les S.I, p.pp, 2001.

D. L. Scapin and C. Pierret-golbreich, MAD : Une méthode analytique de description des tâches, Colloque sur l'Ingénierie des Interfaces Homme-Machine (IHM'89), 1989.

D. C. Schmidt, Model-Driven Engineering, IEEE Computer, 2006.

S. Sebillotte, Décrire des tâches selon les objectifs des opérateurs, de l'interview à la formalisation, Le Travail Humain, vol.54, issue.3, pp.193-223, 1991.

S. Sebillotte, Méthodologie pratique d'analyse de la tâche en vue d'extraction de caractéristiques pertinentes pour la conception d'interfaces, 1994.

S. Sebillotte and D. L. Et-scapin, From users??? task knowledge to high???level interface specification, International Journal of Human-Computer Interaction, vol.54, issue.1, pp.1-15, 1994.
DOI : 10.1080/01449298808901878

B. Shneiderman, Direct Manipulation: A Step Beyond Programming Languages, Computer, vol.16, issue.8, pp.57-69, 1983.
DOI : 10.1109/MC.1983.1654471

B. Shneiderman, Designing the User Interface, 1998.

C. Sibertin-blanc, High Level Petri Nets with Data Structure, 6th European Workshop on Petri Nets and Applications, 1985.
URL : https://hal.archives-ouvertes.fr/hal-00968326

N. Souchon and J. Et-vanderdonckt, A Review of XML-compliant User Interface Description Languages. DSV-IS, pp.377-391, 2003.

I. I. Systems, Definition of the Temporal Ordering Specification Language LOTOS, 1984.

P. Szekely, Retrospective and Challenges for Model-Based Interface Development, Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (DSV-IS'96), F. Bodart and J. Vanderdonckt, pp.1-27, 1996.
DOI : 10.1007/978-3-7091-7491-3_1

P. Szekely, P. Luo, and R. Et-neches, Beyond interface builders, Proceedings of the SIGCHI conference on Human factors in computing systems , CHI '93, pp.383-390
DOI : 10.1145/169059.169305

P. Szekely, P. Sukaviriya, P. Castells, J. Muthukumarasamy, E. Et et al., Declarative interface models for user interface construction tools: the Mastermind approach, IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction (EHCI'95). Grand Targhee Resort, pp.120-150, 1995.
DOI : 10.1007/978-0-387-34907-7_8

J. Tarby, Gestion Automatique de Dialogue Homme-Machine à partir de spécification conceptuelles, 1993.

J. Tarby and M. Barthet, Analyse et modélisation des tâches dans la conception des systèmes d'information. Analyse et conception de l'IHM, Interaction Homme- Machine pour les systèmes d'information, p.pp, 2001.

G. Texier, Contribution à l'ingéniérie des systèmes interactifs : Un environnement de conception graphique d'applications spécialisées de conception, 2000.

D. Thévenin, Adaptation en Interaction Homme-Machine : le cas de la plasticité, 2001.

H. Thimbleby, Press on, ITNOW, vol.50, issue.3, 2007.
DOI : 10.1093/itnow/bwn054

G. C. Van-der-veer, GTA: Groupware task analysis ??? Modeling complexity, Acta Psychologica, vol.91, issue.3, pp.297-322, 1996.
DOI : 10.1016/0001-6918(95)00065-8

G. C. Van-der-veer, M. Hoeve, B. F. Et-lenting, J. J. Green, C. P. Canas et al., Modeling Complex Work Systems - Method meets Reality, 8th European Conference on Cognitive Ergonomics (EACE). INRIA, Le Chesnay. Cognition and the worksystem, pp.115-120, 1996.

M. Van-welie, G. C. Van-der-veer, and A. Et-eliëns, An Ontology for Task World Models, DSV-IS, p.pp, 1998.
DOI : 10.1007/978-3-7091-3693-5_5

. Donc, La tâche Créer un email est une tâche élémentaire interactive : l'utilisateur est à l'origine de la création par le système Au contraire, les tâches Editer email et Envoyer email sont des tâches composées. Pour éditer un email, l'utilisateur complète l'en-tête (Remplir l'en-tête), éventuellement (noté OPT sur la tâche concernée) le message (Remplir message) et attache éventuellement un document

. La-première-est-une-tâche-utilisateur, le sujet, le message et le document La seconde est une tâche interactive qui présente comment l'utilisateur donne les informations déterminées mentalement au système. La tâche Attacher un document a pour particularité d'avoir pour tâche interactive non pas Entrer document mais Choisir le document parmi l'ensemble des fichiers que l'utilisateur possède, par exemple dans son agenda ou dans les archives des emails) La Figure 9.2.2 présente uniquement une de ces tâches décomposées, p.les autres

. De, . Tâches-remplir-destinataire, and C. Remplir, Remplir CCC et Attacher document peuvent être réalisées plusieurs fois

. Emailencours, Afin de compléter un email, il est nécessaire qu'au moins un objet email existe dans le groupe EmailEnCours et l'utilisateur ne peut envoyer un email que s'il existe au moins un mail prêt à être envoyé (un email dans le groupe des emails en cours dont le destinataire n'est pas 'null') Une fois l'email envoyé, l'objet correspondant quitte l'ensemble EmailEnCours. C'est la conséquence de l'exécution de la tâche Envoyer et afficher exprimée par l'expression : remove($EmailEnCours) Il n'y a pas de précondition pour définir le destinataire de l'email, le sujet et le message La tâche permet de mettre l, Destinataire := getValue($PersonneEditionAdresse)))

L. Pour-pouvoir-envoyer-un-email-brouillon and . Pré, Lorsqu'un email est repris (Reprendre email-Brouillon), l'un des emails enregistrés (désigné par l'utilisateur) comme brouillon devient l'email en cours d'édition (replace($Brouillon,$EmailEnCours)). Les tâches de modification (Modifier destinataire, Modifier sujet, Modifier CC, Modifier CCC, Modifier documents joints) suivent le même procédé que dans le cas de l'édition d'un nouvel email. jeu, l'activité de l'adversaire qui cherche à trouver la combinaison secrète est complexe et peut être décrite comme suit : le joueur, détermine d'abord le pion qu'il va choisir, il choisit ce pion parmi les six (6) ensembles de pions (déterminer un pion) et le désigne par la suite (prendre pion), Une fois le choix opéré il détermine la position dans laquelle le pion désigné sera placé dans la combinaison

. Au-cours-d-'une-partie-de-mastermind, Un pion est caractérisé par sa couleur (Texte) Plusieurs groupes de pions sont manipulés : -Le code secret (CodeSecret) C'est une liste de quatre (4) pions qui représentent la combinaison générée aléatoirement par le système -La combinaison en cours de composition (combinaisonEnCours). C'est une combinaison de quatre (4) pions réalisée par l'utilisateur. Pour cette combinaison, la position des pions est importante

L. Entités-peuvent-Être-contraintes, soit par des contraintes locales (clause WHERE) sur une entité particulière, soit par des contraintes globales (clauses UNIQUE, INVERSE et RULE) Pour compléter ces descriptions de données, EXPRESS dispose d'un langage procédural, Ce langage est utilisé pour définir des procédures et des fonctions utilisées dans le modèle

L. Le, exemple de la Figure 9.3.1. 9.4 Annexe 4 : Les méta-modèles de K-MAD(v2) Pour chacun des schémas de la méta-modélisation de K-MAD(v2), une représentation graphique (EXPRESS-G) et une représentation textuelle du méta-modèle et de ses contraintes sont présentés. 9.4.1. Un projet SCHEMA projectKMAD; use from caseStudyFile; use from task; use from object; use from Event; ENTITY projectKMAD; name:String; report:caseStudyFile; taskTrees:BAG[1:?] of task; objects:BAG[0:?] of abstractobject; events:BAG[0:?] of event; actors:BAG[0:?] of actor, p.BAG BAG

E. Taskofproject, trees:Bag of task): BAG of task; LOCAL resTot:BAG of task:=[]; res1:LIST of task; it:INTEGER:=0; it2:INTEGER:=0, p.0

E. End_schema, Annexe 6 : La méta-modélisation des liens Pour chacun des schémas de la méta-modélisation des liens entre les méta-modéles de K-MAD(v2) et des IH, une représentation graphique (EXPRESS-G) et une représentation textuelle du méta-modèle et de ses contraintes sont présentés. 9.6.1. Un projet de correspondance SCHEMA projetLiens; use from projectKMAD; use from projectIH; use from TacheTransition; use from TacheStateMachine; use from objectVariable; use from ExpExp