Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception
Alain Mille - Yannick Prié LIRIS - UMR 5205 CNRS Université Claude Bernard Lyon 1
Rochebrune 2006 Traces, énigmes, problèmes : émergence et construction du sens
Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception Rochebrune 2006 - Traces, énigmes, problèmes : émergence et construction du sens
2
Motivation
environnement perçu
environnement conçu inter-action
Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception 3
Plan
z Logiques d’utilisation et de conception
z Modéliser l’expérience d’utilisation
z Approche Musette
z Facilitation : illustrations
z Discussion
Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception Rochebrune 2006 - Traces, énigmes, problèmes : émergence et construction du sens
4
Logiques de conception
z Environnements informatiques conçus
z possibilités d’inter-actions z « Logique »
z existence ou visée d’une rationalité, liée au(x) concepteur(s), plus ou moins inscrite dans l’application z Difficiles à stabiliser
z interaction entre applications de conceptions différentes
z dérive opportuniste de l’utilisation au cours de la pratique
Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception Rochebrune 2006 - Traces, énigmes, problèmes : émergence et construction du sens
5
Logiques d’utilisation
z Environnements perçus
z « Logique »
z existence ou visée d’une rationalité liée à l’utilisateur
z Dépendance au contexte d’utilisation
z sens a minima pour l’utilisateur, construction au cours de la pratique, dans la confrontation avec des logiques de conception
Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception 6
Confrontation et gestion de conflit à base de traces
z Hiatus entre logiques d’utilisation et de conception
z conflit au moment de l’utilisation
z gestion du hiatus = appropriation = adaptation (bonne ou mauvaise) de la logique d’utilisation
z Idée principale
z faciliter l’interprétation de son propre cours d’action pour faciliter l’appropriation
z fournir un dispositif de réflexion de l’inter-action à l’utilisateur
z présenter le conflit en cours pour lui permettre de mieux le gérer
z la trace de l’inter-action comme outil de présentation et de
manipulation de ses inscriptions
Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception Rochebrune 2006 - Traces, énigmes, problèmes : émergence et construction du sens
7
Modéliser l’utilisation
z Modèle d’utilisation
z
éléments permettant de produire une trace de l’inter-action z Signature de tâche (expliquée) ou Signature Expliquée (de
tâche)
z
motif significatif d’éléments d’inter-action permettant
z
de justifier a priori les éléments d’un MU
construction
z
de repérer des épisodes significatifs dans la trace, qui pourront être réutilisés pour la facilitation de l’activité de l’utilisateur
appropriation, assistance…
analyse (facilitation à long terme) z Musette
z
Modéliser les UtilisationS Et les Tâches pour Tracer l’Expérience
Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception Rochebrune 2006 - Traces, énigmes, problèmes : émergence et construction du sens
8
Musette : approche générale
Agent Observateur Agent Observateur
Modèle d’Utilisation Modèle d’Utilisation Observation
Génération de Trace Utilisateur
inter-action Système Observé Système Observé
Agents Assistants
Réutilisation d’épisodes
Modèle d’Observation Modèle d’Observation
Facili- tateurs Facili- tateurs
Réutilisation d’épisodes
Extraction d’épisodes
Analyseur Générique de Trace Analyseur Générique de Trace
Signature de Tâche 1 Signature de
Tâche 1 Signature de
Tâche 2 Signature de
Tâche 2
Épisodes
Épisodes Épisodes Épisodes Trace Primitive Trace Primitive
Agent Observateur Agent Observateur Observation
Génération de Trace Modèle d’Observation Modèle d’Observation
Modèle d’Utilisation Modèle d’Utilisation
Trace Primitive Trace Primitive
Extraction d’épisodes Signature de
Tâche 1 Signature de
Tâche 1 Signature de
Tâche 2 Signature de
Tâche 2
Épisodes
Épisodes Épisodes Épisodes Analyseur Générique de Trace Analyseur Générique de Trace
Analyste
Musette-analyse
Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception 9
MUSETTE-Base
z « Top level ontology » = ensemble de classes à spécialiser en un modèle d’utilisation
z Contraintes
z
Ordre séquence état/transition
z
Etat contient entités
z
Transition contient Evénements
z
Relations entre objets d’intérêt Observable
Objet d’intérêt Elément d’observation
Transition
État Événement Entité Relation
Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception Rochebrune 2006 - Traces, énigmes, problèmes : émergence et construction du sens
10
Modèle d’utilisation
z Ensemble de types d’entités, de types d’événements et de types de relations
z Dans la mesure où le langage le permet
z contraintes sur les types (spécialisation, exclusion mutuelle...)
z contraintes sur les relations (domaine et co-domaine, transitivité, relations inverses, ...)
z contraintes sur la disposition des objets d’intérêt dans les observations
z La trace primitive obéit au modèle d’utilisation
Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception Rochebrune 2006 - Traces, énigmes, problèmes : émergence et construction du sens
11
Modèle d’utilisation exemple Web
trait
lien page image
click
lang bm
sauv
contraintes
Observable
Objet d’intérêt
Événement Entité
click
bm lang
sauv
trait image
lien page
Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception 12
Trace primitive :
séquence états-transitions
état 5 transition 5 état 6 transition 6 état 7 page 1
fr lien1 lien2
click1 page 2
fr
bm1 page 3 lang1 en persistance
Observable Observation
Transition
État
Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception Rochebrune 2006 - Traces, énigmes, problèmes : émergence et construction du sens
13
Signatures de tâches expliquées et épisodes
z La trace primitive contient potentiellement des épisodes d’utilisation re-traçant une expérience utilisable pour la facilitation de l’utilisation
z Les épisodes sont repérés dans la trace grâce à des signatures de tâches expliquées
z Explications
z annotation des épisodes apportant des informations supplémentaires à destination d’agents humains ou logiciels
Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception Rochebrune 2006 - Traces, énigmes, problèmes : émergence et construction du sens
14
Signatures de tâches expliquées (SiTEx)
z Composition
z motif d’objets d’intérêt (OI) dans la trace
z contraintes
z sur la position relative des OI dans l’épisode
z sur les attributs des OI z annotations
z Explained task signature (EXTASI)
Observable
Objet d’intérêt Événement Entité
bm lang sauv
trait image
lienpage click
Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception 15
Signatures de tâches expliquées : exemples
Signature de tâche : Changer la langue
Page Page
Trait lang Trait
Cette page est préférée dans cette langue Signature de tâche : Relever un site intéressant
Page lien Click Page bm
Page
intérieure Page de
garde Même site
Permet
d’atteindre
la page
intérieure
Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception Rochebrune 2006 - Traces, énigmes, problèmes : émergence et construction du sens
16
page 1 fr
lien1 lien2
click1 page 2
fr
bm1 page 3
lang1 en page 1 lien1 click1
page 2 bm1
page
intérieure page de
garde
même site Permet d’atteindre la page intérieure
Permet d’atteindre la page intérieure
Relever un site intéressant :
persistance
Episodes : illustration 1
trait page lien
image
click lang
bm sauv contraintes
Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception Rochebrune 2006 - Traces, énigmes, problèmes : émergence et construction du sens
17
page 1 fr
lien1 lien2
click1 page 2
fr
bm1 page 3
lang1 en
Changer la langue :
Cette page estpréférée dans cette langue
page 2 fr
page 3 lang1 en
Cette page est préférée dans cette langue persistance
trait lien page
image
click lang
bm sauv contraintes
Episodes : illustration 2
Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception 18
Facilitateurs : principes
z
Différentes classes de facilitateurs à base de traces (Musette-assistance)
zSans SiTEx
z
assistance par présentation / navigation dans la trace
zAvec SiTEx
z
Assistant spécifique lié à une SiTEx (cf. RàPC)
zAssistant générique
z
moteur d’assistance s’adaptant à une signature de tâche reconnue (paramétrage par une SiTEx)
la tâche est « réifiée » par les SiTEx, et guide aussi bien l’assistant que l’utilisateur z
moteur d’assistance proposant interprétations de la tâche et assistances en
fonction de ce que fait l’utilisateur et en repérant des épisodes (partiellement) instanciés
les requêtes sont simplement faites en agissant sur le système : moins de biais dans l’expression des besoins
z
moteur d’assistance réagissant à une signature de tâche « construite » à la volée par l’utilisateur
possibilité de décrire de nouvelles tâches, et de construire sa propre assistance
Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception Rochebrune 2006 - Traces, énigmes, problèmes : émergence et construction du sens
19
Facilitateur : exemple Pixed
z Attention
z juste un exemple qui illustre un usage possible z Pixed
z Projet d’Integration de l’Expérience pour l’Enseignement à Distance (thèse Jean-Mathias Héraud - 2002)
z Réseau de notions (relations didactiques)
z Activités éducatives attachées aux notions
z Annotations nombreuses et variées par l’apprenant / l’enseignant
z Facilitation de l’orientation dans le processus d’apprentissage : approche « singulière »
Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception Rochebrune 2006 - Traces, énigmes, problèmes : émergence et construction du sens
20
Annoter
Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception 21
Annoter
Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception Rochebrune 2006 - Traces, énigmes, problèmes : émergence et construction du sens
22
Amorçage de la base d’épisodes
Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception Rochebrune 2006 - Traces, énigmes, problèmes : émergence et construction du sens
23
Cycle de réutilisation de l’expérience tracée
Distance entre notions Distance simple entre essais Potentiel d’un essai Distance entre traces Potentiel de trace Distance entre épisodes Potentiel d’un épisode Potentiel d’une activité éducative
Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception 24
Ma trace
Episode / Trace
Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception Rochebrune 2006 - Traces, énigmes, problèmes : émergence et construction du sens
26
Facilitateurs : exemple de scénario d’appropriation
z Appropriation d’un environnement à l’aide d’un outil d’Appropriation à base de Traces (OAT)
z Contexte
z
Déploiement d’un nouveau système z Scénario
z
Livraison du système et d’un OAT basé sur un premier MU.
z
Appropriation de l’environnement assistée par l’OAT
z
Suite
z
Construction par les utilisateurs d’un nouveau MU1, adapté de MU0, qui corresponde à leur façon d’utiliser l’environnement
z
Mise en place d’une nouvelle version du MU (MU1)
z
etc.
Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception 27
Deux dynamiques d’utilisation d’un système
z Evolution du modèle d’utilisation
z utilisateur / modélisateur
z réduction de conflit, intégration de l’évolution des logiques
z Evolution du système S en S’
z Intégration dans le nouveau système S’ de l’utilisation de la trace pour S
z a minima intégration de l’objet trace dans le modèle
d’utilisation de S’
Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception Rochebrune 2006 - Traces, énigmes, problèmes : émergence et construction du sens
28
Conclusion
z La trace comme arène explicite de résolution du hiatus entre logique d’utilisation et logique de conception d’un environnement informatique
z Musette : une approche de modélisation de traces et d’épisodes significatifs à l’aide de signatures de tâches expliquées
z Notion de facilitateurs à base de traces
z Déontologie du traçage / facilitation
z l’utilisateur est « propriétaire informé » de sa trace
z il peut la comprendre z il en contrôle l’utilisation
Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception Rochebrune 2006 - Traces, énigmes, problèmes : émergence et construction du sens
29
Cexas : travaux en cours
z
Musette analyse
z
INRETS
z
Musette analyse + facilitation apprentissage humain
z
GeoNotes
z
Musette / facilitation tâches conjointes
z
Assistance à la réutilisation de l’expérience dans un contexte de conception conjointe
z
Traces et auto-confrontation
zSBT (Systèmes à base de traces)
z
Systèmes intégrés de gestion et de transformation de traces
z
intègrent (entre autres) les traces Musette
zSET (Systèmes d’Exploitation à base de Traces)
z