| Vol-4122 urn:nbn:de:0074-4122-x Copyright © 2025 for the individual papers by the papers' authors. Copyright © 2025 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# STAF-WS 2025
STAF Workshops 2025

### Joint Proceedings of the STAF 2025 Workshops: OCL, OOPSLE, LLM4SE, ICMM, AgileMDE, AI4DPS, and TTC
co-located with the International Conference on Software Technologies: Applications and Foundations (STAF 2025)

### Koblenz, Germany, June 10-13, 2025.

Edited by

### Amir Shayan Ahmadian 1
Ralf Lämmel 1
Sobhan Yassipour Tehrani 2
Ivan Alfonso 3
Shekoufeh Rahimi 4
Arne Lange 5
Thomas Weber 6
Colin Atkinson 5
Uwe Aßmann 7
Antonio Cicchetti 8
Jose Antonio Hernandez López 9
Riccardo Rubei 10
Robert Clarisó 11
Lars Hamann 12
Mikhail Barash 13
Vadim Zaytsev 14
Andreas Schmitz 1
Friedrich Steimann 15
Maria Wimmer 1
Sandra Greiner 16
Georg Hinkel 17
Théo Le Calvar 18

1 University of Koblenz, Germany
2 University College London, United Kingdom
3 Luxembourg Institute of Science and Technology, Luxembourg
4 University of Roehampton, United Kingdom
5 Mannheim University, Germany
6 Karlsruhe Institute of Technology, Germany
7 TU Dresden, Germany
8 Mälardalen University, Sweden
9 University of Murcia, Spain
10 University of L’Aquila, Italy
11 Universitat Oberta de Catalunya, Spain
12 Hamburg University of Applied Sciences, Germany
13 University of Bergen, Norway
14 University of Twente, Netherlands
15 Fernuniversität Hagen, Germany
16 University of Southern Denmark, Denmark
17 Rhein Main University of Applied Sciences, Germany
18 IMT Atlantique Bretagne Pays de la Loire, France

## Table of Contents

- Preface
  Summary: OCL: 7 papers were accepted (5 long papers and 2 short papers). OOPSLE: 2 papers were accepted (1 long paper and 1 short paper). ICMM: 3 papers were accepted (2 long papers and 1 short paper). AI4DPS: 4 invited papers were accepted. AgileMDE: 6 papers were accepted (5 long papers and 1 short paper) LLM4SE: 8 long papers were accepted. TTC: 3 papers were accepted (1 long paper and 2 short papers)

### OCL 2025

- OCL on life support: can we revitalize the community for a stronger future? (short paper)
  Mauro Dalle Lucca Tosi, Jordi Cabot
- Sorted collection and map types for OCL
  Kevin Lano, Zishan Rahman, Shekoufeh Rahimi
- Using LLMs to extract OCL specifications from Java and Python programs: an empirical study
  Hanan Abdulwahab Siala, Kevin Lano
- From OCL to JSX: declarative constraint modeling in modern SaaS tools
  Antonio Bucchiarone, Juri Di Rocco, Damiano Di Vincenzo, Alfonso Pierantonio
- Verifying OCL pre/post condition using Cyclone (short paper)
  YueLou Ding, Hao Wu,
- A new set of metrics for measuring the complexity of OCL expressions
  Ankit Jha, Rosemary Monahan, Hao Wu
- Measuring complexity of logical puzzles with metrics expressed in OCL *or* A case study on OCL diversity
  Martin Gogolla, Jesús Sánchez Cuadrado

### OOPSLE 2025 - Open and Original Problems in Software Language Engineering

- Open and Original Problems in Software Language Engineering 2025 workshop report (short paper)
  Mikhail Barash, Vadim Zaytsev
- Exploring the use of large language models in domain-specific language development: an experience report
  Jordi Cabot

### ICMM 2025 - (In-)Consistency Management in Modeling

- Towards a unified model-based engineering framework: integrating UML profiles into EMF
  Muhammad Asim Minhas, Vitus Luentzel, Erik Burger
- Towards dynamic views on heterogeneous models – the NeoJoin view definition language
  Lars König, Tobias Stickling, Daniel Ritz, Erik Burger
- A process for continuous consistency-aware quality management (short paper)
  Martin Armbruster, Manar Mazkatli, Anne Koziolek

### AI4DPS 2025 - Artificial Intelligence for Digital Public Services

- Ai-based and model-driven methods to guide citizens through processes in the public sector (invited paper)
  Lukas Netz, Judith Michael, Bernhard Rumpe
- Toward a national repository of administrative procedures: web crawling and process modeling with large language models (invited paper)
  Francesca De Luzi, Mattia Macrì, Massimo Mecella
- Structuring legal text as preparation for chat-bot use (invited paper)
  Lothar Hotz, Karen Wilke, Mario Krebs
- KI und BPM als Enabler der Digitalisierung in der Verwaltung (AI and BPM as enablers of digitalization in administration) (invited paper)
  Julius Köpke, Robin Bergenthum, Jakub Kovář

### AgileMDE 2025 - Agile Model-Driven Engineering

- Model-driven engineering in digital signal processing
  Shirin Hussein, Sobhan Y. Tehrani, Hossein Beheshti
- Enhancing agile model-driven engineering with automated formal verification of BPMN models
  Kimia Kolahdouz, Shekoufeh Kolahdouz Rahimi, Kevin Lano
- Specification and design refactorings for sustainable agile model-driven engineering
  Kevin Lano, Shekoufeh Rahimi, Zishan Rahman
- Using LLMs to extract UML class diagrams from Java and Python programs: an empirical study
  Hanan Abdulwahab Siala, Kevin Lano
- Comparing LLM-based and MDE-based code generation for agile MDE
  Qiaomu Xue, Kevin Lano
- Bridging agility and automation: enhancing model-driven engineering with LLMs in scrum (short paper)
  Leila Samimi-Dehkordi, Shekoufeh Kolahdouz Rahimi

### LLM4SE 2025 - Large Language Models for Software Engineering

- Large language models for game development: A mapping study on automated code generation
  Alireza Dastmalchi Saei, Mohammadreza Sharbaf, Shekoufeh Kolahdouz-Rahimi
- Model Transformations Using LLMs Out-of-the-Box: Can Accidental Complexity Be Reduced?
  Gabriel Kazai, Ronnie Agyeiwaa Osei, Alessio Bucaioni, Antonio Cicchetti
- A language workbench extension to generate conversational interfaces for domain-specific languages
  Luigi Brandolini, Massimo Tisi, Jean-Sebastien Sottet
- On the use of LLMs for design pattern detection in software models
  Yassine Abdeljalil, Ansgar Radermacher, Marcos Didonet Del Fabro, Chokri Mraidha
- Provider-agnostic knowledge graph extraction from user stories using large language models
  Thayná Camargo da Silva, Leen Lambers, Sébastien Mosser, Kate Revoredo
- AIPyCraft: AI-assisted software development lifecycle for 6G blockchain oracle validation
  Antonio M. Alberti, Alexis V. de A. Leal, Ariel Galante Dalla-Costa, Cristiano Bonato Both
- Leveraging LLMs to support co-evolution between definitions and instances of textual DSLs
  Weixing Zhang, Regina Hebig, Daniel Strueber
- Optimizing retrieval augmented generation for object constraint language
  Kevin Chenhao Li, Vahid Zolfaghari, Nenad Petrovic, Fengjunjie Pan, Alois Knoll

### TTC 2025 - Transformation Tool Case

- Compilation of Feature Models by Expert Vibing
  Vadim Zaytsev
- Two MontiCore solutions to the TTC 2025 UVL to Dot case (short paper)
  Alex Luepges, Janik Rapp, Bernhard Rumpe
- Universal Variability Language to Dot (short paper)
  Georg Hinkel, Sandra Greiner, Théo Le Calvar

2025-09-11: submitted by Amir Shayan Ahmadian, metadata incl. bibliographic data published under Creative Commons CC0
2025-12-10: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|