RCM-Extractor: Automated Extraction of a Semi Formal Representation Model from Natural Language Requirements

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

2021

Abstract

Formal verification requires system requirements to be specified in formal notations. Formalisation of system requirements manually is a time-consuming and error-prone process, and requires engineers to have strong mathematical and domain expertise. Most existing requirements formalisation techniques assume requirements to be specified in pre-defined templates and these techniques employ pre-defined transformation rules to transform requirements specified in the predefined templates to formal notations. These techniques tend to have limited expressiveness and more importantly require system engineers to re-write their system requirements following these templates. In this paper, we introduces an automated extraction technique (RCM-Extractor) to extract the key constructs of a comprehensive and formalisable semi-formal representation model from textual requirements. We have evaluated our RCM-Extractor on a dataset of 162 requirements curated from the literature. RCM-Extractor achieved 95% precision, 79% recall, 86% F-measure and 75% accuracy.

Download


Paper Citation


in Harvard Style

Zaki-Ismail A., Osama M., Abdelrazek M., Grundy J. and Ibrahim A. (2021). RCM-Extractor: Automated Extraction of a Semi Formal Representation Model from Natural Language Requirements.In Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-487-9, pages 270-277. DOI: 10.5220/0010270602700277


in Bibtex Style

@conference{modelsward21,
author={Aya Zaki-Ismail and Mohamed Osama and Mohamed Abdelrazek and John Grundy and Amani Ibrahim},
title={RCM-Extractor: Automated Extraction of a Semi Formal Representation Model from Natural Language Requirements},
booktitle={Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2021},
pages={270-277},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010270602700277},
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 - RCM-Extractor: Automated Extraction of a Semi Formal Representation Model from Natural Language Requirements
SN - 978-989-758-487-9
AU - Zaki-Ismail A.
AU - Osama M.
AU - Abdelrazek M.
AU - Grundy J.
AU - Ibrahim A.
PY - 2021
SP - 270
EP - 277
DO - 10.5220/0010270602700277