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

doi:10.5220/0010270602700277

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

Department of Software Systems & Cybersecurity

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

8 Citations (Scopus)

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.

Original language	English
Title of host publication	Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development
Editors	Slimane Hammoudi, Luis Ferreira Pires, Edwin Seidewitz, Richard Soley
Place of Publication	Setúbal Portugal
Publisher	Scitepress
Pages	270-277
Number of pages	8
ISBN (Electronic)	9789897584879
DOIs	https://doi.org/10.5220/0010270602700277
Publication status	Published - 2021
Event	International Conference on Model-Driven Engineering and Software Development 2021 - Online, United States of America Duration: 8 Feb 2021 → 10 Feb 2021 Conference number: 9th http://www.modelsward.org (Website) https://www.scitepress.org/ProceedingsDetails.aspx?ID=ETEqn5Cq5J0=&t=1 (Proceedings)

Publication series

Name	MODELSWARD 2021 - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development
Publisher	Scitepress
Volume	1
ISSN (Electronic)	2184-4348

Conference

Conference	International Conference on Model-Driven Engineering and Software Development 2021
Abbreviated title	MODELSWARD 2021
Country/Territory	United States of America
Period	8/02/21 → 10/02/21
Internet address	http://www.modelsward.org (Website) https://www.scitepress.org/ProceedingsDetails.aspx?ID=ETEqn5Cq5J0=&t=1 (Proceedings)

Keywords

Natural-language extraction
Requirements formalization

Access to Document

10.5220/0010270602700277

Cite this

Zaki-Ismail, A., Osama, M., Abdelrazek, M., Grundy, J., & Ibrahim, A. (2021). RCM-Extractor: automated extraction of a semi formal representation model from natural language requirements. In S. Hammoudi, L. F. Pires, E. Seidewitz, & R. Soley (Eds.), Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development (pp. 270-277). (MODELSWARD 2021 - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development; Vol. 1). Scitepress. https://doi.org/10.5220/0010270602700277

Zaki-Ismail, Aya ; Osama, Mohamed ; Abdelrazek, Mohamed et al. / RCM-Extractor : automated extraction of a semi formal representation model from natural language requirements. Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development. editor / Slimane Hammoudi ; Luis Ferreira Pires ; Edwin Seidewitz ; Richard Soley. Setúbal Portugal : Scitepress, 2021. pp. 270-277 (MODELSWARD 2021 - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development).

@inproceedings{09b63846fd0041df830bbbc8dbc0dcc4,

title = "RCM-Extractor: automated extraction of a semi formal representation model from natural language requirements",

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.",

keywords = "Natural-language extraction, Requirements formalization",

author = "Aya Zaki-Ismail and Mohamed Osama and Mohamed Abdelrazek and John Grundy and Amani Ibrahim",

year = "2021",

doi = "10.5220/0010270602700277",

language = "English",

series = "MODELSWARD 2021 - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development",

publisher = "Scitepress",

pages = "270--277",

editor = "Slimane Hammoudi and Pires, \{Luis Ferreira\} and Edwin Seidewitz and Richard Soley",

booktitle = "Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development",

address = "Portugal",

note = "International Conference on Model-Driven Engineering and Software Development 2021, MODELSWARD 2021 ; Conference date: 08-02-2021 Through 10-02-2021",

url = "http://www.modelsward.org, https://www.scitepress.org/ProceedingsDetails.aspx?ID=ETEqn5Cq5J0=\&t=1",

}

Zaki-Ismail, A, Osama, M, Abdelrazek, M, Grundy, J & Ibrahim, A 2021, RCM-Extractor: automated extraction of a semi formal representation model from natural language requirements. in S Hammoudi, LF Pires, E Seidewitz & R Soley (eds), Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development. MODELSWARD 2021 - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, vol. 1, Scitepress, Setúbal Portugal, pp. 270-277, International Conference on Model-Driven Engineering and Software Development 2021, United States of America, 8/02/21. https://doi.org/10.5220/0010270602700277

RCM-Extractor: automated extraction of a semi formal representation model from natural language requirements. / Zaki-Ismail, Aya; Osama, Mohamed; Abdelrazek, Mohamed et al.
Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development. ed. / Slimane Hammoudi; Luis Ferreira Pires; Edwin Seidewitz; Richard Soley. Setúbal Portugal: Scitepress, 2021. p. 270-277 (MODELSWARD 2021 - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development; Vol. 1).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

TY - GEN

T1 - RCM-Extractor

T2 - International Conference on Model-Driven Engineering and Software Development 2021

AU - Zaki-Ismail, Aya

AU - Osama, Mohamed

AU - Abdelrazek, Mohamed

AU - Grundy, John

AU - Ibrahim, Amani

N1 - Conference code: 9th

PY - 2021

Y1 - 2021

N2 - 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.

AB - 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.

KW - Natural-language extraction

KW - Requirements formalization

UR - https://www.scopus.com/pages/publications/85103016713

U2 - 10.5220/0010270602700277

DO - 10.5220/0010270602700277

M3 - Conference Paper

AN - SCOPUS:85103016713

T3 - MODELSWARD 2021 - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development

SP - 270

EP - 277

BT - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development

A2 - Hammoudi, Slimane

A2 - Pires, Luis Ferreira

A2 - Seidewitz, Edwin

A2 - Soley, Richard

PB - Scitepress

CY - Setúbal Portugal

Y2 - 8 February 2021 through 10 February 2021

ER -

Zaki-Ismail A, Osama M, Abdelrazek M, Grundy J, Ibrahim A. RCM-Extractor: automated extraction of a semi formal representation model from natural language requirements. In Hammoudi S, Pires LF, Seidewitz E, Soley R, editors, Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development. Setúbal Portugal: Scitepress. 2021. p. 270-277. (MODELSWARD 2021 - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development). doi: 10.5220/0010270602700277

RCM-Extractor: automated extraction of a semi formal representation model from natural language requirements

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Cite this