Specification and design refactorings for sustainable agile model-driven engineering
Refactoring is an essential technique in agile development, which aims to improve the quality of delivered code, and to manage the technical debt (TD) levels of software over system lifetimes. For agile model-driven engineering (MDE), refactorings should be applicable at the software modelling level. In addition, due to concerns about climate change, refactorings should also reduce software energy use.
In this paper we describe refactorings of software specifications and designs expressed in UML and OCL models, and evaluate the effectiveness of these refactorings for reducing software energy-use.
Wed 11 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:30 - 15:00 | |||
13:30 20mPaper | Enhancing Agile Model-Driven Engineering with Automated Formal Verification of BPMN Models Agile MDE | ||
13:50 20mPaper | Comparing LLM-based and MDE-based Code Generation for Agile MDE Agile MDE | ||
14:10 20mPaper | Using LLMs to Extract UML Class Diagrams from Java and Python Programs: An Empirical Study Agile MDE | ||
14:30 20mPaper | Specification and design refactorings for sustainable agile model-driven engineering Agile MDE Dr Kevin Lano King's College London | ||
Session 2: “Leveraging LLMs and Formal Methods in Agile MDE”
Time: 13:30 – 15:00
Location: A 308Description:
This session dives into the integration of formal methods and large language models to advance Agile Model-Driven Engineering practices. Topics include automated verification of BPMN models, empirical studies on UML class diagram extraction using LLMs, and comparative evaluations of LLMs versus traditional MDE approaches for code generation. The session concludes with a focus on sustainable engineering through improved design refactorings.Papers:
- Enhancing Agile Model-Driven Engineering with Automated Formal Verification of BPMN Models - Kimia Kolahdouz, Shekoufeh Rahimi (University of Roehampton)
- Comparing LLM-based and MDE-based Code Generation for Agile MDE - Qiaomu Xue, Kevin Lano (King’s College London)
- Using LLMs to Extract UML Class Diagrams from Java and Python Programs: An Empirical Study - Hanan Abdulwahab Siala, Kevin Lano (King’s College London)
- Specification and design refactorings for sustainable agile model-driven engineering