Leveraging LLMs to support co-evolution between definitions and instances of textual DSLs
Software languages evolve over time for various reasons, such as the addition of new features. When the language’s grammar definition evolves, textual instances that originally conformed to the grammar become outdated. For DSLs in a model-driven engineering context, there exists a plethora of techniques to co-evolve models with the evolving metamodel. However, these techniques are not geared to support DSLs with a textual syntax — applying them to textual language definitions and instances may lead to the loss of information from the original instances, such as comments, layout information, and optional keywords and symbols, which are valuable for software comprehension and maintenance. This study explores the potential of Large Language Model (LLM)-based solutions in achieving grammar and instance co-evolution, with attention to their ability to preserve auxiliary information when directly processing textual instances. By applying two advanced language models, Claude-3.5 and GPT-4o, and conducting experiments across seven case languages, we evaluated the feasibility and limitations of this approach, providing experimental evidence and insights for future research.
Thu 12 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:30 - 15:00 | |||
13:30 30mResearch paper | On the use of LLMs for Design Pattern Detection in software models LLM4SE Abdeljalil Yassine Université Paris-Saclay, CEA, List, Ansgar Radermacher , Marcos Didonet del Fabro Universidade Federal do Paraná, Chokri Mraidha Université Paris-Saclay, CEA, List | ||
14:00 30mResearch paper | Optimizing Retrieval Augmented Generation for Object Constraint Language LLM4SE Kevin Chenhao Li Technical University of Munich (TUM), Vahid Zolfaghari Technical University of Munich (TUM), Nenad Petrovic Technical University of Munich (TUM), Fengjunjie Pan Technical University of Munich (TUM), Alois Knoll Technical University of Munich Pre-print | ||
14:30 30mResearch paper | Leveraging LLMs to support co-evolution between definitions and instances of textual DSLs LLM4SE Weixing Zhang Chalmers | University of Gothenburg, Regina Hebig Universität Rostock, Rostock, Germany, Daniel Strüber Chalmers | University of Gothenburg / Radboud University | ||