Analyse d'exigences systèmes dans le projet UNseL - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2021

System requirements analysis in the UNseL project

Analyse d'exigences systèmes dans le projet UNseL

Résumé

This paper presents the application of a semantic content extraction method in an industrial context, with the objective of automatic verification of system requirements written in natural language. The extraction step uses a semantic transduction analysis, implemented using the W3C Semantic Web standards. A linguistic representation of the texts, in the form of UNL (Universal Networking Language) graphs, is exploited to provide a semi-formal structure independent of the source language. The developed tools then build an OWL ontology from the system specifications, expressed by unconstrained statements. Finally, an automatic verification of the requirements is performed using generic SPARQL rules and logical reasoners. The end of the article describes a practical implementation on requirements from real documents.
Cet article décrit l'application d'une méthode d'extraction de contenu sémantique dans un contexte industriel, avec pour objectif la vérification automatique d'exigences systèmes rédigées en langue naturelle. L'étape d'extraction utilise une analyse par transduction sémantique, implémentée en s'appuyant sur les standards du Web Sémantique du W3C. Une représentation linguistique des textes, sous forme de graphes UNL (Universal Networking Language), est exploitée pour fournir une structure semi-formelle et indépendante de la langue source. Les outils développés construisent ensuite une ontologie OWL à partir des spécifications du système, exprimées par des énoncés non contraints. Finalement, une vérification automatique des exigences est réalisée à l'aide de règles SPARQL génériques et de raisonneurs logiques. La fin de l'article montre une mise en pratique sur des exigences issues de documents réels.
Fichier principal
Vignette du fichier
Analyse d’exigences systèmes dans le projet UNseL.pdf (505.58 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03475408 , version 1 (10-12-2021)

Identifiants

  • HAL Id : hal-03475408 , version 1

Citer

Aurélien Lamercerie, David Rouquet, Valérie Bellynck, Christian Boitet, Vincent Berment. Analyse d'exigences systèmes dans le projet UNseL. 2021. ⟨hal-03475408⟩
128 Consultations
80 Téléchargements

Partager

Gmail Facebook X LinkedIn More