Automated Requirements Formalisation for Agile MDE

Model-driven engineering (MDE) of software systems from precise specifications has become established as an important approach for rigorous software development. However, the use of MDE requires specialised skills and tools, which has limited its adoption.In this paper we describe techniques for aut...

Full description

Saved in:
Bibliographic Details
Published in2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) pp. 173 - 180
Main Authors Lano, Kevin, Yassipour-Tehrani, Sobhan, Umar, M. A.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.10.2021
Subjects
Agile development
Data models
Machine learning
Manuals
Model driven engineering
Natural language processing
Production
Requirements formalisation
Software systems
Online AccessGet full text

Cover

More Information
Summary:Model-driven engineering (MDE) of software systems from precise specifications has become established as an important approach for rigorous software development. However, the use of MDE requires specialised skills and tools, which has limited its adoption.In this paper we describe techniques for automating the derivation of software specifications from requirements statements, in order to reduce the effort required in creating MDE specifications, and hence to improve the usability and agility of MDE. Natural language processing (NLP) and Machine learning (ML) are used to recognise the required data and behaviour elements of systems from textual and graphical documents, and formal specification models of the systems are created. These specifications can then be used as the basis of manual software development, or as the starting point for automated software production using MDE.
DOI:10.1109/MODELS-C53483.2021.00030