Skip to Main content Skip to Navigation
Conference papers

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

Résumé : 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.
Complete list of metadatas

Cited literature [31 references]  Display  Hide  Download

https://hal.inria.fr/hal-01970134
Contributor : Aurélien Lamercerie <>
Submitted on : Friday, January 4, 2019 - 5:19:15 PM
Last modification on : Friday, July 10, 2020 - 4:01:38 PM
Document(s) archivé(s) le : Friday, April 5, 2019 - 3:33:41 PM

Identifiers

  • HAL Id : hal-01970134, version 1

Citation

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⟩

Share

Metrics

Record views

288

Files downloads

143