Traces modélisées
Atelier Traces et Jeux
16 avril 2014
Principes
Exploitation de l'expérience tracée
Système à base de traces modélisées
Modélisation
Transformation
Collecte
Mise en œuvre
kTBS: A kernel for Trace Based Systems
représente ses données en RDF
(flexible, extensible)
communique via HTTP
(REST, indépendant du langage)
Modélisation
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
Trace et Obsels (2)
Exemple de trace
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)
Modèle de trace (2)
Exemple de modèle
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)
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é.
Modèle de trace (5)
Expression en UML des contraintes spécifiques SBT
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
Transformation
Méthodes de transformation
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
- ...
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
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...)
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
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
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
Travaux pratiques
Liens
Tutoriel:
kTBS: