Title :
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
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;
Conference_Titel :
Requirements Engineering Conference (RE), 2014 IEEE 22nd International
Conference_Location :
Karlskrona
Print_ISBN :
978-1-4799-3031-9
DOI :
10.1109/RE.2014.6912274
