From Requirements as AMR-like Graphs to Automata-Based Reasoning - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2021

From Requirements as AMR-like Graphs to Automata-Based Reasoning

Résumé

Requirement documents, including natural language statement sets, form the basis for system design. Their validation is a critical task. Formal methods exist to assist the designer in this way, but they appear too complex for practical use. This paper presents a new methodology that aims at reducing this gap. It is based on graphbased meaning representations and compositional transduction operations, so as to extract and formalize requirements in suitable formats. Our targets are automata enabling efficient formal reasoning. This proposal is also intended to be simple, reliable and transparent.
Fichier principal
Vignette du fichier
From Requirements as AMR-like Graphs to Automata-Based Reasoning (2021).pdf (598.09 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03467064 , version 1 (06-12-2021)

Identifiants

  • HAL Id : hal-03467064 , version 1

Citer

Aurélien Lamercerie, Annie Foret. From Requirements as AMR-like Graphs to Automata-Based Reasoning. [Research Report] Université de Rennes 1. 2021. ⟨hal-03467064⟩
58 Consultations
107 Téléchargements

Partager

Gmail Facebook X LinkedIn More