Refine
Year of publication
- 2025 (1)
Document Type
- Doctoral Thesis (1)
Language
- English (1)
Has Fulltext
- yes (1)
Is part of the Bibliography
- no (1)
Institute
The integration of the different stakeholder needs and environmental constraints is the key goal of requirements engineering. This demands collaborations between involved parties, to reach “understandability of the system”, what is particularly challenging for collaborations over different organisations. High quality requirements engineering is the key factor to address these challenges. Requirements are input to all development steps and carry the knowledge to exchange—requirements engineering is an overall life-cycle spanning and in its essence a knowledge management task.
The main goal of the T-Reqs framework presented in this thesis is to enable semantic interoperability and to sustain the knowledge by conceptualization of the requirements engineering process applied to European space projects. T-Reqs’ objective is to formally capture the information carried by the requirements to provide top-shelf inputs for the consecutive system and discipline-specific development tasks, in particular within model-based systems engineering. Emphasis is placed on the nature of relationships that exist among requirements and requirement documents. The T-Reqs formalism addresses the structuring of requirements as well as their potential reuse, e.g., in product line development or even between different projects. This implies an overall System Requirements Specification that is distributed in many specifications documents and involves requirements of different levels of abstractions from abstract goals to implementation details. This thesis especially focuses the specification and validation of such requirements documents.
The T-Reqs traceability model provides a means to trace not only individual requirements,
but also consider relations among views such as documents, taking into account the role
they play for stakeholders, especially in reuse. It is shown, how formalization of dependencies, such as for tailoring of standards, enables automated quality checks to facilitate reviews and enhance completeness and consistency of the overall specification.
Towards the structuring of requirements itself, different syntactic template systems aim to
increase the quality of requirement documentation. Within this thesis a comparative evaluation of these notations is conducted, supporting that claim and differentiating the strength and weaknesses of different approaches. Special emphasis is not only laid on documentation quality, but also the usefulness of these semi-formal notations for integration with model-based development methods. This is achieved through the representation of concepts, which can be managed in special contextualised glossaries.
Overall it can be shown that conceptualization of requirements engineering knowledge can support requirements engineering in different aspects and a holistic approach to integrate different tasks lays the foundation for semantic interoperability spanning organizations and life cycle phases.