ISBN-13: 9786131538797 / Francuski / Miękka / 2018 / 144 str.
Les systA]mes A(c)tudiA(c)s par les sciences du vivant (agronomie, A(c)cologie etc.) sont reprA(c)sentA(c)s sous la forme de programmes de simulation numA(c)rique. Afin d'accA(c)der A des objets de recherche pluridisciplinaires, ces programmes sont assemblA(c)s au sein de plateformes logicielles. La thA]se traite de questions sA(c)mantiques gA(c)nA(c)rA(c)es par l'assemblage de programmes. Au travers de l'analyse d'exemples (MODCOM, OpenMI, VLE, APES, DSSAT et SEAMLESS-IF), nous montrons que les rA]gles syntaxiques des langages d'assemblages limitent l'aptitude A reprA(c)senter les systA]mes complexes. Nous montrons aussi que l'efficience des mA(c)tadonnA(c)es et ontologies dA(c)pend des aspects implicites ayant prA(c)valu A la reprA(c)sentation des systA]mes. Afin d'accA(c)der A l'implicite, nous proposons de dA(c)crire le contenu du programme de faAon formelle. Un modA]le de description a A(c)tA(c) A(c)tabli A partir de la linguistique pragmatique et de travaux en morphosyntaxe. L'interrogation partielle en mode direct permet de confA(c)rer une structure de description dA(c)taillA(c)e, basA(c)e sur les sept pronoms et adverbes que propose la langue franAaise. Ce travail dA(c)bouche sur la proposition d'un langage dA(c)claratif de description de systA]mes complexes.
Les systèmes étudiés par les sciences du vivant (agronomie, écologie etc.) sont représentés sous la forme de programmes de simulation numérique. Afin daccéder à des objets de recherche pluridisciplinaires, ces programmes sont assemblés au sein de plateformes logicielles. La thèse traite de questions sémantiques générées par lassemblage de programmes. Au travers de lanalyse dexemples (MODCOM, OpenMI, VLE, APES, DSSAT et SEAMLESS-IF), nous montrons que les règles syntaxiques des langages dassemblages limitent laptitude à représenter les systèmes complexes. Nous montrons aussi que lefficience des métadonnées et ontologies dépend des aspects implicites ayant prévalu à la représentation des systèmes. Afin daccéder à limplicite, nous proposons de décrire le contenu du programme de façon formelle. Un modèle de description a été établi à partir de la linguistique pragmatique et de travaux en morphosyntaxe. Linterrogation partielle en mode direct permet de conférer une structure de description détaillée, basée sur les sept pronoms et adverbes que propose la langue française. Ce travail débouche sur la proposition dun langage déclaratif de description de systèmes complexes.