STAF-WS 2025
STAF Workshops 2025

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