Weaving Requirements Fragments: An empirical investigation |
Sanam Ali
|
| Abstract | In requirements engineering the process of converting textual requirements into formal models is a very intricate process which has attracted the interest of many researchers. This thesis proposes the method of transforming requirements stated in natural language into formal models (UML representations have been used in this thesis) by adding model fragments. These small model fragments can then be woven through iterative fragment weaving to obtain formal models. The goal of the thesis is to 1) formalize rules for the creating model fragments, 2) to explore whether model fragments can be created for a large number of requirements (case study) and 3) to conduct an experiment to validate the transformation rules.
The model fragments not only supports the forward process of transforming textual requirements into formal models but also have push back on the requirements. Model fragment creation modifies the textual requirements and also helps in adding new requirements. The case study and the experiment provided the author with various empirical insights concerning model fragments. |
| Type | Master's thesis [Academic thesis] |
| Year | 2014 |
| Publisher | Technical University of Denmark, Department of Applied Mathematics and Computer Science |
| Address | Richard Petersens Plads, Building 324, DK-2800 Kgs. Lyngby, Denmark, compute@compute.dtu.dk |
| Series | DTU Compute M.Sc.-2014 |
| Note | |
| Electronic version(s) | [pdf] |
| Publication link | http://www.compute.dtu.dk/English.aspx |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |