Yassipour Tehrani, Sobhan;
(2021)
Automated Requirements Formalisation for Agile MDE.
In:
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) 2021.
(pp. pp. 173-180).
IEEE
Preview |
Text
Yassipour-Tehrani_Automated Requirements Formalisation for Agile MDE_AAM.pdf - Accepted Version Download (284kB) | Preview |
Abstract
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.
| Type: | Proceedings paper |
|---|---|
| Title: | Automated Requirements Formalisation for Agile MDE |
| Event: | 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) |
| Location: | Fukuoka, Japan |
| Dates: | 10 Oct 2021 - 15 Oct 2021 |
| ISBN-13: | 978-1-6654-2484-4 |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1109/MODELS-C53483.2021.00030 |
| Publisher version: | https://doi.org/10.1109/MODELS-C53483.2021.00030 |
| Language: | English |
| Additional information: | This version is the author accepted manuscript. For information on re-use, please refer to the publisher's terms and conditions. |
| Keywords: | Requirements formalisation; Model-driven engineering; Agile development |
| UCL classification: | UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science UCL > Provost and Vice Provost Offices > UCL BEAMS UCL |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10149454 |
Archive Staff Only
 |
View Item |
