Write a Blog >>
Tue 22 Mar 2022 14:45 - 15:05 at Conference Room 1 - Formalization and NLP Chair(s): Fabiano Dalpiaz

[Context and motivation] Requirements formalization facilitates reasoning about inconsistencies, detection of ambiguities, and identification of critical issues in system models. Temporal logic formulae are the natural choice when it comes to formalizing requirements associated with desired system behaviours. [Question/problem] Understanding and mastering temporal logic require a formal background. Means are therefore needed to make temporal logic formulae interpretable by engineers, domain experts, and other stakeholders involved in the development process. [Principal ideas/results] In this paper, we propose to use a neural machine translation tool, named OpenNMT, to translate Linear Temporal Logic (LTL) formulae into corresponding natural language descriptions. Our results show that our translation system achieves an average BLEU (BiLingual Evaluation Understudy) score of 78%, which corresponds to high-quality translations. [Contribution] Our neural model can be applied to assess if requirements have been correctly formalized. This can be useful to requirements analysts, who may have limited confidence with LTL, and to other stakeholders involved in the requirements verification process. Overall, our work contributes to bridging the gap between formal methods and requirements engineering and opens to further research in explainable formal methods.

Tue 22 Mar

Displayed time zone: London change

14:00 - 15:30
Formalization and NLPResearch Papers at Conference Room 1
Chair(s): Fabiano Dalpiaz Utrecht University
FRETting About RequirementsScientific Evaluation
Research Papers
Marie Farrell Maynooth University, Matt Luckcuck Maynooth Universtiy, Oisin Sheridan Maynooth University, Rosemary Monahan National University of Ireland
Link to publication DOI Pre-print
Towards Explainable Formal Methods: from LTL to Natural Language with Neural Machine TranslationResearch Preview
Research Papers
Himaja Cherukuri Kennesaw State University, Alessio Ferrari CNR-ISTI, Paola Spoletini Kennesaw State University
Req2Spec: Transforming Software Requirements into Formal Specifications using Natural Language ProcessingResearch Preview
Research Papers
Anmol Nayak Bosch, Hari Prasad Timmapathini ARiSE Labs at Bosch, Vidhya Murali ARiSE Labs at Bosch, Karthikeyan Ponnalagu ARiSE Labs at Bosch, Vijendran Gopalan Venkoparao ARiSE Labs at Bosch, Amalinda Post Robert Bosch GmbH