The 20th European Conference on Modelling Foundations and Applications (ECMFA) is dedicated to advancing the state of knowledge and fostering the application of Model-Based Engineering (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.
Mon 8 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | WADT Keynote Session 1Keynotes / WADT Research papers at Waaier 3 Chair(s): Tom van Dijk University of Twente | ||
09:00 60mKeynote | WADT Keynote 1 - Some Uses of Modal Semirings Keynotes File Attached | ||
10:00 30mTalk | Bialgebraic Representation of Controlled Coordination of Interacting System Components WADT Research papers File Attached |
13:30 - 15:00 | ECMFA Session 1ECMFA Technical Track at Waaier 2 Chair(s): Adrian Rutle Western Norway University of Applied Sciences | ||
13:30 20mBreak | Prolonged lunch break ECMFA Technical Track | ||
13:50 10mDay opening | Conference opening ECMFA Technical Track | ||
14:00 30mResearch paper | Automated Proof Tactics for Model Transformation ECMFA Technical Track A: Julien Cohen Nantes Université, A: Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004), A: Rémi Douence IMT Atlantique | ||
14:30 30mResearch paper | A Variance-Based Drift Metric for Inconsistency Estimation in Model Variant Sets ECMFA Technical Track A: Karl Kegel Technische Universität Dresden, A: Sebastian Götz Technische Universität Dresden, A: Ronny Marx Technische Universität Dresden, A: Uwe Aßmann TU Dresden, Germany |
13:30 - 15:00 | WADT Keynote Session 2WADT Research papers / Keynotes at Waaier 3 Chair(s): Uwe Wolter University of Bergen | ||
13:30 60mKeynote | WADT Keynote 2 - Common Meadows with Infinite Values Keynotes File Attached | ||
14:30 30mTalk | Categories of Algebraic Rewrite Rules WADT Research papers File Attached |
15:30 - 17:00 | |||
15:30 30mResearch paper | Flexible Modelling: a Systematic Literature Review ECMFA Technical Track | ||
16:00 30mResearch paper | Conflict-based Change Awareness for Collaborative Model-driven Software Engineering ECMFA Technical Track A: Edvin Herac Johannes Kepler University, A: Luciano Marchezan Johannes Kepler Universität Linz, A: Wesley Assunção North Carolina State University, A: Alexander Egyed Johannes Kepler University Linz | ||
16:30 30mTalk | Day closing ECMFA Technical Track |
Tue 9 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 90mKeynote | ECMFA Keynote - From Data Chaos to Decision Making Keynotes |
11:00 - 12:30 | |||
11:00 30mResearch paper | Towards a Semantically Useful Definition of Conformance with a Reference Model ECMFA Technical Track A: Marco Konersmann , A: Bernhard Rumpe RWTH Aachen University, A: Max Stachon RWTH Aachen University, A: Sebastian Stüber RWTH Aachen University, Chair of Software Engineering, A: Valdes Voufo RWTH Aachen University | ||
11:30 30mResearch paper | Integrating the Support for Machine Learning of Inter-Model Relations in Model Views ECMFA Technical Track A: James Pontes Miranda IMT Atlantique, LS2N (UMR CNRS 6004), A: Hugo Bruneliere IMT Atlantique, LS2N (UMR CNRS 6004), A: Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004), A: Gerson Sunyé IMT Atlantique; Nantes Université; École Centrale Nantes | ||
12:00 30mResearch paper | An Empirical Study on Leveraging LLMs for Metamodels and Code Co-evolution ECMFA Technical Track A: Zohra Kaouter Kebaili Univ Rennes, CNRS, IRISA, A: Djamel Eddine Khelladi CNRS, IRISA, University of Rennes, A: Mathieu Acher University of Rennes, France / Inria, France / CNRS, France / IRISA, France, A: Olivier Barais University of Rennes, France / Inria, France / CNRS, France / IRISA, France |
13:30 - 15:00 | ECMFA Session 5ECMFA Technical Track at Waaier 2 Chair(s): Harald König FHDW University of Applied Sciences | ||
13:30 30mResearch paper | A Method for Template-based Architecture Modeling and its Application to Digital Twins ECMFA Technical Track A: Daniel Lehner Johannes Kepler University Linz, A: Jérôme Pfeiffer University of Stuttgart, Germany, A: Stefan Klikovits Johannes Kepler University, Linz, A: Andreas Wortmann University of Stuttgart, A: Manuel Wimmer JKU Linz | ||
14:00 30mResearch paper | Modeling Variability of Hierarchical Component-Based Systems ECMFA Technical Track A: Nico Jansen Software Engineering, RWTH Aachen University, A: Jérôme Pfeiffer University of Stuttgart, Germany, A: Bernhard Rumpe RWTH Aachen University, A: David Schmalzing RWTH Aachen University, A: Andreas Wortmann University of Stuttgart | ||
14:30 30mTalk | Discussion ECMFA Technical Track |
15:30 - 17:00 | |||
15:30 45mTalk | Discussion ECMFA Technical Track | ||
16:15 45mDay closing | Conference closing ECMFA Technical Track |
Wed 10 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | ICGT Keynote SessionKeynotes / ICGT Research Papers at Waaier 2 Chair(s): Jens Kosiol Universität Kassel | ||
09:00 15mDay opening | ICGT Opening ICGT Research Papers | ||
09:15 75mKeynote | ICGT Keynote: Graphs, Logics and Transformations for Effective Risk Analysis Keynotes |
11:00 - 12:30 | MeSS Keynote SessionKeynotes at Waaier 3 Chair(s): Stefan Klikovits Johannes Kepler University, Linz | ||
11:00 90mKeynote | MeSS Keynote: It's Patterns all the Way Down: Patterns, Anti-Patterns and Pattern Languages for Next-Generation Semantic Modelling Keynotes Media Attached |
13:30 - 15:00 | |||
13:30 90mKeynote | AgileMDE Keynote: Low-Code and Low-Modeling Strategies for Agile MDE Processes Keynotes |
Thu 11 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | ICGT Keynote SessionICGT Research Papers / Keynotes at Waaier 3 Chair(s): Jens Kosiol Universität Kassel | ||
09:00 60mKeynote | ICGT Keynote 2: Ontological Foundations for Building Knowledge Graphs Keynotes | ||
10:00 30mTalk | Can I teach graph rewriting to my chatbot? ICGT Research Papers File Attached |
11:00 - 12:30 | |||
11:00 15mDay opening | LLM4MDE Opening LLM4MDE File Attached | ||
11:15 60mKeynote | LLM4MDE Keynote: Harnessing Large Language Models for Model-Driven Engineering: Current Applications and Future Directions Keynotes File Attached |
Unscheduled Events
Not scheduled Keynote | Keynote ECMFA Technical Track |
Accepted Papers
Title | |
---|---|
A Method for Template-based Architecture Modeling and its Application to Digital Twins ECMFA Technical Track | |
An Empirical Study on Leveraging LLMs for Metamodels and Code Co-evolution ECMFA Technical Track | |
Automated Proof Tactics for Model Transformation ECMFA Technical Track | |
A Variance-Based Drift Metric for Inconsistency Estimation in Model Variant Sets ECMFA Technical Track | |
Conflict-based Change Awareness for Collaborative Model-driven Software Engineering ECMFA Technical Track | |
Flexible Modelling: a Systematic Literature Review ECMFA Technical Track | |
Integrating the Support for Machine Learning of Inter-Model Relations in Model Views ECMFA Technical Track | |
Modeling Variability of Hierarchical Component-Based Systems ECMFA Technical Track | |
Towards a Semantically Useful Definition of Conformance with a Reference Model ECMFA Technical Track |
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 and must not exceed 14 pages (including figures, references, and appendices). 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.
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, Blockchain, 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
All papers will be assessed by the program committee in terms of their novelty, significance, technical quality, rigor, 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 revision requests have been addressed by the authors, 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 that fails to adequately address the reviewers’ original concerns 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.