Journée WorkFlow 18/01/2012

Transcription

1 Journée WorkFlow 18/01/2012 Parameter Description Lenguage : Une grammaire générique pour la description des paramètres (ainsi que de leurs contraintes). Applications directes à l'interopérabilité Carlo Maria Zwölf, Franck Le Petit, Paul Harrison.

2 Le contexte scientifque Code PDR Simulateur de Telescope (Alma) Simulations Ramses Code Dustem Donnée d'observations

3 Le contexte scientifque Code PDR Simulateur de Telescope (Alma) INTERACTION Simulations Ramses INPUT INPUT INPUT Couplage Comparaison INPUT INTERACTION Code Dustem Donnée d'observations

4 Le contexte scientifque Code PDR Simulateur de Telescope (Alma) INTERACTION Simulations Ramses INPUT INPUT INPUT Couplage Comparaison INPUT INTERACTION Code Dustem Les couches d'interaction sont spécifques : Elles dépendent fortement des codes en jeu; Les temps de mise en place sont conséquents; Manquent de fexibilité par rapport au changement d'un code particulier. Donnée d'observations

5 Le contexte scientifque Code PDR Simulations Ramses SIM DB Ou service UWS Simulateur de Telescope (Alma) Service UWS SIM DB Code Dustem Service UWS Donnée d'observations Service TAP

6 Le contexte scientifque Code PDR Simulations Ramses SIM DB Ou service UWS Simulateur de Telescope (Alma) Service UWS SIM DB Code Dustem Grace aux standards OV : Service UWS On peut exposer les ressources de façon normalisée; On facilite la découverte et l'accès aux ressources exposées. Donnée d'observations Service TAP

7 Le contexte scientifque Code PDR Simulations Ramses SIM DB Ou service UWS Simulateur de Telescope (Alma) Service UWS SIM DB Code Dustem Grace aux standards OV : Service UWS On peut exposer les ressources de façon normalisée; On facilite la découverte et l'accès aux ressources exposées. Donnée d'observations Service TAP

8 Le contexte scientifque Code PDR Simulations Ramses SIM DB Ou service UWS Simulateur de Telescope (Alma) Service UWS SIM DB Code Dustem Grace aux standards OV : Service UWS On peut exposer les ressources de façon normalisée; On facilite la découverte et l'accès aux ressources exposées. Donnée d'observations Service TAP À l'état actuel : on ne dispose pas d'outils industrialisés et normalisés pour assurer automatiquement l'interopérabilité entre les ressources exposées

9 Le contexte scientifque Code PDR Simulations Ramses SIM DB Ou service UWS Couche descriptive Simulateur de Telescope (Alma) Service UWS Couche descriptive SIM DB Couche descriptive Code Dustem Service UWS Couche descriptive Donnée d'observations Service TAP Couche descriptive

10 Genèse de notre solution Les buts de cette cette couche sont : Décrire fnement l'ensemble des paramètres (in- & out- puts) de sorte que la description : Puisse être comprise facilement par ''les humains'' Puisse être interprétée et manipulée par des machines

11 Genèse de notre solution Les buts de cette cette couche sont : Décrire fnement l'ensemble des paramètres (in- & out- puts) de sorte que la description : Puisse être comprise facilement par ''les humains'' Puisse être interprétée et manipulée par des machines Le niveau de détail doit permettre de : Décrire des conditions et des contraintes non triviales portant sur les paramètres.

12 Genèse de notre solution Les buts de cette cette couche sont : Décrire fnement l'ensemble des paramètres (in- & out- puts) de sorte que la description : Puisse être comprise facilement par ''les humains'' Puisse être interprétée et manipulée par des machines Le niveau de détail doit permettre de : Décrire des conditions et des contraintes non triviales portant sur les paramètres.

13 Genèse de notre solution Les buts de cette cette couche sont : Décrire fnement l'ensemble des paramètres (in- & out- puts) de sorte que la description : Puisse être comprise facilement par ''les humains'' Puisse être interprétée et manipulée par des machines Le niveau de détail doit permettre de : Décrire des conditions et des contraintes non triviales portant sur les paramètres.

14 Genèse de notre solution Les buts de cette cette couche sont : Décrire fnement l'ensemble des paramètres (in- & out- puts) de sorte que la description : Puisse être comprise facilement par ''les humains'' Puisse être interprétée et manipulée par des machines Le niveau de détail doit permettre de : Décrire des conditions et des contraintes non triviales portant sur les paramètres. Les solutions existantes (ex. WADL) ne semblent pas répondre à nos besoins. On a pu construire une solution répondant à nos besoins

15 Sur la solution proposée La grammaire et la syntaxe de description est fxée dans un fchier XML schema :

16 Sur la solution proposée La grammaire et la syntaxe de description est fxée dans un fchier XML schema :

17 Sur la solution proposée La grammaire et la syntaxe de description est fxée dans un fchier XML schema : Avec notre syntaxe nous pouvons exprimer: Toute expression mathématique faisant intervenir les paramètres Toutes conditions sur les paramètres (pourvu qu'elles aient un sens logique)

18 Sur la solution proposée La grammaire et la syntaxe de description est fxée dans un fchier XML schema : Avec notre syntaxe nous pouvons exprimer: Toute expression mathématique faisant intervenir les paramètres Toutes conditions sur les paramètres (pourvu qu'elles aient un sens logique) En pratique les fournisseurs d'une ressource: Ne devront pas rédiger directement le XML (à moins qu'ils veuillent) Un utilitaire graphique sera mis à disposition pour faciliter la composition des descriptions (stage début 2012)

19 Un premier exemple : le code PDR Code pour modéliser la micro-physique des nuages interstellaires (utilisé pour interpréter les observations HERSCHEL) Déjà implémenté dans Astrogrid (CEA) in Incident radiation feld observer and back side ISRF intensity Type of stellar spectrum distance of the star... State equation isochore (density) isobare (pressure) specif c user density profle... Avec des relations non-triviales entre les paramètres Grains properties R min and max Extinction properties...

20

21 PDL et l'interopérabilité Service 1 : Inputs a,b reals Outputs c real and c=-abs(a-b) Service 3 : Inputs c reals Outputs d real and d=sqrt(c) Service 2 : Inputs a,b reals Outputs c real and c=+abs(a-b)

22 PDL et l'interopérabilité Service 1 : Inputs a,b reals Outputs c real and c=-abs(a-b) Service 3 : Inputs c reals Outputs d real and d=sqrt(c) Service 2 : Inputs a,b reals Outputs c real and c=+abs(a-b)

23 PDL et l'interopérabilité Service 1 : Inputs a,b reals Outputs c real and c=-abs(a-b) Service 3 : Inputs c reals Outputs d real and d=sqrt(c) Service 2 : Inputs a,b reals Outputs c real and c=+abs(a-b)

24 PDL et l'interopérabilité Service 1 : Inputs a,b reals Outputs c real and c=-abs(a-b) Always c < 0 Service 3 : Inputs c reals Always c > 0 Outputs d real and Service 2 : Inputs a,b reals Outputs c real and c=+abs(a-b) Always c > 0 d=sqrt(c) Always d > 0

25 PDL et l'interopérabilité Service 1 : Inputs a,b reals Outputs c real and c=-abs(a-b) Always c < 0 Service 3 : Inputs c reals Always c > 0 Outputs d real and Service 2 : Inputs a,b reals Outputs c real and c=+abs(a-b) Always c > 0 d=sqrt(c) Always d > 0

26 PDL et l'interopérabilité Service 1 : Inputs a,b reals Outputs c real and c=-abs(a-b) Always c < 0 Service 3 : Inputs c reals Always c > 0 Outputs d real and Service 2 : Inputs a,b reals Outputs c real and c=+abs(a-b) Always c > 0 En généralisant tout cela... d=sqrt(c) Always d > 0

27 PDL et l'interopérabilité

28 PDL et l'interopérabilité L'égalité est au sens que les paramètres ont même: UCDs Utypes SKOSSConcept Units

29 Esquisse de la solution complète Modèle PDL (Schema XML) Utilitaire graphique Description XML De la ressource

30 Esquisse de la solution complète Modèle PDL (Schema XML) Générer une interface graphique dynamique Pour interagir avec la ressource Utilitaire graphique Description XML De la ressource Ensemble d'outils automatiques

31 Esquisse de la solution complète Modèle PDL (Schema XML) Générer une interface graphique dynamique Pour interagir avec la ressource Utilitaire graphique Description XML De la ressource Ensemble d'outils automatiques

32 Esquisse de la solution complète Modèle PDL (Schema XML) Générer une interface graphique dynamique Pour interagir avec la ressource Utilitaire graphique Description XML De la ressource Ensemble d'outils automatiques

33 Esquisse de la solution complète Modèle PDL (Schema XML) Générer une interface graphique dynamique Pour interagir avec la ressource Utilitaire graphique Description XML De la ressource Ensemble d'outils automatiques

34 Esquisse de la solution complète Modèle PDL (Schema XML) Générer une interface graphique dynamique Pour interagir avec la ressource Utilitaire graphique Description XML De la ressource Ensemble d'outils automatiques Générer les algorithmes de vérification Pour valider les entrée et sorties (en accord avec la description)

35 Esquisse de la solution complète Modèle PDL (Schema XML) Générer une interface graphique dynamique Pour interagir avec la ressource Utilitaire graphique Description XML De la ressource Ensemble d'outils automatiques Générer les algorithmes de vérification Pour valider les entrée et sorties (en accord avec la description) Calculer les graphes D'interopérabilité des ressources Disponibles (avec l'algo vu plus haut)

36 Esquisse de la solution complète Modèle PDL (Schema XML) Générer une interface graphique dynamique Pour interagir avec la ressource Utilitaire graphique Description XML De la ressource Ensemble d'outils automatiques L'implémentation sera efectuée à la fois: En interne (laboratoires de VO-PDC) Sur des stages En partenariat privé (Artenum) Générer les algorithmes de vérification Pour valider les entrée et sorties (en accord avec la description) Calculer les graphes D'interopérabilité des ressources Disponibles (avec l'algo vu plus haut)

37 Pour conclure Avec le formalisme développé : Les utilisateurs peuvent décrire toute ressource de façon unifée. La description est compréhensible par les machines. Les graphes d'interopérabilité sont calculable automatiquement à priori : Un pas concret vers une interopérabilité accrue au sein de l'ov.

38 Pour conclure Avec le formalisme développé : Les utilisateurs peuvent décrire toute ressource de façon unifée. La description est compréhensible par les machines. Les graphes d'interopérabilité sont calculable automatiquement à priori : Un pas concret vers une interopérabilité accrue au sein de l'ov. Simulations Ramses SIM DB PDL Code PDR SIM DB Ou service UWS PDL Code Dustem Service UWS PDL

39 Pour conclure Avec le formalisme développé : Les utilisateurs peuvent décrire toute ressource de façon unifée. La description est compréhensible par les machines. Les graphes d'interopérabilité sont calculable automatiquement à priori : Un pas concret vers une interopérabilité accrue au sein de l'ov. Simulations Ramses SIM DB PDL Code PDR SIM DB Ou service UWS PDL Code Dustem Service UWS PDL