Extraction de contenus sémantiques pour la vérification d'exigences systèmes - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Extraction de contenus sémantiques pour la vérification d'exigences systèmes

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 not in a controlled language, but in an unconstrained natural language. The extraction step uses a semantic transduction analysis, implemented using the W3C Semantic Web standards. It starts from a linguistic representation of the texts, in the form of UNL (Universal Networking Language) graphs with "guaranteed meaning" (obtained thanks to an intermediate step of interactive disambiguation), which first produces a semi-formal structure independent of the source language. The system then builds an OWL ontology from the system specifications, expressed by unconstrained NL 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 extracted from a real specification.
Cet article présente 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 non pas dans un langage contrôlé, mais en langue naturelle non contrainte. 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. Elle part d'une représentation sémantique des textes, exprimée sous forme de graphes UNL (Universal Networking Language) à "sens garanti" (obtenus grâce à une étape de désambiguïsation interactive), qui produit d'abord une structure semi-formelle et indépendante de la langue source. Les outils développés construisent ensuite automatiquement 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 décrit une mise en pratique sur des exigences extraites d'une spécification réelle.
Fichier principal
Vignette du fichier
TextMine22_paper_4.pdf (520.46 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03789280 , version 1 (27-09-2022)

Identifiants

  • HAL Id : hal-03789280 , version 1

Citer

Aurélien Lamercerie, David Rouquet, Valérie Bellynck, Christian Boitet, Vincent Berment. Extraction de contenus sémantiques pour la vérification d'exigences systèmes. TextMine 2022 (EGC'22 - Atelier Fouille de Textes), Jan 2022, Blois, France. ⟨hal-03789280⟩
37 Consultations
37 Téléchargements

Partager

Gmail Facebook X LinkedIn More