Extracting goal models from natural language requirement specifications

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F25%3A4NBERR8W" target="_blank" >RIV/00216208:11320/25:4NBERR8W - isvavai.cz</a>

Result on the web

<a href="https://www.scopus.com/inward/record.uri?eid=2-s2.0-85183944895&doi=10.1016%2fj.jss.2024.111981&partnerID=40&md5=5220552ecc6625a20d7da191f7df3e0c" target="_blank" >https://www.scopus.com/inward/record.uri?eid=2-s2.0-85183944895&doi=10.1016%2fj.jss.2024.111981&partnerID=40&md5=5220552ecc6625a20d7da191f7df3e0c</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.jss.2024.111981" target="_blank" >10.1016/j.jss.2024.111981</a>

Result language

angličtina

Original language name

Extracting goal models from natural language requirement specifications

Original language description

Unstructured (or, semi-structured) natural language is mostly used to capture the requirement specifications both for legacy software systems and for modern day software systems. The adoption of a formal approach to the specification of the requirements, using goal models, enables rigorous and formal inspections while analyzing the requirements for satisfiability, consistency, completeness, conflicts and ambiguities. However, such a formal approach is often considered burdening for the analysts’ activity as it requires additional skills, and is therefore, discarded a priori. This works aims to bridge the gap between natural language requirement specifications and efficient goal model analysis techniques. We propose a framework that uses extensive natural language processing techniques to transform a set of unstructured natural language requirement specifications to the corresponding goal model. We combine techniques such as parts-of-speech tagging, dependency parsing, contextual and synonymy vector generation with the FiBER transformer model. An extensive unbiased crowd-sourced evaluation of the proposed framework has been performed, showing an acceptability rate (total and partial combined) of 95%. Time and space analyses of our framework also demonstrate the scalability of the proposed solution. © 2024 The Author(s)

Czech name

—

Czech description

—

Type

J_SC - Article in a specialist periodical, which is included in the SCOPUS database

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

—

Continuities

—

Publication year

2024

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Journal of Systems and Software

ISSN

0164-1212

e-ISSN

—

Volume of the periodical

211

Issue of the periodical within the volume

2024

Country of publishing house

US - UNITED STATES

Number of pages

21

Pages from-to

2-22

UT code for WoS article

—

EID of the result in the Scopus database

2-s2.0-85183944895