ARF: Automatic Requirements Formalisation Tool

被引：1

作者：

Zaki-Ismail, Aya ^{[1
]}

Osama, Mohamed ^{[1
]}

Abdelrazek, Mohamed ^{[1
]}

Grundy, John ^{[2
]}

Ibrahim, Amani ^{[1
]}

机构：

[1] Deakin Univ, Informat Technol, Melbourne, Vic, Australia

[2] Monash Univ, Informat Technol, Melbourne, Vic, Australia

来源：

29TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE 2021) | 2021年

关键词：

Requirements engineering; Requirements Formalisation; Requirements Extraction;

D O I：

10.1109/RE51729.2021.00060

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Formal verification techniques enable the detection of complex quality issues within system specifications. However, the majority of system requirements are usually specified in natural language (NL). Manual formalisation of NL requirements is an error-prone and labour-intensive process requiring strong mathematical expertise, and can be infeasible for large numbers of requirements. Existing automatic formalisation techniques usually support heavily constrained natural language relying on requirement boilerplates or templates. In this paper, we introduce ARF: Automatic Requirements Formalisation Tool. ARF can automatically transform free-format natural language requirements into temporal logic based formal notations. This is achieved through two steps: 1) extraction of key requirement attributes into an intermediate representation (RCM: Requirement Capturing Model), and 2) transformation rules that convert requirements from the RCM format to formal notations.

引用

页码：440 / 441

页数：2

共 50 条

[1] Tool for automatic discovery of ambiguity in requirements
Nigam, A., 1600, International Journal of Computer Science Issues (IJCSI) (09): : 5 - 2
[2] Lightweight Formalisation in Support of Requirements Engineering
Hesketh J.
Robertson D.
Fuchs N.
Bundy A.
Automated Software Engineering, 1998, 5 (2) : 183 - 210
[3] Automated Requirements Formalisation for Agile MDE
Lano, Kevin
Yassipour-Tehrani, Sobhan
Umar, M. A.
24TH ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2021), 2021, : 175 - 182
[4] A survey on the formalisation of system requirements and their validation
Mokos, Konstantinos
Katsaros, Panagiotis
Katsaros, Panagiotis (katsaros@csd.auth.gr), 1600, Elsevier B.V. (07):
[5] Introduction to theme section on requirements formalisation
Lano, Kevin
Rahimi, Shekoufeh
Tehrani, Sobhan
Burgueno, Lola
Umar, Mohammad Aminu
SOFTWARE AND SYSTEMS MODELING, 2024, 23 (06): : 1451 - 1453
[6] An automatic tool for the analysis of natural language requirements
Gnesi, S
Lami, G
Trentanni, G
Fabbrini, F
Fusani, M
COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2005, 20 (01): : 53 - 62
[7] Formalisation of requirements with emphasis; on feature interaction detection
Blom, J
FEATURE INTERACTIONS IN TELECOMMUNICATION NETWORKS IV, 1997, : 61 - 77
[8] Tool requirements planning in a flexible manufacturing system with an automatic tool transporter
Kim, YD
Lee, GC
Choi, SK
Lim, SK
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2001, 17 (06): : 795 - 804
[9] Automatic requirements specification update processing from a requirements management tool perspective
James, L
INTERNATIONAL CONFERENCE AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 1997, : 2 - 9
[10] RCM: Requirement Capturing Model for Automated Requirements Formalisation
Zaki-Ismail, Aya
Osama, Mohamed
Abdelrazek, Mohamed
Grundy, John
Ibrahim, Amani
PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD), 2021, : 110 - 121

← 1 2 3 4 5 →