GUITAR: An ontology-based automated requirements analysis tool

Author

Tuong Huan Nguyen ; Grundy, John ; Almorsy, Mohamed

Author_Institution

Fac. of Sci., Eng. & Technol., Swinburne Univ. of Technol., Melbourne, VIC, Australia

fYear

2014

fDate

25-29 Aug. 2014

Firstpage

315

Lastpage

316

Abstract

Combining goal-oriented and use case modeling has been proven to be an effective method in requirements elicitation and elaboration. However, current requirements engineering approaches generally lack reliable support for automated analysis of such modeled artifacts. To address this problem, we have developed GUITAR, a tool which delivers automated detection of incorrectness, incompleteness and inconsistency between artifacts. GUITAR is based on our goal-use case integration meta-model and ontologies of domain knowledge and semantics. GUITAR also provides comprehensive explanations for detected problems and can suggest resolution alternatives.

Keywords

formal specification; formal verification; ontologies (artificial intelligence); GUITAR; automated analysis; goal oriented modeling; goal use case integration metamodel; ontologies; ontology-based automated requirements analysis tool; requirements elicitation; use case modeling; Analytical models; Couplings; Natural languages; Ontologies; Process control; Semantics; Transforms; Goal-oriented requirements engineering; Ontology-based requirements analysis; Use case; detection and resolution; incompleteness; inconsistency; incorrectness;

fLanguage

English

Publisher

ieee

Conference_Titel

Requirements Engineering Conference (RE), 2014 IEEE 22nd International

Conference_Location

Karlskrona

Print_ISBN

978-1-4799-3031-9

Type

conf

DOI

10.1109/RE.2014.6912274

Filename

6912274