Write a Blog >>
RE2021
Mon 20 - Fri 24 September 2021
Thu 23 Sep 2021 12:00 - 13:00 at Posters&Demonstrations - Posters & Demonstrations 3

The formalisation of natural language (NL) requirements is a challenging problem because NL is inherently vague and imprecise. Existing formalisation approaches only support requirements adhering to specific boilerplates or templates, and are affected by the requirements quality issues. Several quality models are developed to assess the quality of NL requirements. However, they do not focus on the quality issues affecting the formalisability of requirements. Such issues can greatly compromise the operation of complex systems and even lead to catastrophic consequences or loss of life (in case of safety critical systems). In this paper, we propose a requirements quality checking approach utilising natural language processing (NLP) analysis. The approach assesses the quality of the requirements against a quality model that we developed to enhance the formalisability of NL requirements. We evaluate the effectiveness of our approach by comparing the formalisation efficiency of a recent automatic formalisation technique before and after utilising our approach. The results show an increase of approximately 15% in the F-measure (from 83.8% to 98%).

Thu 23 Sep

Displayed time zone: Eastern Time (US & Canada) change

12:00 - 13:00
Posters & Demonstrations 3Posters and Tool Demos at Posters&Demonstrations
12:00
60m
Demonstration
ARF: Automatic Requirements Formalisation ToolDemonstration
Posters and Tool Demos
Aya Zaki Ismail Deakin University, Mohamed Osama Deakin University, Mohamed Abdelrazek Deakin University, Australia, John Grundy Monash University, Amani Ibrahim Deakin University
12:00
60m
Demonstration
CARO: A Conflict Aware Requirement Ordering Tool for DevOpsDemonstration
Posters and Tool Demos
MANDIRA ROY UNIVERSITY OF CALCUTTA, Novarun Deb Indian Institute of Information Technology, Vadodara, Agostino Cortesi Università Ca' Foscari Venezia, Rituparna Chaki UNIVERSITY OF CALCUTTA, Nabendu Chaki UNIVERSITY OF CALCUTTA
12:00
60m
Demonstration
MRDQA: A Deep Multimodal Requirement Document Quality AnalyzerDemonstration
Posters and Tool Demos
yeming ZTE, Jicheng Cao ZTE Corporation, Shengyu Cheng ZTE Corporation, Dong Liu ZTE, Shenghai Xu ZTE, Jinning He ZTE
12:00
60m
Poster
Enhancing NL Requirements Formalisation using A Quality Checking ModelPoster
Posters and Tool Demos
Mohamed Osama Deakin University, Aya Zaki Ismail Deakin University, Mohamed Abdelrazek Deakin University, Australia, John Grundy Monash University, Amani Ibrahim Deakin University
12:00
60m
Demonstration
Pri-AwaRE: Tool Support for priority-aware decision-making under uncertaintyDemonstration
Posters and Tool Demos
Huma Samin Aston University, Nelly Bencomo Durham University, Peter Sawyer Aston University
12:00
60m
Demonstration
RV-SLC: A Tool for Regression Validation of Safety and Liveness Constraints on Goal Models in DevOps EnvironmentDemonstration
Posters and Tool Demos
Palak Ambade Indian Institute of Information Technology, Vadodara, Diptiben Solanki Indian Institute of Information Technology, Vadodara, Novarun Deb Indian Institute of Information Technology, Vadodara