ARSENAL: Automatic Requirements Specification Extraction from Natural Language
Requirements are informal and semi-formal descriptions of the expected behavior of a complex system from the viewpoints of its stakeholders (customers, users, operators, designers, and engineers). However, for the purpose of design, testing, and verification for critical systems, we can transform requirements into formal models that can be analyzed automatically. ARSENAL is a framework and methodology for systematically transforming natural language (NL) requirements into analyzable formal models and logic specifications. These models can be analyzed for consistency and implementability. The ARSENAL methodology is specialized to individual domains, but the approach is general enough to be adapted to new domains.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Extracting Structured Requirements from Unstructured Building Technical Specifications for Building Information Modeling
This study explores the integration of Building Information Modeling (BIM) with Natural Language Processing (NLP) to automate the extraction of requirements from unstructured French Building Technical Specification (BTS)…
Relation ExtractionTransfer LearningFormalising Software Requirements using Large Language Models
This paper is a brief introduction to our recently initiated project named VERIFAI: Traceability and verification of natural language requirements. The project addresses the challenges in the traceability and verificatio…
Talking with Verifiers: Automatic Specification Generation for Neural Network Verification
Neural network verification tools currently support only a narrow class of specifications, typically expressed as low-level constraints over raw inputs and outputs. This limitation significantly hinders their adoption an…
Towards Automatically Extracting UML Class Diagrams from Natural Language Specifications
In model-driven engineering (MDE), UML class diagrams serve as a way to plan and communicate between developers. However, it is complex and resource-consuming. We propose an automated approach for the extraction of UML c…
Model extractionFine-Grained Causality Extraction From Natural Language Requirements Using Recursive Neural Tensor Networks
[Context:] Causal relations (e.g., If A, then B) are prevalent in functional requirements. For various applications of AI4RE, e.g., the automatic derivation of suitable test cases from requirements, automatically extract…
Tensor Networks