STAF 2025
Tue 10 - Fri 13 June 2025 Koblenz, Germany

The 21st European Conference on Modelling Foundations and Applications (ECMFA) will be held in Koblenz, Germany, (June 10-11, 2025) as part of STAF 2025 (Software Technologies: Applications and Foundations).

Aims and scope

The European Conference on Modelling Foundations and Applications (ECMFA) is the premier European forum dedicated to advancing the state of knowledge and fostering the application of all aspects of MBE and related approaches.

Its focus is on engaging the key figures of research and industry in a dialog that will result in stronger and more effective practical application of MBE, hence producing more reliable software based on state-of-the-art research results.

In the technical track, we invite high-quality submissions of technical research papers describing original and unpublished results related to MBE.

Keynote Speaker

  • Speaker: Anne Koziolek
Dates
Tue 10 Jun 2025
Wed 11 Jun 2025

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 10 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
ECMFA OpeningECMFA at M 201
11:00 - 12:30
ECMFA Session 1: Model managementECMFA at M 201
11:00
30m
Talk
A Model Management Framework for Next-Generation Web-based Modeling Tools
ECMFA
David Jaeger TU Wien, Adam Lencses TU Wien, Martin Fleck EclipseSource Services GmbH, Philip Langer EclipseSource Services GmbH, Dominik Bork TU Wien, Vienna, Austria
11:30
30m
Talk
Towards Modeling Inconsistencies in Production Workflows — An Experience Report
ECMFA
Thomas Weber Karlsruhe Institute of Technology (KIT), Niklas D. Kuder Daedalus GmbH, Karlsruhe Institute of Technology, Thomas A. Völk Karlsruhe Institute of Technology, Jonas Schneider Daedalus GmbH, Sebastian Weber FZI Research Center for Information Technology, Anne Koziolek Karlsruhe Institute of Technology
12:00
30m
Talk
Variability Exploration for Decision Making: Supporting Domain Experts in Configuring Business Processes
ECMFA
Haitam El Hayani ENSIAS, Benoit Combemale University of Rennes, Inria, CNRS, IRISA, Olivier Barais University of Rennes; Inria; CNRS; IRISA, Steffen Zschaler King's College London
13:30 - 15:00
ECMFA Session 2: TestingECMFA at M 201
13:30
30m
Talk
Dynamic Role-Based Access Control Scenarios for Smart Contracts: Graph Rewriting for Testing Domain-specific Models
ECMFA
Issam Al-Azzoni Al Ain University of Science, United Arab Emirates, Reiko Heckel University of Leicester, Zobia Erum Birmingham City University
14:00
30m
Talk
Introducing automated testing to video game development via Behaviour-Driven Development
ECMFA
Michael Mulder University of Twente, Petra van den Bos University of Twente, The Netherlands
14:30
30m
Talk
Online Model-Based Testing Reusing Multiple Design Models in an Industrial Setting
ECMFA
Mathijs Schuts TNO-ESI, Jozef Hooman TNO-ESI, Ivan Kurtev Eindhoven University of Technology, Issam Tlili Philips, Erik Oerlemans Philips
15:30 - 17:00
ECMFA Session 3: Digital twins and data analysisECMFA at M 201
15:30
30m
Talk
Behavioral analysis of a digital twin using logging and model learning
ECMFA
Gunasekaran Raghavendran Tilburg University, Boudewijn Haverkort University of Twente, Loes Kruger Radboud University
16:00
30m
Talk
Navigating the trace of executable domain specific languages through a trace domain query language
ECMFA
Hiba Ajabri Nantes Université, Jean-Marie Mottu Nantes Université, Christian Attiogbe Nantes Université, Pascal Berruet University of Bretagne Sud
16:30
30m
Talk
Support for Model-Based Data Sovereignty Analysis
ECMFA
Sanjeev Sun Shakya University of Koblenz, Qusai Ramadan The Maersk Mc-Kinney Moller Institute, University of Southern Denmark, Julian Flake University of Koblenz, Alexander Peikert University of Koblenz

Wed 11 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
Keynote SpeechECMFA at M 201
09:00
90m
Keynote
Keynote TBA
ECMFA
Anne Koziolek Karlsruhe Institute of Technology
11:00 - 12:30
ECMFA Session 4: Low-code and user-friendly modellingECMFA at M 201
11:00
30m
Talk
A Metascience Study of the Low-Code Scientific Field
ECMFA
Mauro Dalle Lucca Tosi Luxembourg Institute of Sciences and Technology, Javier Luis Cánovas Izquierdo Universitat Oberta de Catalunya, Jordi Cabot Luxembourg Institute of Science and Technology
11:30
30m
Talk
An internal DSL for graphical modeling tools based on GLSP
ECMFA
Georg Hinkel RheinMain University of Applied Sciences, Wiesbaden, Germany, Bodo Igler RheinMain University of Applied Sciences
12:00
30m
Talk
User Modeling in Model-Driven Engineering: A Systematic Literature Review
ECMFA
Aaron Conrardy Luxembourg Institute of Science and Technology, Jordi Cabot Luxembourg Institute of Science and Technology, Alfredo Capozucca University of Luxembourg
13:30 - 15:00
ECMFA Session 5: MaintenanceECMFA at M 201
13:30
30m
Talk
Methodical and Formally Verified Model-Driven Architecture Refactoring
ECMFA
Lars Fischer Chair of Software Engineering, RWTH Aachen University, Hendrik Kausch RWTH Aachen University, Chair of Software Engineering, Bernhard Rumpe RWTH Aachen University, Max Stachon RWTH Aachen University, Sebastian Stüber RWTH Aachen University, Chair of Software Engineering, Lucas Wollenhaupt Chair of Software Engineering, RWTH Aachen University
14:00
30m
Talk
On the Use of GPT-4 in the Reverse Engineering of Class Diagrams
ECMFA
Victor Campanello Chalmers University of Technology, University of Gothenburg, Shariq Shahbaz Chalmers University of Technology, University of Gothenburg, Vladislav Indykov Chalmers | University of Gothenburg, Daniel Strüber Chalmers | University of Gothenburg / Radboud University
14:30
30m
Talk
Using MDE to support sustainable re-engineering
ECMFA
Dr Kevin Lano King's College London, Shekoufeh Rahimi University of Roehampton , Zishan Rahman King's College London
15:30 - 17:00
ECMFA ClosingECMFA at M 201

Accepted Papers

Title
A Metascience Study of the Low-Code Scientific Field
ECMFA
A Model Management Framework for Next-Generation Web-based Modeling Tools
ECMFA
An internal DSL for graphical modeling tools based on GLSP
ECMFA
Behavioral analysis of a digital twin using logging and model learning
ECMFA
Dynamic Role-Based Access Control Scenarios for Smart Contracts: Graph Rewriting for Testing Domain-specific Models
ECMFA
Introducing automated testing to video game development via Behaviour-Driven Development
ECMFA
Keynote TBA
ECMFA
Methodical and Formally Verified Model-Driven Architecture Refactoring
ECMFA
Navigating the trace of executable domain specific languages through a trace domain query language
ECMFA
Online Model-Based Testing Reusing Multiple Design Models in an Industrial Setting
ECMFA
On the Use of GPT-4 in the Reverse Engineering of Class Diagrams
ECMFA
Support for Model-Based Data Sovereignty Analysis
ECMFA
Towards Modeling Inconsistencies in Production Workflows — An Experience Report
ECMFA
User Modeling in Model-Driven Engineering: A Systematic Literature Review
ECMFA
Using MDE to support sustainable re-engineering
ECMFA
Variability Exploration for Decision Making: Supporting Domain Experts in Configuring Business Processes
ECMFA

Call for Papers

We are soliciting papers presenting original research on all aspects of model-based engineering. Two types of submissions are possible:

  • Foundation Papers, dealing with modeling foundations, such as metamodeling, model transformations, model validation, verification and testing, model engineering methods and tools, and related aspects.
  • Application Papers, dealing with the application of modeling techniques, including experience reports on the use of MBE methods and tools, industrial case studies, or successful applications of MBE practices in industry or in public administration, with significant modeling lessons learned. All applications must have been done in real contexts and at least one of the authors of the paper must be from the company or administration where the application took place.

Submission process

Submissions must conform to the JOT LaTeX template (https://www.jot.fm/templates/jot.zip) and must not exceed 14 pages (including figures, references, and appendices). Secondary studies may use 2 additional pages for references only. Failure to conform to these guidelines may result in disqualification of the paper. No simultaneous submission to other publication outlets (either a conference or a journal) is allowed; any concurrent submission will be deemed as a serious breach of scientific ethics, resulting in the immediate rejection of the paper and appropriate action will be taken.

All submissions will be peer-reviewed by at least three members of the Program Committee.

All papers have to be submitted electronically in PDF format through Easychair (link to be published).

Topics of interest include, but are not limited to:

  • Foundations of MBE, including model transformations, domain-specific languages, verification and validation approaches, etc.
  • Novel paradigms, formalisms, applications, approaches, frameworks, or processes for model-based engineering such as low-code/no-code development, digital twins, etc.
  • Interplay between MBE with and for AI-based systems.
  • Application of MBE methods, tools, and techniques to specific domains, e.g., automotive, aerospace, cyber-physical systems, robotics, Artificial Intelligence or IoT.
  • Successful use of MBE in connection with other disciplines and approaches, such as Artificial Intelligence, DevOps, Open Source, or Safety Assurance.
  • Educational aspects of MBE.
  • Tools and initiatives for the successful adoption of MBE in industry.

Review criteria and process

The program committee will assess all papers for novelty, significance, technical quality, rigour, and suitability for the conference.

Contributions can be submitted to any of the two submission periods. In both rounds, each submitted paper can be recommended by the Program Committee to be accepted-as-is, accepted with minor revisions, undergo major revisions, or rejected.

Papers accepted at any of the two rounds with major or minor revisions will be given a specified period of time to perform the revisions and re-submit. The same reviewers will assess how well the authors have addressed the revision requests and whether the final paper maintains or improves the level of contribution of the original submission. Revisions that significantly lessen the contribution of the work or fail to address the reviewers’ original concerns adequately will result in the paper’s rejection. Papers not accepted but with a sufficient level of quality may be encouraged to be re-submitted next year, or alternatively as regular JOT articles, hence continuing their review process through the normal journal channels.

Papers will be published in the JOT journal as soon as they are accepted and one of their authors registers at the conference.

Artifacts

Artifacts are recommended but not required, for the initial submission. Depending on the papers, reviewers may take the existence of artifacts as a positive signal about the work. Also, depending on the papers, artifacts may be required as a condition for publication.

Publication

All accepted papers will be published as platinum open-access journal publications in JOT. At least one author for each accepted paper must register before the early registration deadline and present the paper during the conference. Failure to do so will result in the paper being withdrawn from the proceedings.

Contact

Chairs can be contacted using the following email address: ecmfa2025@easychair.org

Questions? Use the ECMFA contact form.
:
: