SRCM: A Semi Formal Requirements Representation Model Enabling System Visualisation and Quality Checking

Mohamed Osama, Aya Zaki-Ismail, Mohamed Abdelrazek, John Grundy, Amani Ibrahim

Abstract

Requirements engineering is pivotal to the successful development of any given system. The core artifact for such phase is the requirements specification document. Requirements can be specified in informal, semi-formal, and formal notations. The majority of the requirements across many fields and domains are written natural language. However, natural language is inherently ambiguous and imprecise and the requirements cannot be automatically validated. Formal notations on the other hand enable automated testing and validation but is only comprehensible by experts and requires rewriting the requirements. Semi-formal notations strikes a good balance between comprehension and checking for several systems. However, the majority of the existing representation models mandates the requirements to be (re)written to adhere to certain templates. They also do not support automated checking. In this paper, we present SRCM –a semi-formal requirements representation model based on a comprehensive requirements capturing model (RCM) that does not enforce much limitations on how the requirements can be written. We also provide an automated approach to construct SRCM from RCM. In addition to providing a unified visualisation of the system entities and relations between the requirements key components, SRCM also enables automated quality checking on the requirements.

Download


Paper Citation


in Harvard Style

Osama M., Zaki-Ismail A., Abdelrazek M., Grundy J. and Ibrahim A. (2021). SRCM: A Semi Formal Requirements Representation Model Enabling System Visualisation and Quality Checking.In Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-487-9, pages 278-285. DOI: 10.5220/0010271202780285


in Bibtex Style

@conference{modelsward21,
author={Mohamed Osama and Aya Zaki-Ismail and Mohamed Abdelrazek and John Grundy and Amani Ibrahim},
title={SRCM: A Semi Formal Requirements Representation Model Enabling System Visualisation and Quality Checking},
booktitle={Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2021},
pages={278-285},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010271202780285},
isbn={978-989-758-487-9},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - SRCM: A Semi Formal Requirements Representation Model Enabling System Visualisation and Quality Checking
SN - 978-989-758-487-9
AU - Osama M.
AU - Zaki-Ismail A.
AU - Abdelrazek M.
AU - Grundy J.
AU - Ibrahim A.
PY - 2021
SP - 278
EP - 285
DO - 10.5220/0010271202780285