ENVIRONNEMENT DE WORKFLOW SCIENTIFIQUE VALIDATION ET CONFORMITÉS Yuan LIN, Isabelle MOUGENOT, Thérèse LIBOUREL, LIRMM, 161 rue Ada, Montpellier Espace DEV, 500 rue JF Breton - Université de Montpellier II 1
TABLE DES MATIÈRES Introduction & Objectif Environnement de workflow Problématique & État de l art Notre proposition Contexte de travail Vérification et réparation Conclusion & Perspectives 2
TABLE DES MATIÈRES Introduction & Objectif Environnement de workflow Problématique & État de l art Notre proposition Contexte de travail Vérification et réparation Conclusion & Perspectives 2
INTRODUCTION Les domaines des applications environnementales (Biodiversité, écologie, agronomie, etc.) Les nombreuses ressources à partager et mutualiser La construction des expérimentations réutilisables pour valider leurs approches 3
OBJECTIF Un environnement d expérimentation de workflow intégré dans une plateforme de partage et de mutualisation [BAR05] Utilisateurs Plateforme de partage et de mutualisation Composants fonctionnels Librairies services... Interface graphique Gestion de ressources Moteur de recherche Workflow Base de données des méta-données Référentiels de traitements Référentiels de données 4
OBJECTIF Un environnement d expérimentation de workflow intégré dans une plateforme de partage et de mutualisation [BAR05] Utilisateurs Plateforme de partage et de mutualisation Composants fonctionnels Librairies services... Interface graphique Gestion de ressources Moteur de recherche Workflow Base de données des méta-données Référentiels de traitements Référentiels de données 4
OBJECTIF Un environnement d expérimentation de workflow intégré dans une plateforme de partage et de mutualisation [BAR05] Utilisateurs Plateforme de partage et de mutualisation Composants fonctionnels Librairies services... Interface graphique Gestion de ressources Moteur de recherche Workflow Base de données des méta-données Référentiels de traitements Référentiels de données 4
OBJECTIF Un environnement d expérimentation de workflow intégré dans une plateforme de partage et de mutualisation [BAR05] Utilisateurs Plateforme de partage et de mutualisation Composants fonctionnels Librairies services... Interface graphique Gestion de ressources Moteur de recherche Workflow Base de données des méta-données Référentiels de traitements Référentiels de données 4
OBJECTIF Un environnement d expérimentation de workflow intégré dans une plateforme de partage et de mutualisation [BAR05] Utilisateurs Plateforme de partage et de mutualisation Composants fonctionnels Librairies services... Interface graphique Gestion de ressources Moteur de recherche Workflow Base de données des méta-données Référentiels de traitements Référentiels de données 4
OBJECTIF Un environnement d expérimentation de workflow intégré dans une plateforme de partage et de mutualisation [BAR05] Utilisateurs Plateforme de partage et de mutualisation Composants fonctionnels Librairies services... Interface graphique Gestion de ressources Moteur de recherche Workflow Base de données des méta-données Référentiels de traitements Référentiels de données 4
DÉFINITION WORKFLOW The automation of a business process, in whole or part, during which documents, informations or tasks are passed from one participant to another for action, according to a set of procedural rules. (WFMC) Workflows are activities involving the coordinated execution of multiple tasks performed by different processing entities. 5
TABLE DES MATIÈRES Introduction & Objectif Environnement de workflow Problématique & État de l art Notre proposition Contexte de travail Vérification et réparation Conclusion & Perspectives 6
TABLE DES MATIÈRES Introduction & Objectif Environnement de workflow Problématique & État de l art Notre proposition Contexte de travail Vérification et réparation Conclusion & Perspectives 6
ENVIRONNEMENT DE WORKFLOW Point de vue utilisateur Les étapes Planification d'un protocole Instanciation Exécution Utilisateur Construire un modèle abstrait Rechercher et localiser les ressources réelles Vérifier et valider une chaîne construite Exécuter une chaîne validée Composants Editeur workflow Moteur de recherche Interface Utilisateur Validation de la chaîne Moteur d'exécution Outil Workflow Enregistrer Réutiliser Recherche des ressources basée sur les méta-informations Validation en prenant compte un graphe de ressources Exécution avec les ressources localisée Les mises à jour La base de connaissances Contexte de travail 7
ENVIRONNEMENT DE WORKFLOW Trois niveaux d un environnement de workflow Langage qui sert à la définition d'un modèle métier workflow Méta Modèle Workflow Conforme Description métier de la chaîne de traitements Modèle métier Modèle métier... Modèle métier est une concrétisation de Statique Modèle réalisé à partir d'un modèle métier Modèle réalisé... Modèle réalisé Intermédiaire Choix de la stratégie d'exécution Exécution centralisée / décentralisée Dynamique 7
ENVIRONNEMENT INFORSID 2011 DE WORKFLOW Niveau statique Langage pour la modélisation de workflow [LIN09, LIB10] Niveau intermédiaire Concrétisation à partir d un modèle métier Les pré-contrôles concernant de la vérification et de la validation Niveau dynamique Exécution par un moteur de workflow implémenté 8
ENVIRONNEMENT INFORSID 2011 DE WORKFLOW Niveau statique Langage pour la modélisation de workflow [LIN09, LIB10] Niveau intermédiaire Concrétisation à partir d un modèle métier Les pré-contrôles concernant de la vérification et de la validation Niveau dynamique Exécution par un moteur de workflow implémenté 8
TABLE DES MATIÈRES Introduction & Objectif Environnement de workflow Problématique & État de l art Notre proposition Contexte de travail Vérification et réparation Conclusion & Perspectives 9
TABLE DES MATIÈRES Introduction & Objectif Environnement de workflow Problématique & État de l art Notre proposition Contexte de travail Vérification et réparation Conclusion & Perspectives 9
PROBLÉMATIQUE 10
PROBLÉMATIQUE Modèle abstrait page Séquences Alignement Reconstruction d'arbre page Résultats 10
PROBLÉMATIQUE Modèle abstrait page Séquences Alignement Reconstruction d'arbre page Résultats Concrétisation Modèle instancié page S1 Blastx PhyML page R1 10
PROBLÉMATIQUE Modèle abstrait page Séquences Alignement Reconstruction d'arbre page Résultats Concrétisation Modèle instancié page S1 Blastx PhyML page R1 Valide? 10
PROBLÉMATIQUE Modèle abstrait page Séquences Alignement Reconstruction d'arbre page Résultats Concrétisation Modèle instancié page S1 Blastx PhyML page R1 Valide? Conformité du workflow instancié 10
ÉTAT DE L ART 11
ÉTAT DE L ART Les environnements workflow Kepler [LUD06], Taverna [HUL06], Weka [CUN93], NetBeans 11
ÉTAT DE L ART Les environnements workflow Kepler [LUD06], Taverna [HUL06], Weka [CUN93], NetBeans Les différentes approches existantes Ontologique Planificateur Etc. 11
ÉTAT DE L ART Les environnements workflow Kepler [LUD06], Taverna [HUL06], Weka [CUN93], NetBeans Vérification orientée service web Conformité Les différentes au niveau approches sémantique existantes Ontologique Pas adaptable pour les non-informaticiens Planificateur Etc. 11
TABLE DES MATIÈRES Introduction & Objectif Environnement de workflow Problématique & État de l art Notre proposition Contexte de travail Vérification et réparation Conclusion & Perspectives 12
TABLE DES MATIÈRES Introduction & Objectif Environnement de workflow Problématique & État de l art Notre proposition Contexte de travail Vérification et réparation Conclusion & Perspectives 12
CONTEXTE DE TRAVAIL 13
CONTEXTE DE TRAVAIL Méta modèle du contexte de travail 13
CONTEXTE DE TRAVAIL Méta modèle du contexte de travail Contexte de travail 13
CONTEXTE DE TRAVAIL Méta modèle du contexte de travail Contexte de travail 1 Organisation des ressources humaines Droits de l'utilisateur possède Rôles de l'utilisateur peut jouer Utilisateur 13
CONTEXTE DE TRAVAIL Méta modèle du contexte de travail Contexte de travail 1 Organisation des traitements spécialisation Catégorie de traitements relié à Traitement concret 1 Droits de l'utilisateur Organisation des ressources humaines possède Rôles de l'utilisateur peut jouer Utilisateur Traitement normal Convertisseur 13
CONTEXTE DE TRAVAIL Méta modèle du contexte de travail Contexte de travail 1 Organisation des traitements spécialisation Catégorie de traitements Traitement normal relié à Traitement concret Convertisseur spécialisation Catégorie de données 1 1 Droits de l'utilisateur Organisation des données reliée à Donnée 1 concrète 1 est le format 1 1 1 Format de données Organisation des ressources humaines sous format possède Rôles de l'utilisateur peut jouer Utilisateur 13
CONTEXTE DE TRAVAIL Méta modèle du contexte de travail Contexte de travail 1 Organisation des traitements spécialisation Catégorie de traitements Traitement normal relié à Traitement concret Convertisseur Catégories en entrée Catégories en sortie spécialisation Catégorie de données Format en entrée Format en sortie 1 1 Droits de l'utilisateur Organisation des données reliée à Donnée 1 concrète 1 est le format 1 1 1 Format de données Organisation des ressources humaines sous format possède Rôles de l'utilisateur peut jouer Utilisateur 13
CONTEXTE DE TRAVAIL Méta modèle du contexte de travail Contexte de travail 1 Organisation des traitements spécialisation Catégorie de traitements Traitement normal relié à Traitement concret Convertisseur Catégories en entrée Catégories en sortie spécialisation Catégorie de données Format en entrée Format en sortie 1 1 Droits de l'utilisateur Organisation des données reliée à Donnée 1 concrète 1 est le format 1 1 1 Format de données Organisation des ressources humaines sous format possède Rôles de l'utilisateur peut jouer Utilisateur Nom (ListDeParam_E) : (ListDeParam_S) param = (dc:fo) 13
CONTEXTE DE TRAVAIL Un exemple concret (Graphe de ressources) 14
CONTEXTE DE TRAVAIL Un exemple concret (Graphe de ressources) Blastx Alignement par paire Alignement Alignement multiples Par voisinage Traitements biologiques Reconstruction d'arbre Par matrice de distance Maximum de vraisemblance Blastn Clustalw BioNJ NJ PhyML Visualisation TreeDyn Catégories de traitements Traitements concrets Hiérarchie de traitements 14
CONTEXTE DE TRAVAIL Un exemple concret (Graphe de ressources) Blastx Alignement par paire Alignement Alignement multiples Par voisinage Traitements biologiques Reconstruction d'arbre Par matrice de distance Maximum de vraisemblance Blastn Clustalw BioNJ NJ PhyML Visualisation TreeDyn Catégories de traitements Traitements concrets Hiérarchie de traitements Données biologiques page Donnée1 bare Séquences nucléiques page Donnée2 page Donnée3 txt Séquences protéiques page Donnée4 Fasta page Donnée5 Arbre phylogénique page Donnée6 Tgf page Donnée7 Newick Catégories de données Données concrètes Formats de données Hiérarchie de données 14
CONTEXTE DE TRAVAIL Un exemple concret (Graphe de ressources) Blastx Alignement par paire Alignement Alignement multiples Par voisinage Traitements biologiques Reconstruction d'arbre Par matrice de distance Maximum de vraisemblance Blastn Clustalw BioNJ NJ PhyML Visualisation TreeDyn Catégories de traitements Traitements concrets Hiérarchie de traitements ref.dc ref.dc ref page Donnée1 bare Séquences nucléiques page Donnée2 ref.dc page Donnée3 ref txt Données biologiques Séquences protéiques page Donnée4 Fasta ref page Donnée5 ref Arbre phylogénique page Donnée6 Tgf ref.dc page Donnée7 Newick Catégories de données Données concrètes Formats de données Hiérarchie de données 14
CONTEXTE DE TRAVAIL Un exemple concret (Graphe de ressources) Blastx Traitements biologiques Blastx(SeqNucleiques:txt) : (SeqProteiques:txt) Reconstruction Alignement Visualisation d'arbre Catégories PhyML(SeqProteiques:Fasta) : (ArbrePhylogenique:txt) de traitements Alignement Alignement Par Par matrice Maximum de par paire multiples voisinage de distance vraisemblance Blastn Clustalw BioNJ NJ PhyML TreeDyn Traitements concrets Hiérarchie de traitements ref.dc ref.dc ref page Donnée1 bare Séquences nucléiques page Donnée2 ref.dc page Donnée3 ref txt Données biologiques Séquences protéiques page Donnée4 Fasta ref page Donnée5 ref Arbre phylogénique page Donnée6 Tgf ref.dc page Donnée7 Newick Catégories de données Données concrètes Formats de données Hiérarchie de données 14
VÉRIFICATION Définition d une composition entre deux traitements 15
VÉRIFICATION Définition d une composition entre deux traitements Pour deux traitements T1 (dc1:fo1) : (dc2:fo2, dc3:fo3) T2 (dc4:fo4) : (dc5:fo5) 15
VÉRIFICATION Définition d une composition entre deux traitements Pour deux traitements T1 (dc1:fo1) : (dc2:fo2, dc3:fo3) T2 (dc4:fo4) : (dc5:fo5) Une composition p1 p2 une sortie p1(dc2:fo2) du T1 une entrée p2(dc4:fo4) du T2 15
VÉRIFICATION Définition d une composition entre deux traitements Pour deux traitements T1 (dc1:fo1) : (dc2:fo2, dc3:fo3) T2 (dc4:fo4) : (dc5:fo5) Une composition p1 p2 une sortie p1(dc2:fo2) du T1 une entrée p2(dc4:fo4) du T2 dc1:fo1 dc2:fo2 dc4:fo4 dc5:fo5...... T1 T2............ dc3:fo3 15
VÉRIFICATION dc1:fo1 dc2:fo2 dc4:fo4 dc5:fo5...... T1 T2............ dc3:fo3 15
VÉRIFICATION dc2:fo2 dc4:fo4 dc5:fo5 dc1:fo1...... T2...... T1...... dc3:fo3 Compatibilité syntaxique : si (fo2 = fo4) (fo2 est un sous-format de fo4), noté p1 syn p2. Sinon p1 syn p2. Compatibilité sémantique : si (dc2 = dc4) (dc2 est une sous-catégorie de dc4), noté p1 sem p2. Sinon p1 sem p2. 15
VÉRIFICATION dc2:fo2 dc4:fo4 dc5:fo5 dc1:fo1...... T2...... T1...... dc3:fo3 Compatibilité syntaxique : si (fo2 = fo4) (fo2 est un sous-format de fo4), noté p1 syn p2. Sinon p1 syn p2. Compatibilité sémantique : si (dc2 = dc4) (dc2 est une sous-catégorie de dc4), noté p1 sem p2. Sinon p1 sem p2. Situations de compatibilité pour la composition : 1. (p1 sem p2) (p1 syn p2) 2. (p1 sem p2) (p1 syn p2) 3. (p1 sem p2) 15
VÉRIFICATION dc2:fo2 dc4:fo4 dc5:fo5 dc1:fo1...... T2...... T1...... dc3:fo3 Compatibilité syntaxique : si (fo2 = fo4) (fo2 est un sous-format de fo4), noté p1 syn p2. Sinon p1 syn p2. Compatibilité sémantique : si (dc2 = dc4) (dc2 est une sous-catégorie de dc4), noté p1 sem p2. Sinon p1 sem p2. Situations de compatibilité pour la composition : 1. (p1 sem p2) (p1 syn p2) 2. (p1 sem p2) (p1 syn p2) 3. (p1 sem p2) 15
VÉRIFICATION dc2:fo2 dc4:fo4 dc5:fo5 dc1:fo1...... T2...... T1...... dc3:fo3 Compatibilité syntaxique : si (fo2 = fo4) (fo2 est un sous-format de fo4), noté p1 syn p2. Sinon p1 syn p2. Compatibilité sémantique : si (dc2 = dc4) (dc2 est une sous-catégorie de dc4), noté p1 sem p2. Sinon p1 sem p2. Situations de compatibilité pour la composition : 1. (p1 sem p2) (p1 syn p2) 2. (p1 sem p2) (p1 syn p2) 3. (p1 sem p2) 15
VÉRIFICATION dc2:fo2 dc4:fo4 dc5:fo5 dc1:fo1...... T2...... T1...... dc3:fo3 Compatibilité syntaxique : si (fo2 = fo4) (fo2 est un sous-format de fo4), noté p1 syn p2. Sinon p1 syn p2. Compatibilité sémantique : si (dc2 = dc4) (dc2 est une sous-catégorie de dc4), noté p1 sem p2. Sinon p1 sem p2. Situations de compatibilité pour la composition : 1. (p1 sem p2) (p1 syn p2) 2. (p1 sem p2) (p1 syn p2) 3. (p1 sem p2) 15
RÉPARATION 16
RÉPARATION Situations de compatibilité pour la composition : 1. (p1 sem p2) (p1 syn p2) 2. (p1 sem p2) (p1 syn p2) 3. (p1 sem p2) 16
RÉPARATION Situations de compatibilité pour la composition : 1. (p1 sem p2) (p1 syn p2) 2. (p1 sem p2) (p1 syn p2) 3. (p1 sem p2) OK 16
RÉPARATION Situations de compatibilité pour la composition : 2. (p1 sem p2) (p1 syn p2) 3. (p1 sem p2) Adaptation 1. Sémantique : «Réparation» entre les différentes catégories de données utilisées. 2. Syntaxique : «Réparation» entre les différents formats de données utilisés. 16
RÉPARATION Situations de compatibilité pour la composition : 2. (p1 sem p2) (p1 syn p2) 3. (p1 sem p2) Adaptation 1. Sémantique : «Réparation» entre les différentes catégories de données utilisées. 2. Syntaxique : «Réparation» entre les différents formats de données utilisés. Pour la situation 2 : Adaptation Syntaxique Pour la situation 3 : Adaptation Sémantique Adaptation Syntaxique 16
RÉPARATION Situations de compatibilité pour la composition : 2. (p1 sem p2) (p1 syn p2) 3. (p1 sem p2) Adaptation 1. Sémantique : «Réparation» entre les différentes catégories de données utilisées. 2. Syntaxique : «Réparation» entre les différents formats de données utilisés. Pour la situation 2 : Adaptation Syntaxique Pour la situation 3 : Adaptation Sémantique Adaptation Syntaxique 16
RÉPARATION Jeu de données exemple TD1(DC1 :FO1) : (DC2 :FO2), TD2(DC2 :FO1) : (DC3 :FO2, DC4 :FO1) TD3(DC3 :FO3) : (DC5 :FO1), TD4(DC3 :FO2) : (DC6 :FO4) TD5(DC4 :FO3) : (DC8 :FO2), TD6(DC5 :FO1, DC6 :FO2) : (DC7 :FO3) TD7(DC1 :FO1) : (DC3 :FO2, DC4 :FO4), TD8(DC1 :FO1) : (DC1 :FO3) TD9(DC8 :FO2) : (DC7 :FO4, DC9 :FO2), TD10(DC4 :FO1) : (DC4 :FO2, DC7 :FO3) TD11(DC7 :FO4) : (DC3 :FO2), TD12(DC10 :FO2) : (DC7 :FO4) TD111(DC2 :FO2) : (DC2 :FO3), TD121(DC4 :FO1) : (DC4 :FO3) TD131(DC2 :FO3) : (DC2 :FO1) 17
RÉPARATION Jeu de données exemple TD1(DC1 :FO1) : (DC2 :FO2), TD2(DC2 :FO1) : (DC3 :FO2, DC4 :FO1) TD3(DC3 :FO3) : (DC5 :FO1), TD4(DC3 :FO2) : (DC6 :FO4) TD5(DC4 :FO3) : (DC8 :FO2), TD6(DC5 :FO1, DC6 :FO2) : (DC7 :FO3) TD7(DC1 :FO1) : (DC3 :FO2, DC4 :FO4), TD8(DC1 :FO1) : (DC1 :FO3) TD9(DC8 :FO2) : (DC7 :FO4, DC9 :FO2), TD10(DC4 :FO1) : (DC4 :FO2, DC7 :FO3) TD11(DC7 :FO4) : (DC3 :FO2), TD12(DC10 :FO2) : (DC7 :FO4) TD111(DC2 :FO2) : (DC2 :FO3), TD121(DC4 :FO1) : (DC4 :FO3) TD131(DC2 :FO3) : (DC2 :FO1) Convertisseurs 17
RÉPARATION Jeu de données exemple TD1(DC1 :FO1) : (DC2 :FO2), TD2(DC2 :FO1) : (DC3 :FO2, DC4 :FO1) TD3(DC3 :FO3) : (DC5 :FO1), TD4(DC3 :FO2) : (DC6 :FO4) TD5(DC4 :FO3) : (DC8 :FO2), TD6(DC5 :FO1, DC6 :FO2) : (DC7 :FO3) TD7(DC1 :FO1) : (DC3 :FO2, DC4 :FO4), TD8(DC1 :FO1) : (DC1 :FO3) TD9(DC8 :FO2) : (DC7 :FO4, DC9 :FO2), TD10(DC4 :FO1) : (DC4 :FO2, DC7 :FO3) TD11(DC7 :FO4) : (DC3 :FO2), TD12(DC10 :FO2) : (DC7 :FO4) TD111(DC2 :FO2) : (DC2 :FO3), TD121(DC4 :FO1) : (DC4 :FO3) TD131(DC2 :FO3) : (DC2 :FO1) DC1:FO1 T1 DC2:FO2 DC7:FO4 T11 DC3:FO2 17
RÉPARATION Jeu de données exemple TD1(DC1 :FO1) : (DC2 :FO2), TD2(DC2 :FO1) : (DC3 :FO2, DC4 :FO1) TD3(DC3 :FO3) : (DC5 :FO1), TD4(DC3 :FO2) : (DC6 :FO4) TD5(DC4 :FO3) : (DC8 :FO2), TD6(DC5 :FO1, DC6 :FO2) : (DC7 :FO3) TD7(DC1 :FO1) : (DC3 :FO2, DC4 :FO4), TD8(DC1 :FO1) : (DC1 :FO3) TD9(DC8 :FO2) : (DC7 :FO4, DC9 :FO2), TD10(DC4 :FO1) : (DC4 :FO2, DC7 :FO3) TD11(DC7 :FO4) : (DC3 :FO2), TD12(DC10 :FO2) : (DC7 :FO4) TD111(DC2 :FO2) : (DC2 :FO3), TD121(DC4 :FO1) : (DC4 :FO3) TD131(DC2 :FO3) : (DC2 :FO1) DC1:FO1 T1 DC2:FO2 DC7:FO4 T11 DC3:FO2 DC2 = DC7 17
RÉPARATION Jeu de données exemple TD1(DC1 :FO1) : (DC2 :FO2), TD2(DC2 :FO1) : (DC3 :FO2, DC4 :FO1) TD3(DC3 :FO3) : (DC5 :FO1), TD4(DC3 :FO2) : (DC6 :FO4) TD5(DC4 :FO3) : (DC8 :FO2), TD6(DC5 :FO1, DC6 :FO2) : (DC7 :FO3) TD7(DC1 :FO1) : (DC3 :FO2, DC4 :FO4), TD8(DC1 :FO1) : (DC1 :FO3) TD9(DC8 :FO2) : (DC7 :FO4, DC9 :FO2), TD10(DC4 :FO1) : (DC4 :FO2, DC7 :FO3) TD11(DC7 :FO4) : (DC3 :FO2), TD12(DC10 :FO2) : (DC7 :FO4) TD111(DC2 :FO2) : (DC2 :FO3), TD121(DC4 :FO1) : (DC4 :FO3) TD131(DC2 :FO3) : (DC2 :FO1) DC1:FO1 T1 DC2:FO2 DC7:FO4 T11 DC3:FO2 DC2 = DC7 Situation 3 : p1 sem p2 17
RÉPARATION Graphe de ressources associé 18
RÉPARATION Graphe de ressources associé Conv Conv TD131 TD121 TD11 Conv TD10 TD111 TD7 TD4 TD5 TD6 TD12 TD8 TD1 TD2 TD3 TD9 18
RÉPARATION Graphe de ressources associé Conv Conv TD131 TD121 TD11 Conv TD10 TD111 TD7 TD4 TD5 TD6 TD12 TD8 TD1 TD2 TD3 TD9 DC10 DC1 DC2 DC3 DC4 DC5 DC6 DC7 DC8 DC9 18
RÉPARATION Graphe de ressources associé FO1 FO2 FO3 FO4 Conv Conv TD131 TD121 TD11 Conv TD10 TD111 TD7 TD4 TD5 TD6 TD12 TD8 TD1 TD2 TD3 TD9 DC10 DC1 DC2 DC3 DC4 DC5 DC6 DC7 DC8 DC9 18
RÉPARATION Graphe de ressources associé FO1 FO2 FO3 FO4 Conv Conv TD131 TD121 TD11 Conv TD10 TD111 TD7 TD4 TD5 TD6 TD12 TD8 TD1 TD2 TD3 TD9 DC10 DC1 DC2 DC3 DC4 DC5 DC6 DC7 DC8 DC9 18
RÉPARATION TD131 TD111 TD11 TD3 DC5 TD1 DC2 TD2 DC3 TD4 DC6 TD6 DC1 TD7 DC4 TD121 DC7 TD5 DC8 TD9 DC9 TD8 TD10 DC10 TD12 19
RÉPARATION TD131 TD111 TD11 TD3 DC5 TD1 DC2 TD2 DC3 TD4 DC6 TD6 DC1 TD7 DC4 TD121 DC7 TD5 DC8 TD9 DC9 TD8 TD10 DC10 TD12 DC1:FO1 T1 DC2:FO2 DC7:FO4 T11 DC3:FO2 19
RÉPARATION TD131 TD111 TD11 TD3 DC5 TD1 DC2 TD2 DC3 TD4 DC6 TD6 DC1 TD7 DC4 TD121 DC7 TD5 DC8 TD9 DC9 TD8 TD10 DC10 TD12 DC1:FO1 T1 DC2:FO2 DC7:FO4 T11 DC3:FO2 19
RÉPARATION TD131 TD111 TD11 TD3 DC5 TD1 DC2 TD2 DC3 TD4 DC6 TD6 DC1 TD7 DC4 TD121 DC7 TD5 DC8 TD9 DC9 TD8 TD10 DC10 TD12 DC1:FO1 T1 DC2:FO2 DC7:FO4 T11 DC3:FO2 19
RÉPARATION TD131 TD111 TD11 TD3 DC5 TD1 DC2 TD2 DC3 TD4 DC6 TD6 DC1 TD7 DC4 TD121 DC7 TD5 DC8 TD9 DC9 TD8 TD10 DC10 TD12 DC1:FO1 T1 DC2:FO2 tmpcategorylink DC2:FO1 T2 DC4:FO3 T5 DC3:FO2 tmpcategorylink DC4:FO1 DC8:FO2 tmpcategorylink DC8:FO2 T12 DC7:FO4 tmpcategorylink DC7:FO4 T11 DC3:FO2 19
RÉPARATION Contexte de travail construit FO1 FO2 FO3 FO4 Conv Conv TD131 TD121 TD11 Conv TD10 TD111 TD7 TD4 TD5 TD6 TD12 TD8 TD1 TD2 TD3 TD9 DC10 DC1 DC2 DC3 DC4 DC5 DC6 DC7 DC8 DC9 20
RÉPARATION Contexte de travail construit FO1 FO2 FO3 FO4 Conv Conv TD131 TD121 TD11 Conv TD10 TD111 TD7 TD4 TD5 TD6 TD12 TD8 TD1 TD2 TD3 TD9 DC10 DC1 DC2 DC3 DC4 DC5 DC6 DC7 DC8 DC9 20
RÉPARATION DC2 FO2 TD111 DC2 FO3 TD131 DC2 FO1 DC4 FO1 TD121 DC4 FO3 21
RÉPARATION DC2 FO2 TD111 DC2 FO3 TD131 DC2 FO1 DC4 FO1 TD121 DC4 FO3 DC1:FO1 T1 DC2:FO2 tmpcategorylink DC2:FO1 T2 DC4:FO3 T5 DC3:FO2 tmpcategorylink DC4:FO1 DC8:FO2 tmpcategorylink DC8:FO2 T12 DC7:FO4 tmpcategorylink DC7:FO4 T11 DC3:FO2 21
RÉPARATION DC2 FO2 TD111 DC2 FO3 TD131 DC2 FO1 DC4 FO1 TD121 DC4 FO3 DC1:FO1 T1 DC2:FO2 DC2:FO1 T2 DC4:FO3 DC3:FO2 DC4:FO1 T5 DC8:FO2 DC8:FO2 T12 DC7:FO4 DC7:FO4 T11 DC3:FO2 DC2:FO2 T111 DC2:FO3 DC2:FO3 T131 DC4:FO1 DC2:FO1 T121 DC4:FO3 21
TABLE DES MATIÈRES Introduction & Objectif Environnement de workflow Problématique & État de l art Notre proposition Contexte de travail Vérification et réparation Conclusion & Perspectives 22
TABLE DES MATIÈRES Introduction & Objectif Environnement de workflow Problématique & État de l art Notre proposition Contexte de travail Vérification et réparation Conclusion & Perspectives 22
CONCLUSION Une plateforme de partage et de mutualisation Composant workflow, compatibilité de composition Contexte de travail hiérarchisé Vérification et réparation des compositions 23
PERSPECTIVES Les autres problématiques pendant l utilisation de workflow Les services web Aspect dynamique concernant la personnalisation et la configuration avant l exécution Intégration dans la plateforme 24
BIBLIOGRAPHIE [BAR05] BARDE J.,LIBOUREL T.,MAUREL P., A Metadata Service for Integrated Management of Knowledges Related to Coastal Areas, Multimedia Tools Appl., vol. 25, no 3, 2005, p. 419-429. [LIN09] LIN Y.,LIBOUREL T.,MOUGENOT I., A Workflow Language for the Experimental Sciences, ICEIS (3), 2009, p. 372-375. [LIB 10] LIBOUREL T., LIN Y., MOUGENOT I., PIERKOT C., DESCONNETS J.-C., A Platform Dedicated to Share and Mutualize Environmental Applications, ICEIS (1), 2010, p. 50-57. [LUD 06] LUDÄSCHER B., ALTINTAS I., BERKLEY C., HIGGINS D., JAEGER E., JONES M. B., LEE E. A., TAO J., ZHAO Y., Scientific workflow management and the Kepler system, Concurrency and Computation : Practice and Experience, vol. 18, no 10, 2006, p. 1039-1065. [HUL 06] HULL D., WOLSTENCROFT K., STEVENS R., GOBLE C., POCOCK M., LI P., OINN T., Taverna : a tool for building and running workflows of services, 2006. [CUN 93] CUNNINGHAM S., DENIZE P., A Tool for Model Generation and Knowledge Acquisition, Proc International Workshop on Artificial Intelligence and Statistics, Fort Lauderdale, Florida, USA, 1993, p. 213-222. 25
MERCI BEAUCOUP! Yuan.Lin@lirmm.fr Isabelle.Mougenot@lirmm.fr Therese.Libourel@univ-montp2.fr Démonstration en ligne : Http://www.lirmm.fr/~lin/project 26