STAF-WS 2025

Table of Contents

• PDF
  
• OCL on life support: can we revitalize the community for a stronger future? PDF
  Mauro Dalle Lucca Tosi, Jordi Cabot
• Sorted collection and map types for OCL PDF
  Kevin Lano, Zishan Rahman, Shekoufeh Rahimi
• Using LLMs to extract OCL specifications from Java and Python programs: an empirical study PDF
  Hanan Abdulwahab Siala, Kevin Lano
• From OCL to JSX: declarative constraint modeling in modern SaaS tools PDF
  Antonio Bucchiarone, Juri Di Rocco, Damiano Di Vincenzo, Alfonso Pierantonio
• Verifying OCL pre/post condition using Cyclone PDF
  YueLou Ding, Hao Wu
• A new set of metrics for measuring the complexity of OCL expressions PDF
  Ankit Jha, Rosemary Monahan, Hao Wu
• Measuring complexity of logical puzzles with metrics expressed in OCL *or* A case study on OCL diversity PDF
  Martin Gogolla, Jesús Sánchez Cuadrado
• Open and Original Problems in Software Language Engineering 2025 workshop report PDF
  Mikhail Barash, Vadim Zaytsev
• Exploring the use of large language models in domain-specific language development: an experience report PDF
  Jordi Cabot
• Towards a unified model-based engineering framework: integrating UML profiles into EMF PDF
  Muhammad Asim Minhas, Vitus Luentzel, Erik Burger
• Towards dynamic views on heterogeneous models – the NeoJoin view definition language PDF
  Lars König, Tobias Stickling, Daniel Ritz, Erik Burger
• A process for continuous consistency-aware quality management PDF
  Martin Armbruster, Manar Mazkatli, Anne Koziolek
• Ai-based and model-driven methods to guide citizens through processes in the public sector PDF
  Lukas Netz, Judith Michael, Bernhard Rumpe
• Toward a national repository of administrative procedures: web crawling and process modeling with large language models PDF
  Francesca De Luzi, Mattia Macrì, Massimo Mecella
• Structuring legal text as preparation for chat-bot use PDF
  Lothar Hotz, Karen Wilke, Mario Krebs
• KI und BPM als Enabler der Digitalisierung in der Verwaltung PDF
  Julius Köpke, Robin Bergenthum, Jakub Kovář
• Model-driven engineering in digital signal processing PDF
  Shirin Hussein, Sobhan Y. Tehrani, Hossein Beheshti
• Enhancing agile model-driven engineering with automated formal verification of BPMN models PDF
  Kimia Kolahdouz, Shekoufeh Kolahdouz Rahimi, Kevin Lano
• Specification and design refactorings for sustainable agile model-driven engineering PDF
  Kevin Lano, Shekoufeh Rahimi, Zishan Rahman
• Using LLMs to extract UML class diagrams from Java and Python programs: an empirical study PDF
  Hanan Abdulwahab Siala, Kevin Lano
• Comparing LLM-based and MDE-based code generation for agile MDE PDF
  Qiaomu Xue, Kevin Lano
• Bridging agility and automation: enhancing model-driven engineering with LLMs in scrum PDF
  Leila Samimi-Dehkordi, Shekoufeh Kolahdouz Rahimi
• Large language models for game development: A mapping study on automated code generation PDF
  Alireza Dastmalchi Saei, Mohammadreza Sharbaf, Shekoufeh Kolahdouz-Rahimi
• Model Transformations Using LLMs Out-of-the-Box: Can Accidental Complexity Be Reduced? PDF
  Gabriel Kazai, Ronnie Agyeiwaa Osei, Alessio Bucaioni, Antonio Cicchetti
• A language workbench extension to generate conversational interfaces for domain-specific languages PDF
  Luigi Brandolini, Massimo Tisi, Jean-Sebastien Sottet
• On the use of LLMs for design pattern detection in software models PDF
  Yassine Abdeljalil, Ansgar Radermacher, Marcos Didonet Del Fabro, Chokri Mraidha
• Provider-agnostic knowledge graph extraction from user stories using large language models PDF
  Thayná Camargo da Silva, Leen Lambers, Sébastien Mosser, Kate Revoredo
• AIPyCraft: AI-assisted software development lifecycle for 6G blockchain oracle validation PDF
  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 PDF
  Weixing Zhang, Regina Hebig, Daniel Strueber
• Optimizing retrieval augmented generation for object constraint language PDF
  Kevin Chenhao Li, Vahid Zolfaghari, Nenad Petrovic, Fengjunjie Pan, Alois Knoll
• Compilation of Feature Models by Expert Vibing PDF
  Vadim Zaytsev
• Two MontiCore solutions to the TTC 2025 UVL to Dot case PDF
  Alex Luepges, Janik Rapp, Bernhard Rumpe
• Universal Variability Language to Dot PDF
  Georg Hinkel, Sandra Greiner, Théo Le Calvar