Enhancing NL Requirements Formalisation using A Quality Checking ModelPoster
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 SepDisplayed time zone: Eastern Time (US & Canada) change
12:00 - 13:00 | |||
12:00 60mDemonstration | 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 60mDemonstration | 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 60mDemonstration | 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 60mPoster | 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 60mDemonstration | Pri-AwaRE: Tool Support for priority-aware decision-making under uncertaintyDemonstration Posters and Tool Demos | ||
12:00 60mDemonstration | 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 |