Skip to Main content Skip to Navigation
Reports

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

Abstract : 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.
Document type :
Reports
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03467064
Contributor : Aurélien Lamercerie Connect in order to contact the contributor
Submitted on : Monday, December 6, 2021 - 12:49:45 PM
Last modification on : Tuesday, January 4, 2022 - 6:37:22 AM

File

From Requirements as AMR-like ...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03467064, version 1

Citation

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

Share

Metrics

Les métriques sont temporairement indisponibles