Lancaster EPrints

Ontology and Model Alignment as a Means for Requirements Validation

Kof, Leonid and Gacitua, Ricardo and Rouncefield, Mark and Sawyer, Peter (2010) Ontology and Model Alignment as a Means for Requirements Validation. In: ICSC '10: Proceedings of the 2010 IEEE Fourth International Conference on Semantic Computing. IEEE Computer Society, Washington, DC, USA, pp. 46-51. ISBN 978-1-4244-7912-2

Full text not available from this repository.

Abstract

This paper reports on work that is investigating the application of ontology engineering and natural language processing to software engineering. Our focus is the transition from requirements to design which remains one of the main challenges in software engineering. A key reason for why this is so challenging is that the vast majority of requirements documents are informal, written in natural language, whereas the final goal (code) is formal. System models, as an intermediate step between the requirements and code, help understand requirements. Even a seemingly precise requirements document typically contains a lot of inconsistencies and omissions, which become visible when we model the system. Our hypothesis is that these inconsistencies become apparent when we compare the project-specific model with a generic model of the application domain. To test our hypothesis, we need to transform natural language representations of requirements information into a form that facilitates comparison with a domain model. Naturally, we also need a domain model against which to compare and this presupposes a means to construct such models. In the paper, we extract a conceptual model (an ontology) and a behavioural model from different sources. An ontology is generated from a generic domain description, and a project-specific model is generated from requirements documents. For ontology generation, natural language processing techniques are used to aid the construction. By comparing the resulting models, we validate both of them. When inconsistencies are found, we generate feedback for the analyst. The generated feedback was validated on a case study and has proven useful to improve both requirements documents and models.

Item Type: Contribution in Book/Report/Proceedings
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: Faculty of Science and Technology > School of Computing & Communications
ID Code: 57604
Deposited By: ep_importer_pure
Deposited On: 17 Aug 2012 13:48
Refereed?: No
Published?: Published
Last Modified: 10 Apr 2014 01:27
Identification Number:
URI: http://eprints.lancs.ac.uk/id/eprint/57604

Actions (login required)

View Item