Deakin University
Browse

File(s) under permanent embargo

KBRE: A framework for knowledge-based requirements engineering

Version 2 2024-06-13, 09:39
Version 1 2016-02-25, 13:12
journal contribution
posted on 2024-06-13, 09:39 authored by TH Nguyen, BQ Vo, M Lumpe, J Grundy
Detecting inconsistencies is a critical part of requirements engineering (RE) and has been a topic of interest for several decades. Domain knowledge and semantics of requirements not only play important roles in elaborating requirements but are also a crucial way to detect conflicts among them. In this paper, we present a novel knowledge-based RE framework (KBRE) in which domain knowledge and semantics of requirements are central to elaboration, structuring, and management of captured requirements. Moreover, we also show how they facilitate the identification of requirements inconsistencies and other-related problems. In our KBRE model, description logic (DL) is used as the fundamental logical system for requirements analysis and reasoning. In addition, the application of DL in the form of Manchester OWL Syntax brings simplicity to the formalization of requirements while preserving sufficient expressive power. A tool has been developed and applied to an industrial use case to validate our approach.

History

Journal

Software quality journal

Volume

22

Pagination

87-119

Location

Berlin, Germany

ISSN

0963-9314

eISSN

1573-1367

Language

eng

Publication classification

C Journal article, C1.1 Refereed article in a scholarly journal

Copyright notice

2014, Springer

Issue

1

Publisher

Springer

Usage metrics

    Research Publications

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC