PROCOGEC : PROgiciel COllaboratif de GEstion des Connaissances

Projet ANR : mai 2007-avril 2010Knowings, Gaz de France, AntecimSyscom, ESC Chambry, G-Scop, LirisPROCOGEC : PROgiciel COllaboratif de GEstion des Connaissances

Plan de lexpos22/01/09Journe scientifique Cluster ISLE : Web Smantique2Le mtier de la socit KnowingsLe projet ProcogecLes traces dinteraction comme conteneurs de connaissancesTraces ?Traces modlises (modles, langage de requte, langage de transformation)Travaux en relationArchitecture assistance base de traces / notion de rseau social (Dessin anim et illustration)Usages et dark sideBonus : formalisation

Notion de traceDfinition du dictionnaire : une suite d'empreintes ou de marques que laisse le passage d'un tre ou d'un objet ; marque laisse par une action quelconque ; ce quoi on reconnat que quelque chose a exist; Trace informatique est la trace de lactivit dun utilisateur dun environnement informatique pour mener bien son activit, sinscrivant sur un support numrique.Deux points de vueHistoire interactionnelle (Action-Based ) Les productions comme trace de lactivit. (Content-Based)Le concept de Trace Informatique dinteractions / utilisation : Squence (temporelle) dobservs lors de lexcution dun processus informatique : vnements et entits associes22/01/093Journe scientifique Cluster ISLE : Web SmantiqueNotion de trace modliseTrace modlise (M-trace)Objet informatique, reprsentant une squence dobservs issus dinteractions sur des entits de lenvironnement informatique.Modle de trace observs (vnements, entits) et relations entre observsDomaine temporel mode de prise en compte de la temporalit de lobservationOprations de transformations de traces : langage de requte, langage de transformation.Systme Base de Traces Modlises

22/01/094Journe scientifique Cluster ISLE : Web SmantiqueNotion de modle de TraceModle de traceEnsemble de concepts et de relations types qui sinstancient dans la tracePourquoi un modleImplicite vs ExpliciteDcrire, Spcifier et conceptualiser les traces quon veut avoir et obtenirM-trace = Trace + Modle22/01/09Journe scientifique Cluster ISLE : Web Smantique5Notion de Systme Base de Traces

22/01/096Journe scientifique Cluster ISLE : Web Smantique6Collecte de tracesEnsemble structur de processus permettant de convertir une ou plusieurs sources de donnes en entre en une trace premireCollecte / Sources de traage (inputs) Agent informatique de capture associ au SBT + Observateur humain Capteur autonome flux de traage (vido, audio, logs)

22/01/097Journe scientifique Cluster ISLE : Web SmantiqueTransformations de TracesTransformations de Traces ModlisesBibliothque de modlesReformulation dune trace en une autre Enrichissement du modle, calculs sur la trace, etc. Bibliothque de transformations

22/01/098Journe scientifique Cluster ISLE : Web SmantiqueRelated WorkBeaucoup de domaines se sont intresss la formalisation de squences dvnementsStream Database, Stream Mining (les travaux les + proches)Un Ordre total sur les vnements // pas de notion de transformations //Web Data MiningRecherche des squences frquentes, les prochains vnement possiblesPas de notion de transformation expliciteSemantic LoggingIntgration de plusieurs fichiers logs // pas de notion de modle, temporalit non formaliseSequential Data AnalysisPas de modle formelPlusieurs outils danalyse existentLogfile analysisVrification de lexcution de programmesTrouver lautomate qui gnre la trace dexcution (inclusion,etc.)Blocage et paralllisme de processus (Algbre de processus)Pas de meta-modle, pas de notion de requtes, ni de transformationsTraces dinteractionExploites intensivement dans beaucoup de domaines (en particulier dans les EIAH ou pour la personnalisation denvironnements).Pas de formalisation.22/01/099Journe scientifique Cluster ISLE : Web SmantiqueIllustration

Assistant Alter-Ego(avatar ?)Requtes

22/01/0910Journe scientifique Cluster ISLE : Web Smantique

Assistant Alter-Ego(avatar ?)Requtes

22/01/09Illustration11Journe scientifique Cluster ISLE : Web Smantique

Assistant Alter-Ego(avatar ?)Requtes

22/01/09Illustration12Journe scientifique Cluster ISLE : Web Smantique

Assistant Alter-Ego(avatar ?)Requtes

Illustration13Journe scientifique Cluster ISLE : Web Smantique22/01/09Alter-ego assistant (avatar ?) -> support de lindividuation (rflexivit, appropriation,)

22/01/09Journe scientifique Cluster ISLE : Web Smantique14

Alter-ego assistantServicesSGBTCouplage14Alter-ego assistants (avatars ?) en rseau -> dans lenvironnement

22/01/09Journe scientifique Cluster ISLE : Web Smantique15

Couplage15Journe scientifique Cluster ISLE : Web Smantique16Implmente le concept de classe virtuelleChat crit/audioActivits collaboratives synchrones (tableau blanc, push tuteur, .

Interactions traces et affiches

Activit dimension rflexive

Exemple dusage : plateforme ducative1622/01/0916Transition : Ce service propos par eLyce repose sur une une plate-forme e-learning eMediatheque (CLAC) , qui est le cadre applicatif de nos recherches dans le projet eLyce et qui est implment par mon encadrant Denis.Sur cette capture d'cran, on a un aperu du fonctionnement de cette plate-forme :- droite environnement de travail collaboratif; lire vido, fichiers audio, naviguer sur le Web, crire des choses; voir et parler avec ses camarades l'crit et l'oral, toutes les activits sont dirigs par un enseignant;- gauche un certain nombre de ressources accessibles par l'lve.Elle permet les activits collaboratives synchrones, c'est pourquoi on dit qu'eMediatheque implmente le concept de classe virtuelle. Une des particularits d'eMediatheque est d'tre une plateforme trace; C'est dire que chaque interaction est trace. Par l'intermdiaire d'une vue, l'utilisateur a accs cette trace d'interaction ; il peut avoir accs son histoire d'utilisation et la rutiliser.On voit l apparatre la notion de rflexivit prsente dans le titre :1- une activit rflexive est une activit se prenant elle-mme pour objet2- la trace donne une dimension rflexive l'activit3- ce qu'on entendra dans la suite par visualisation de traces rflexives, c'est la visualisation du pass de son activit de telle sorte qu'elle en devienne rflexive4- en fait une trace ne peut pas tre rflexive en soit mais dans la mesure o celle-ci existe juste pour tre affiche on simplifie et on dit que c'est une trace rflexive.Journe scientifique Cluster ISLE : Web Smantique17Scnario dutilisation (2/2)

1717Bien marquer 2 temps dans la prsentation des screenshots- prsentation de la trace implmente et des services- prsentation du potentiel

Rappeler que l'ergonomie c'est pour plus tardUSAGES : Individuation et trans-individuationApprentissage humainAppropriation (auto-apprentissage)Co-construction de communautsAssistances la ralisation dactivits volutives (en cours de construction) la gestion des connaissances (partage, rutilisation, dcouverte) lintgration, linclusion par ngociation de sens dutilisateurs (trs) diffrents (situations de handicap par exemple)-> et probablement bien dautres usages (WEB X.0 !)22/01/0918Journe scientifique Cluster ISLE : Web SmantiqueDark side ?Profiter des facilits offertes par les traces modlises pour : Les considrer comme des sources dinformation sur lactivit des utilisateurs Les utiliser pour conditionner des bonnes pratiques Les utiliser pour dcouvrir des comportements intressants Les dtourner pour donner une image rflexive dforme (jugement / suggestion) Individuation contrle !

Proposition : visibilit de la collecte / traces locales cryptes par dfaut / ngociation pair pair pour partage et change (modle distribu)Journe scientifique Cluster ISLE : Web Smantique1922/01/09BONUS22/01/09Journe scientifique Cluster ISLE : Web Smantique20FormalisationLangage de requteLangage de transformationDiscussion sur les transformations interactivesFormaliser et modliser lobjet Trace Un ensemble dlments temporellement situs par rapport un repre de tempsRelatif (unit et origine)Absolu (unit)squentiel ordonne (les uns par rapport aux autres)

Squence temporelle dobservsun ensemble dlments temporellement situsUne squence temporelle (par rapport un repre de temps)Une squence ordonne (les uns par rapport aux autres)

22/01/0921Journe scientifique Cluster ISLE : Web Smantique21Le temps, formellement

22/01/0922Journe scientifique Cluster ISLE : Web SmantiqueTrace Modlise, formellement

22/01/0923Journe scientifique Cluster ISLE : Web SmantiqueModle de trace

22/01/0924Journe scientifique Cluster ISLE : Web SmantiqueRequter les M-tracesUn langage pour : Slectionner les observs de la trace qui rpondent certains critresliminer les observs bruit dans la traceExtraire des pisodes de la tracePattern Matching Exemple trouver tous les observs Action ayant lattribut Type = CopierBesoin dune notation pour dcrire ces patterns ayant une smantique prcise par rapport aux M-traces.

22/01/0925Journe scientifique Cluster ISLE : Web SmantiqueUn langages de requte pour les traces

Basic PatternGeneral Pattern22/01/0926Journe scientifique Cluster ISLE : Web SmantiqueModleTempsActionTypeObjetidNomconcerneid1DocumentModifierOuvrirCopierId2Page Webid3MessageEnvoyerId4Page WebUn Langage de requte et de patternExemple dun pattern basiqueP1: ((X : Action) , (Y : Objet) , (X concerne Y) (X.type=Modifier) , (X.begin < Y.end))

O1O2O3O4O10O18O11O20id1Page WebModifierO6O33RsultatXYR1O3O4R2O33O622/01/0927Journe scientifique Cluster ISLE : Web mantique2727ModleTempsActionTypeObjetidNomconcerneid1DocumentModifierOuvrirCopierId2Page Webid3MessageEnvoyerId4Page WebUn Langage de requte et de patternExemple dun pattern basiqueP1: ((X : Action) , (Y : Objet) , (X concerne Y) (X.type=Modifier) , (X.begin < Y.end), (DocumentWeb(Y))

O1O2O3O4O10O18O11O20id1Page WebModifierO6O33RsultatXYR2O33O6DocumentWeb(X) : ((X : Objet),(X.nom=Page Web))22/01/0928Journe scientifique Cluster ISLE : Web Smantique2828ModleTempsActionTypeObjetidNomconcerneid1DocumentModifierOuvrirCopierId2Page Webid3MessageEnvoyerId4Page WebUn Langage de requte et de patternExemple dun pattern gnralP1: ((X : Action) , (Y : Objet),(Z: User), (X concerne Y), (X.type=Modifier))(OPT (Y fait_par Z)) O1O2O3O4O10O18O11O20id1Page WebModifierO6O33Rsultat P1XYZ1O4O3O312O33O6_UseridloginFait_paruser2user1User7User3user1O17O31O8O29O2222/01/0929Journe scientifique Cluster ISLE : Web Smantique2929ModleTempsActionTypeObjetidNomconcerneid1DocumentModifierOuvrirCopierId2Page Webid3MessageEnvoyerId4Page WebUn Langage de requte et de patternExemple dun pattern gnralP1: ((X : Action) , (Y : Objet),(Z: User), (X concerne Y), (X.type=Modifier))(Without (Y fait_par Z)) O1O2O3O4O10O18O11O20id1Page WebModifierO6O33Rsultat P1XYZ2O33O6_UseridloginFait_paruser2user1User7User3user1O17O31O8O29O2222/01/0930Journe scientifique Cluster ISLE : Web Smantique3030Smantique des Patterns Basiques

22/01/0931Journe scientifique Cluster ISLE : Web SmantiqueSmantique des Patterns Gnraux

22/01/0932Journe scientifique Cluster ISLE : Web SmantiqueComplexit de lvaluation des PatternsP est un pattern Basique

P est un pattern gnral (utilisant en plus OR)

P est un pattern gnral (utilisant en plus OPT)

P est un pattern gnral (utilisant en plus Without) (Negation as Failure)pas encore tudie (Indcidable?)

22/01/0933Journe scientifique Cluster ISLE : Web SmantiqueLangage de transformationComment crer une trace partir dune autreComment crer des observs partir dautres observsUne transformation utilise les requtes sur la traceLes substitutions dcrivent lensemble des donnes qui vont tre transformes La notion de Template permettra de produire les observs de la trace transformeUne Template est une sorte de pattern (dun point de vue thorique)22/01/0934Journe scientifique Cluster ISLE : Web SmantiqueLangage de transformationLa rgle de calcul de lextension temporelle peut tre vide

22/01/0935Journe scientifique Cluster ISLE : Web SmantiqueLangage de transformation

22/01/0936Journe scientifique Cluster ISLE : Web SmantiqueModleTempsUn Langage de transformationExemple dune rgle de transformationP1: ((X : Action) , (Y : Objet),(X concerne Y), (X.type=Modifier), (Y.nom=Document))T1 : ((Z : Document_dit), (Z.begin = Y.begin) , (Z.end = X.end) (Z.nom = Y.nom) (X ModificationSur Z)) Rsultat P1XYR1O33O6ActionTypeObjetidNomconcerneid1DocumentModifierOuvrirCopierId2Page Webid3MessageEnvoyerId4DocumentO1O2O3O4O10O18O11O20id1Page WebModifierO6O33DocumentEditNomdocumentO99ModifcatinSur22/01/0937Journe scientifique Cluster ISLE : Web Smantique3737Complexit et difficultAu-del de la complexit de lvaluation des patterns.Ordonnancement des rgles ne compte pasTransformations non obligatoirement monotones en temps rel (si utilisation de OPT ou WITHOUT)ExempleCertaines transformations, impliquant les oprateurs OPT et Without, ne peuvent pas tre values dans le cas du temps relDfinir les conditions ncessaires et suffisantes pour garantir la monotonie des transformations dans le cas du temps rel (il faut considrer explicitement quil sagit de nouvelles interprtations)

ModleTempsActionTypeObjetidNomconcerneOuvrirO2ModleTempsActionTypeObjetidNomconcerneOuvrirId2Page WebO1O2t1t2(X: Action Y: Objet) OPT X concerne Y) XYO2 -(X: Action Y: Objet) OPT X concerne Y) XYO2O122/01/0938Journe scientifique Cluster ISLE : Web Smantique38Complexit et difficultAu-del de la complexit de lvaluation des patterns.Ordonnancement des rgles ne compte pasTransformations non obligatoirement monotones en temps rel (si utilisation de OPT ou WITHOUT)ExempleCertaines transformations, impliquant les oprateurs OPT et Without, ne peuvent pas tre values dans le cas du temps relDfinir les conditions ncessaires et suffisantes pour garantir la monotonie des transformations dans le cas du temps rel (il faut considrer explicitement quil sagit de nouvelles interprtations)

ModleTempsActionTypeObjetidNomconcerneOuvrirO2ModleTempsActionTypeObjetidNomconcerneOuvrirId2Page WebO1O2t1t2(X: Action Y: Objet) Without X concerne Y) XO2(X: Action Y: Objet) Without X concerne Y) X-(X: Action) without {y: Objet, y.begin < X.begin}22/01/0939Journe scientifique Cluster ISLE : Web Smantique39Travail thoriqueDfinition dun cadre formel permettant dePenser les systmesAnalyser des outils utilisant des traces en explicitant les traces et leur modles, les transformations, les calculs, les modes dutilisationConstruire des systmes Formaliser la notion de trace et de modle de traceFormaliser un langage pour requter et transformer des traces moyennant des modles de transformations (ensemble de rgles) Construire un Framework informatique supportant la notion de SBT22/01/0940Journe scientifique Cluster ISLE : Web Smantique