REInDetector: A framework for knowledge-based requirements engineering

Tuong Huan Nguyen, Bao Quoc Vo, Markus Lumpe, John Grundy

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

14 Citations (Scopus)


Requirements engineering (RE) is a coordinated effort to allow clients, users, and software engineers to jointly formulate assumptions, constraints, and goals about a software solution. However, one of the most challenging aspects of RE is the detection of inconsistencies between requirements. To address this issue, we have developed REInDetector, a knowledge-based requirements engineering tool, supporting automatic detection of a range of inconsistencies. It provides facilities to elicit, structure, and manage requirements with distinguished capabilities for capturing the domain knowledge and the semantics of requirements. This permits an automatic analysis of both consistency and realizability of requirements. REInDetector finds implicit consequences of explicit requirements and offers all stakeholders an additional means to identify problems in a more timely fashion than existing RE tools. In this paper, we describe the Description Logic used to capture requirements, the REInDetector tool, its support for inconsistency detection, and its efficacy as applied to several RE examples. An important feature of REInDetector is also its ability to generate comprehensive explanations to provide more insights into the detected inconsistencies.

Original languageEnglish
Title of host publication2012 27th IEEE/ACM International Conference on Automated Software Engineering, ASE 2012 - Proceedings
Number of pages4
Publication statusPublished - 2012
Externally publishedYes
EventAutomated Software Engineering Conference 2012 - Atlantic Congress Hotel, Essen, Germany
Duration: 3 Sep 20127 Sep 2012
Conference number: 27th (Conference website) (Proceedings)


ConferenceAutomated Software Engineering Conference 2012
Abbreviated titleASE 2012
OtherIEEE/ACM International Conference on Automated Software Engineering, ASE 2012
Internet address


  • Consistency
  • Description logic
  • Requirements engineering

Cite this