Université de Rennes 1 Principe de transduction sémantique pour l’application de théories d’interfaces sur des documents de spécification Semantic transducer for interface theories Traitement automatique du langage naturelReprésentation sémantiqueIngénierie des exigencesRaisonnement par contratsAlgèbre de composition Natural Language ProcessingMeaning RepresentationRequirements EngineeringContract TheoryCompositional Algebra Traitement automatique du langage naturel La spécification de systèmes techniques est une tâche complexe et source d'erreurs. D'un point de vue méthodologique, les caractéristiques attendues doivent être rigoureusement spécifiées. En pratique, des cahiers des charges regroupent les propriétés voulues sous la forme d'une liste de règles à vérifier, nommées exigences. L'enjeu de cet ouvrage est la construction d'un processus d'analyse pour une application sur des documents textuels, rédigés dans un langage naturel tel que l'anglais. La mise en oeuvre visée est une chaine de traitement, automatisée de bout-en-bout, et intégrant des facultés d'interprétation et de raisonnement sur les données traitées. Précisément, nous proposons d'étudier et expérimenter comment relier des énoncés du langage naturel à des modèles formels exploitables dans un cadre théorique adapté. Premièrement, le principe de transduction sémantique est avancé pour extraire et formaliser des énoncés du langage naturel. Dans un second temps, les propriétés algébriques de modèles de spécification sont étudiés pour définir une théorie permettant de vérifier la consistance des exigences d'un cahier des charges. The specification of technical systems is a complex and error-prone task. From a methodological point of view, the expected characteristics must be rigorously specified. In practice, specifications group together the desired properties in the form of a list of rules to be checked, called requirements. The challenge of this book is to build an analysis process for application on textual documents, written in a natural language such as English. The targeted implementation is an end-to-end automated processing chain, and integrating faculties of interpretation and reasoning on specification data. Precisely, we propose to study and experiment how to link natural language statements to formal models that can be exploited in a theoretical framework. First, the principle of semantic transduction is advanced to extract and formalize natural language statements. In a second step, the algebraic properties of specification models are studied to define a theory to verify the consistency of requirements. Electronic Thesis or DissertationText fr application/pdf1 : 3465 Kohttps://ged.univ-rennes1.fr/nuxeo/site/esupversions/f5b6cf60-1eeb-4337-a70e-4d487d417686 Lamercerie Aurélien 1981-01-14 FR 257726888 aurelien.lamercerie@laposte.net 2021REN1S029 http://www.theses.fr/2021REN1S029 2021-04-08 Informatique Universite de Rennes 1thesis.degree.grantor_1 02778715X Rennes 1thesis.degree.grantor_2 Doctorat non ouiCaillaudBenoitintervenant_1148066518ForetAnnieintervenant_2201031191PinchinatSophieintervenant_3097578754LedinotEmmanuelintervenant_6167476955OberIulianintervenant_4059620498RetoréChristianintervenant_5076006913 MATHSTICecoleDoctorale_1 204770424 IRISA partenaireRecherche_1 026386909 ddc:004 CaillaudBenoitForetAnniePinchinatSophieOberIulianRetoréChristianLedinotEmmanuelUniversite de Rennes 1Sciences et technologie, medecine, pharmacie, odontologie, droit, economie, gestion, philosophieRennes 1MATHSTICÉcole doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) IRISA ASCII PDF 3548321