Translating Natural Language Requirements to Formal Specifications: A Study on GPT and Symbolic NLP

Software verification is essential to ensure dependability and that a system or component fulfils its specified requirements. Natural language is the most common way of specifying requirements, although many verification techniques such as theorem proving depend upon requirements being written in fo...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:International Conference on Dependable Systems and Networks workshops (Online) s. 259 - 262
Hlavní autori: Leong, Iat Tou, Barbosa, Raul
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: IEEE 01.06.2023
Predmet:
Conferences
Costs
Formal specification
Formal specifications
Java
Java Modeling Language
Natural language processing
Organizations
Software
Software engineering
Software verification
ISSN:2325-6664
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:Software verification is essential to ensure dependability and that a system or component fulfils its specified requirements. Natural language is the most common way of specifying requirements, although many verification techniques such as theorem proving depend upon requirements being written in formal specification languages. Automatically translating requirements into a formal specification language is a relevant and challenging research question, because developers often lack the necessary expertise. In our work we consider the application of natural language processing (NLP) to address that research question. This paper considers two distinct approaches to formalise natural language requirements: a symbolic method and a GPT-based method. The two methods are evaluated with respect to their ability to generate accurate Java Modeling Language (JML) from textual requirements, and the results show good promise for automatic formalisation of requirements.
ISSN:2325-6664
DOI:10.1109/DSN-W58399.2023.00065