Principe de transduction sémantique pour l’application de théories d’interfaces sur des documents de spécification - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2021

Semantic transducer for interface theories

Principe de transduction sémantique pour l’application de théories d’interfaces sur des documents de spécification

Résumé

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.
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.
Fichier principal
Vignette du fichier
LAMERCERIE_Aurelien.pdf (3.49 Mo) Télécharger le fichier
Origine : Version validée par le jury (STAR)

Dates et versions

tel-03366457 , version 1 (27-06-2021)
tel-03366457 , version 2 (05-10-2021)

Identifiants

  • HAL Id : tel-03366457 , version 2

Citer

Aurélien Lamercerie. Principe de transduction sémantique pour l’application de théories d’interfaces sur des documents de spécification. Intelligence artificielle [cs.AI]. Université de Rennes; Rennes 1, 2021. Français. ⟨NNT : 2021REN1S029⟩. ⟨tel-03366457v2⟩
213 Consultations
145 Téléchargements

Partager

Gmail Facebook X LinkedIn More