Abstract FR:

Dans un système interactif, le terme rétroaction (réponse du système utilisateur ou rendering) fait référence à toute forme de communication allant de l'application vers l'utilisateur. Ce mémoire traite de la spécification de rétroaction, et son lien avec la spécification formelle du dialogue entre l'application et l'utilisateur. Nous présentons tout d'abord une taxonomie des différentes catégories de rétroaction en fonction de sa sémantique dans l'application. Ensuite, nous étendons la portée de notre formalisme des ICO (formalisme mixte à base d'une approche orientée objet et du réseau de Pétri) pour spécifier formellement les rétroactions d'une application. Enfin, nous présentons différentes études de cas d'applications dotées d'interface à manipulation directe afin de montrer comme plusieurs catégories de rétroaction sont prises en compte dans le formalisme des ICO.