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 条

[41] Technical specifications to meet the requirements of an Automatic Code Compliance Checking tool and current developments in infrastructure construction
Schuk, V.
Pombo Jiménez, M.E.
Martin, U.
Results in Engineering, 2022, 16
[42] Technical specifications to meet the requirements of an Automatic Code Compliance Checking tool and current developments in infrastructure construction
Schuk, V
Jimenez, M. E. Pombo
Martin, U.
RESULTS IN ENGINEERING, 2022, 16
[43] New 0.75 NA ArF Scanning Lithographic Tool
Duan, Lifeng
Cheng, Jianrui
Sun, Gang
Chen, Yonghui
OPTICAL MICROLITHOGRAPHY XXIV, 2011, 7973
[44] Mass production level ArF immersion exposure tool
Okumura, Masahiko
Ishikawa, Jun
Hamatani, Masato
Nei, Masahiro
OPTICAL MICROLITHOGRAPHY XIX, PTS 1-3, 2006, 6154 : U1112 - U1119
[45] Automatic tool inspection
不详
MANUFACTURING ENGINEERING, 1996, 117 (04): : 34 - 34
[46] AUTOMATIC TOOL CHANGER
不详
MACHINE TOOL REVIEW, 1973, 61 (355): : 12 - 12
[47] Automatic tool identification
Popp, Norbert
Werkstatt und Betrieb, 2002, 135 (03): : 32 - 34
[48] THE AMERICAN AUTOMATIC TOOL
Lloyd, Ernest F.
JOURNAL OF POLITICAL ECONOMY, 1919, 27 (06) : 457 - 465
[49] EQUIPMENTS FOR MAINTENANCE OF ARF-102 AUTOMATIC TELEPHONE EXCHANGES
ERIKSSON, V
ERICSSON REVIEW, 1969, 46 (02): : 30 - &
[50] REQUIREMENTS FOR TOOL HANDLE DESIGN
PATKIN, M
ERGONOMICS, 1970, 13 (02) : 297 - &

← 1 2 3 4 5 →