TY - CHAP
T1 - Automated Requirements Formalisation for Agile MDE
AU - Lano, Kevin
AU - Yassipour-Tehrani, Sobhan
AU - Umar, M. A.
N1 - Publisher Copyright:
© 2021 IEEE.
PY - 2021
Y1 - 2021
N2 - 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.
AB - 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.
KW - Agile development
KW - Model-driven engineering
KW - Requirements formalisation
UR - http://www.scopus.com/inward/record.url?scp=85124017516&partnerID=8YFLogxK
U2 - 10.1109/MODELS-C53483.2021.00030
DO - 10.1109/MODELS-C53483.2021.00030
M3 - Conference paper
AN - SCOPUS:85124017516
T3 - Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021
SP - 173
EP - 180
BT - Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021
Y2 - 10 October 2021 through 15 October 2021
ER -