In April 2016 Manchester eScholar was replaced by the University of Manchester’s new Research Information Management System, Pure. In the autumn the University’s research outputs will be available to search and browse via a new Research Portal. Until then the University’s full publication record can be accessed via a temporary portal and the old eScholar content is available to search and browse via this archive.

TRAM: Transforming Textual Requirements to Support the Earliest Stage of Model Driven Development

Letsholo, Keletso Joel

[Thesis]. Manchester, UK: The University of Manchester; 2014.

Access to files

Abstract

Tool support for automatically constructing analysis models from the natural language specification of requirements (NLR) is critical to Model-Driven Development (MDD), as it can bring forward the use of precise formal languages from the coding to the specification phase in the MDD life-cycle. However, there has been a lack of tools for automatically constructing initial software models (i.e., analysis models) from NLRs. The MDD process assumes that an analyst creates the initial software models manually. Consequently, the traceability links between the requirements specification, and the software created according to this specification are not explicitly represented. Unfortunately, current MDD technologies have failed to recognise this intrinsic relationship between requirements traceability, requirements transformation and model transformation.The aim of this research is to develop a novel MDD approach for automatically constructing analysis models from unstructured NL requirements to support the earliest phase of MDD and requirements traceability. The proposed approach makes requirements traceability an integral part of model construction and transformation, a feature not adequately supported by existing NL-based transformation approaches. In addition, a human enabled model validation approach is proposed, and used to check whether the knowledge possessed by domain experts is correctly and comprehensively represented in the models constructed by the proposed approach. The results obtained are encouraging and demonstrate that the proposed approach can be of assistance the earliest stage of MDD.

Additional content not available electronically

A proof-of-concept software tool written in JAVA programming language.

Bibliographic metadata

Type of resource:
Content type:
Form of thesis:
Type of submission:
Degree type:
Doctor of Philosophy
Degree programme:
PhD Computer Science
Publication date:
Location:
Manchester, UK
Total pages:
204
Abstract:
Tool support for automatically constructing analysis models from the natural language specification of requirements (NLR) is critical to Model-Driven Development (MDD), as it can bring forward the use of precise formal languages from the coding to the specification phase in the MDD life-cycle. However, there has been a lack of tools for automatically constructing initial software models (i.e., analysis models) from NLRs. The MDD process assumes that an analyst creates the initial software models manually. Consequently, the traceability links between the requirements specification, and the software created according to this specification are not explicitly represented. Unfortunately, current MDD technologies have failed to recognise this intrinsic relationship between requirements traceability, requirements transformation and model transformation.The aim of this research is to develop a novel MDD approach for automatically constructing analysis models from unstructured NL requirements to support the earliest phase of MDD and requirements traceability. The proposed approach makes requirements traceability an integral part of model construction and transformation, a feature not adequately supported by existing NL-based transformation approaches. In addition, a human enabled model validation approach is proposed, and used to check whether the knowledge possessed by domain experts is correctly and comprehensively represented in the models constructed by the proposed approach. The results obtained are encouraging and demonstrate that the proposed approach can be of assistance the earliest stage of MDD.
Additional digital content not deposited electronically:
A proof-of-concept software tool written in JAVA programming language.
Thesis main supervisor(s):
Funder(s):
Language:
en

Institutional metadata

University researcher(s):

Record metadata

Manchester eScholar ID:
uk-ac-man-scw:239519
Created by:
Letsholo, Keletso
Created:
12th November, 2014, 09:36:01
Last modified by:
Letsholo, Keletso
Last modified:
23rd December, 2019, 12:23:56

Can we help?

The library chat service will be available from 11am-3pm Monday to Friday (excluding Bank Holidays). You can also email your enquiry to us.