Principe de transduction sémantique pour l’application de théories d’interfaces sur des documents de spécification - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Theses Year : 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

Abstract

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
Origin : Version validated by the jury (STAR)

Dates and versions

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

Identifiers

  • HAL Id : tel-03366457 , version 2

Cite

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⟩
222 View
148 Download

Share

Gmail Facebook X LinkedIn More