Traces modélisées
Pierre-Antoine Champin
Atelier Traces et Jeux
16 avril 2014
1
Principes
2
Exploitation de l'expérience tracée
3
Système à base de traces modélisées
4
Modélisation
5
Transformation
6
Collecte
7
Mise en œuvre
kTBS: A kernel for Trace Based Systems
http://tbs-platform.org/ktbs/
8
Modélisation
9
Trace et Obsels
Une trace est constituée d'obsels (éléments observés).
Chaque obsel est muni:
- d'un type
- d'une date de début et d'une date de fin
- d'un sujet
- d'un ensemble d'attributs
- de relations avec d'autres obsels
10
Trace et Obsels (2)
11
Modèle de trace
Pour être exploitable, les traces doivent être explicitement modélisées.
Le modèle de trace définit:
- les types d'obsels,
- les attributs associés à chaque type,
- les relations possibles entre les types.
(modélisation objet classique)
12
Modèle de trace (2)
13
Modèle de trace (3)
Le modèle de trace peut également définir:
- les contraintes temporelles sur les types d'obsels (durée min ou max),
- les sujets possibles,
- le mode de représentation du temps (cf. dernier chapitre).
(spécifique aux SBT)
14
Modèle de trace (4)
Exemples de contraintes :
- la granularité temporelle est de 1ms,
- les sujets doivent être des identifiants Jabber,
- les obsels de type Open, Recv et Close doivent être instantanés
(begin = end),
- la durée d'un obsel Send correspond au délais entre le moment ou l'utilisateur commence à taper et le moment ou le message est envoyé.
15
Modèle de trace (5)
16
Choix de modélisation
L'élaboration d'un modèle de trace est une activité de conception, impliquant des choix, guidés par :
des considérations épistémique
(de quoi a-t-on besoin pour les usages envisagés ?)
des considérations techniques
(quelles informations peut-on obtenir ?)
des considérations pratiques
(quelle quantité de données peut-on stocker ?)
Exemple : modèle de l'activité de chat
17
Transformation
18
Méthodes de transformation
19
Filtre
Ne conserve que les obsels vérifiant certaines contraintes :
Exemple
- bornes temporelles
- types d'obsels
- attribut + valeur ou plage de valeurs
- combinaison d'attributs
- ...
20
Fusion
Fait l'union des obsels de plusieurs traces.
Exemple
- fusion de la trace d'aujourd'hui et celle d'hier
- fusion de la trace de chat et de la trace de mail
21
Enrichissement
Conserve tous les obsels de la source, et y ajoute des informations (attributs, relations, nouveaux obsels).
Exemple
- calculs sur les valeurs des attributs
- comptage d'obsels d'un certains types
- traitements plus complexes (inférence, TAL...)
22
Ré-écriture de motifs
Crée de nouveaux obsels sur la base d'un motif recherché dans la source.
Exemple
- observés Monologue/Dialogue à partir de la trace du chat
23
Composites
Composer plusieurs méthodes (séquentiellement ou parallèlement).
Exemple
- enrichissement pour déterminer l'humeur d'un message,
suivi d'une ré-écriture en Dispute/Neutre/Badinage
24
Indicateurs
- Un indicateur est une mesure globale effectuée sur une trace ; exemples :
- nombre total de messages échangés
- temps moyen d'une session de chat
- Souvent considérés comme distincts des traces,
- ils peuvent (doivent?) être considérés comme des obsels particuliers,
datés par les obsels ayant servi à leur calcul, exemples :
- nombre total de messages échangés hier
- temps moyen des sessions de chat du mois dernier
25
Travaux pratiques
26
Liens
27