• Aucun résultat trouvé

Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception

N/A
N/A
Protected

Academic year: 2022

Partager "Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception"

Copied!
10
0
0

Texte intégral

(1)

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

(2)

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

(3)

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

(4)

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

(5)

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

(6)

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)

z

Sans SiTEx

z

assistance par présentation / navigation dans la trace

z

Avec SiTEx

z

Assistant spécifique lié à une SiTEx (cf. RàPC)

z

Assistant 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

(7)

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

(8)

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

(9)

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’

(10)

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

z

SBT (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

z

SET (Systèmes d’Exploitation à base de Traces)

z

Les traces comme éléments « naturels » de systèmes d’exploitation

Références

Documents relatifs

 La trace primitive contient potentiellement des épisodes d’utilisation re-traçant une expérience utilisable pour la facilitation de l’utilisation.  Les épisodes

Alain Mille, Yannick Prié (2006) Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de

On sait que la théorie du syllogisme donnée par Euler {Voir JÀIVET, Cours de Philosophie) repose sur la possibilité, trois propriétés A, 13, C étant données, qu'un objet

Si l’on ajoute ` a l’arithm´ etique de Peano PA un axiome qui ´ enonce la coh´ erence de PA, on obtient une th´ eorie incoh´ erente ou incompl` ete..

Par exemple l’ensemble des formules construites sur ≥ avec les symboles de fonction 0, 1, +, × et valides dans les entiers (avec l’interpr´ etation habituelle des entiers) est

Si l’arithm´ etique de Peano est coh´ erente, alors deux mod` eles de l’arithm´ etique de Peano sont toujours ´ el´ ementairement ´ equivalents.. On suppose que F contient au

Dans chaque cas, l’ensemble de symboles de pr´ edicat et l’ensemble de symboles de fonction sont arbitraires, mais contiennent bien sˆ ur les symboles utilis´ es dans les

Commentaires : Pour justifier que deux structures ne sont pas ´ el´ ementairement ´ equivalentes, il faut et il suffit de donner une formule satisfaite dans une structure et pas