Analyse formelle d'exigences en langue naturelle pour la conception de systèmes cyber-physiques - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Formal analysis of natural language requirements for the design of cyber-physical systems

Analyse formelle d'exigences en langue naturelle pour la conception de systèmes cyber-physiques

Résumé

This paper focuses on the construction of formal representations of natural language texts. The mapping from a natural language to a logical representation is realized with a grammatical formalism, linking the syntactic analysis of the text to a semantic representation. We target the behavioral aspect of the specifications for cyber-physical systems, ie any type of system in which software components interact closely with a physical environment. In this way, the challenge would be to provide assistance to the designer. So, we could simulate and verify, by automatic or assisted methods, "systems" specifications expressed in natural language. This paper presents some existing contributions that could enable progress on this issue.
Cet article explore la construction de représentations formelles d'énoncés en langue naturelle. Le passage d'un langage naturel à une représentation logique est réalisé avec un formalisme grammatical, reliant l'analyse syntaxique de l'énoncé à une représentation sémantique. Nous ciblons l'aspect comportemental des cahiers des charges pour les systèmes cyber-physiques, c'est-à-dire tout type de systèmes dans lesquels des composants logiciels interagissent étroitement avec un environnement physique. Dans ce cadre, l'enjeu serait d'apporter une aide au concepteur. Il s'agit de permettre de simuler et vérifier, par des méthodes automatiques ou assistées, des cahiers des charges "systèmes" ex-primés en langue naturelle. Cet article présente des solutions existantes qui pourraient être combinées en vue de la résolution de la problématique exposée.
Fichier principal
Vignette du fichier
TALN 2018 - Analyse exigences LN pour conception SCP.pdf (382.94 Ko) Télécharger le fichier
TALN 2018 - Analyse exigences LN pour conception SCP (poster).pdf (379.38 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01970134 , version 1 (04-01-2019)

Identifiants

  • HAL Id : hal-01970134 , version 1

Citer

Aurélien Lamercerie. Analyse formelle d'exigences en langue naturelle pour la conception de systèmes cyber-physiques. TALN 2018 - Conférence sur le Traitement Automatique des Langues Naturelles, May 2018, Rennes, France. pp.1-13. ⟨hal-01970134⟩
276 Consultations
252 Téléchargements

Partager

Gmail Facebook X LinkedIn More