Semantic-Aware Validation in Model-Driven Requirements Engineering Using SHACL

Artan Markaj, Felix Gehlhoff, Alexander Fay

2024

Abstract

The development and implementation of technical system concepts require validation to ensure that stakeholder needs, goals, and requirements are fulfilled. Model-driven requirements engineering focuses on the automatic transformation of requirements into concepts and can be supported by ontologies for semantically unambiguous specifications. However, automated and systematic requirements validation using ontologies remains a challenging process. In this contribution, we propose a concept consisting of a systematic workflow, algorithm, and templates for semantic-aware validation in model-driven requirements engineering using Shapes Constraint Language, a formal language for constraint-based ontology validation. The workflow begins with the definition of validation use cases from a requirements model. These use cases are modeled as ontologies using the same metamodel as the requirements. By using Shapes Constraint Language templates, shapes can be generated and enriched with use case-specific information. Lastly, engineering concepts are validated against the requirements by using the defined shapes.

Paper Citation

in Harvard Style

Markaj A., Gehlhoff F. and Fay A. (2024). Semantic-Aware Validation in Model-Driven Requirements Engineering Using SHACL. In Proceedings of the 16th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 2: KEOD; ISBN 978-989-758-716-0, SciTePress, pages 191-198. DOI: 10.5220/0012985200003838

in Bibtex Style

@conference{keod24,
author={Artan Markaj and Felix Gehlhoff and Alexander Fay},
title={Semantic-Aware Validation in Model-Driven Requirements Engineering Using SHACL},
booktitle={Proceedings of the 16th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 2: KEOD},
year={2024},
pages={191-198},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0012985200003838},
isbn={978-989-758-716-0},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 16th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 2: KEOD
TI - Semantic-Aware Validation in Model-Driven Requirements Engineering Using SHACL
SN - 978-989-758-716-0
AU - Markaj A.
AU - Gehlhoff F.
AU - Fay A.
PY - 2024
SP - 191
EP - 198
DO - 10.5220/0012985200003838
PB - SciTePress