Validation of Requirements Models Using a Graph

Alexander Rauh

2025

Abstract

Validation of system requirements models is essential for success in system development. Especially in regulated engineering domains like automotive or healthcare organisations have to prove their compliance with regulations. One part of this compliance is the assurance of high-quality system requirements. Today’s approaches often take high effort of requirements analysts or require more formal extensions of common requirements documentation methods. This paper proposes a novel approach that validates requirements models without any formal extensions like Object Constraint Language (OCL) by utilizing a graph structure and graph transformations. In the first step, the requirements model is imported into a graph and is transformed according to a common meta-model for requirements. The integration of a natural language processing (NLP) pipeline provides possibilities to analyse the natural language parts during transformation. In the second step, the structure of the graph is validated using pattern derived from rules for high quality system requirements. A constructed example shows feasibility and helps to get early feedback to the graph-based concept.

Paper Citation

in Harvard Style

Rauh A. (2025). Validation of Requirements Models Using a Graph. In Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD; ISBN 978-989-758-729-0, SciTePress, pages 288-296. DOI: 10.5220/0013287100003896

in Bibtex Style

@conference{modelsward25,
author={Alexander Rauh},
title={Validation of Requirements Models Using a Graph},
booktitle={Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD},
year={2025},
pages={288-296},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0013287100003896},
isbn={978-989-758-729-0},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD
TI - Validation of Requirements Models Using a Graph
SN - 978-989-758-729-0
AU - Rauh A.
PY - 2025
SP - 288
EP - 296
DO - 10.5220/0013287100003896
PB - SciTePress