Title: A semantic driven approach for requirements consistency verification

Authors: Francesco Gargiulo; Gabiella Gigante; Massimo Ficco

Addresses: Soft Computing Laboratory, Italian Aerospace Research Centre (CIRA), Capua, Italy ' Soft Computing Laboratory, Italian Aerospace Research Centre (CIRA), Capua, Italy ' Department of Industrial and Information Engineering, Second University of Naples, Aversa, Italy

Abstract: Consistency and completeness are the main quality attributes to be guaranteed in software development. Software engineering community has largely studied consistency, together with completeness, in the last decade, to improve quality of software products and to reduce costs. Different approaches have been defined to detect and manage inconsistencies in software life cycle. The adoption of ontologies seems promising to achieve the proper level of formalism and to argue on quality properties. This paper presents a survey of the main approaches to consistency in different tasks of software engineering, focusing on the requirement engineering tasks, and proposes an ontological engineering approach to detect inconsistencies among a set of requirements written in natural language.

Keywords: requirements engineering; requirements verification; consistency; resource description framework; RDF; semantic distances; ontology; semantics; software development; software quality; software engineering; natural language.

DOI: 10.1504/IJHPCN.2015.071261

International Journal of High Performance Computing and Networking, 2015 Vol.8 No.3, pp.201 - 211

Available online: 18 Aug 2015 *

Full-text access for editors Access for subscribers Purchase this article Comment on this article