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 conditions to be checked, called requirements. The goal 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, 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 conditions à 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 une langue naturelle telle que l'anglais. La mise en œuvre visée est une chaîne 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 comment relier des énoncés de langue anglaise à 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ées pour définir une théorie permettant de vérifier la consistance des exigences d'un cahier des charges.
Fichier principal
Vignette du fichier
AL Thesis (v1.4).pdf (3.41 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : tel-03366457 , version 1

Citer

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

Partager

Gmail Facebook X LinkedIn More