Ontology-based automated support for goal–use case model analysis

Tuong Huan Nguyen, John C. Grundy, Mohamed Almorsy

Research output: Contribution to journalArticleResearchpeer-review

8 Citations (Scopus)


Combining goal-oriented and use case modeling has been proven to be an effective method in requirements elicitation and elaboration. To ensure the quality of such modeled artifacts, a detailed model analysis needs to be performed. However, current requirements engineering approaches generally lack reliable support for automated analysis of consistency, correctness and completeness (3Cs problems) between and within goal models and use case models. In this paper, we present a goal–use case integration framework with tool support to automatically identify such 3Cs problems. Our new framework relies on the use of ontologies of domain knowledge and semantics and our goal–use case integration meta-model. Moreover, functional grammar is employed to enable the semiautomated transformation of natural language specifications into Manchester OWL Syntax for automated reasoning. The evaluation of our tool support shows that for representative example requirements, our approach achieves over 85 % soundness and completeness rates and detects more problems than the benchmark applications.

Original languageEnglish
Pages (from-to)635-673
Number of pages39
JournalSoftware Quality Journal
Issue number3
Publication statusPublished - Sep 2016
Externally publishedYes


  • Goal-oriented requirements engineering
  • Incompleteness and inconsistency detection
  • Ontology-based analysis
  • Requirements incorrectness

Cite this