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 条

[21] The linguistic approach to the natural language requirements quality: Benefit of the use of an automatic tool
Fabbrini, F
Fusani, M
Gnesi, S
Lami, G
26TH ANNUAL NASA GODDARD SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS, 2002, : 97 - 105
[22] InputGen: A Tool for Automatic Generation of Prototype Inputs to Support Rapid Requirements Validation
Chang, Shuanglong
Gao, Juntao
Yang, Yilong
2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS, ICSE-COMPANION, 2023, : 122 - 126
[23] Data mining: an automatic tool for retrieval of data from a system's requirements
Ibrahim, R.
Ibrahim, N.
Ismail, N.
DATA MINING VIII: DATA, TEXT AND WEB MINING AND THEIR BUSINESS APPLICATIONS, 2007, 38 : 193 - +
[24] USING VR AS A TOOL FOR THE AUTOMATED CAPTURE AND FORMALISATION OF ENGINEERING KNOWLEDGE
Ritchie, James M.
Sung, Raymond C. W.
Lim, Theodore
PROCEEDINGS OF THE ASME WORLD CONFERENCE ON INNOVATIVE VIRTUAL REALITY - 2011, 2011, : 235 - 242
[25] Performance of the ArF scanning exposure tool
Mori, S
OPTICAL MICROLITHOGRAPHY XII, PTS 1 AND 2, 1999, 3679 : 522 - 529
[26] Development of ArF immersion exposure tool
Nakano, H
Hata, H
Takahashi, K
Arakawa, M
Chibana, T
Honda, T
Chiba, K
Mori, S
Optical Microlithography XVIII, Pts 1-3, 2005, 5754 : 693 - 700
[27] An ontology-based approach for formalisation and semantic organisation of conformance requirements in construction
Yurchyshyna, Anastasiya
Zarli, Alain
AUTOMATION IN CONSTRUCTION, 2009, 18 (08) : 1084 - 1098
[28] A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements
Arrieta, Aitor
Agirre, Joseba A.
Sagardui, Goiuria
2020 IEEE 13TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2020, : 1 - 5
[29] RM2MS: A Tool for Automatic Identification of Microservices from Requirements Models
Li, Yang
Zhang, Yang
Yang, Yilong
Wang, Weiru
Yin, Yongfeng
2023 ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION, MODELS-C, 2023, : 50 - 54
[30] A Modelling and Formalisation Tool for Use Case Design in Social Autonomous Robotics
Gragera, Alba
Maria Garcia, Alba
Fernandez, Fernando
FOURTH IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, ROBOT 2019, VOL 2, 2020, 1093 : 656 - 667

← 1 2 3 4 5 →