STAF 2024
Mon 8 - Thu 11 July 2024 Enschede, Netherlands

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.

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

Mon 8 Jul

Displayed 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
60m
Keynote
WADT Keynote 1 - Some Uses of Modal Semirings
Keynotes
K: Bernhard Möller University of Augsburg
File Attached
10:00
30m
Talk
Bialgebraic Representation of Controlled Coordination of Interacting System Components
WADT Research papers
P: Harald König FHDW University of Applied Sciences, Uwe Wolter University of Bergen
File Attached
12:30 - 13:30
LunchCatering at Hal B
12:30
60m
Lunch
Lunch
Catering

13:30 - 15:00
ECMFA Session 1ECMFA Technical Track at Waaier 2
Chair(s): Adrian Rutle Western Norway University of Applied Sciences
13:30
20m
Break
Prolonged lunch break
ECMFA Technical Track

13:50
10m
Day opening
Conference opening
ECMFA Technical Track
Adrian Rutle Western Norway University of Applied Sciences, Judith Michael RWTH Aachen University
14:00
30m
Research 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
30m
Research 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
60m
Keynote
WADT Keynote 2 - Common Meadows with Infinite Values
Keynotes
K: Jan Bergstra University of Amsterdam
File Attached
14:30
30m
Talk
Categories of Algebraic Rewrite Rules
WADT Research papers
P: Thierry Boy de La Tour CNRS and University Grenoble Alpes
File Attached
15:00 - 15:30
BreakCatering at Hal B
15:00
30m
Coffee break
Break
Catering

15:30 - 17:00
ECMFA Session 2ECMFA Technical Track at Waaier 2
Chair(s): David Schmalzing RWTH Aachen University
15:30
30m
Research paper
Flexible Modelling: a Systematic Literature Review
ECMFA Technical Track
A: Robbert Jongeling Mälardalen University, A: Federico Ciccozzi Mälardalen University
16:00
30m
Research 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
30m
Talk
Day closing
ECMFA Technical Track

18:00 - 21:30
STAF Welcome ReceptionCatering at Technohal
18:00
3h30m
Dinner
Dinner
Catering

Tue 9 Jul

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

09:00 - 10:30
ECMFA Keynote SessionKeynotes at Waaier 2
09:00
90m
Keynote
ECMFA Keynote - From Data Chaos to Decision Making
Keynotes
K: Agnes Koschmider University of Bayreuth
10:30 - 11:00
BreakCatering at Hal B
10:30
30m
Coffee break
Break
Catering

11:00 - 12:30
ECMFA Session 4ECMFA Technical Track at Waaier 2
Chair(s): Robbert Jongeling Mälardalen University
11:00
30m
Research 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
30m
Research 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
30m
Research 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
12:30 - 13:30
LunchCatering at Hal B
12:30
60m
Lunch
Lunch
Catering

13:30 - 15:00
ECMFA Session 5ECMFA Technical Track at Waaier 2
Chair(s): Harald König FHDW University of Applied Sciences
13:30
30m
Research 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
30m
Research 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
30m
Talk
Discussion
ECMFA Technical Track

15:00 - 15:30
BreakCatering at Hal B
15:00
30m
Coffee break
Break
Catering

15:30 - 17:00
15:30
45m
Talk
Discussion
ECMFA Technical Track

16:15
45m
Day closing
Conference closing
ECMFA Technical Track

Wed 10 Jul

Displayed 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
15m
Day opening
ICGT Opening
ICGT Research Papers

09:15
75m
Keynote
ICGT Keynote: Graphs, Logics and Transformations for Effective Risk Analysis
Keynotes
K: Marielle Stoelinga University of Twente and Radboud University, Nijmegen
13:30 - 15:00
AgileMDE Keynote SessionKeynotes at Waaier 3
13:30
90m
Keynote
AgileMDE Keynote: Low-Code and Low-Modeling Strategies for Agile MDE Processes
Keynotes
K: Iván Alfonso Luxembourg Institute of Science and Technology

Thu 11 Jul

Displayed 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
60m
Keynote
ICGT Keynote 2: Ontological Foundations for Building Knowledge Graphs
Keynotes
K: Tiago Prince Sales Semantics, Cybersecurity and Services, University of Twente
10:00
30m
Talk
Can I teach graph rewriting to my chatbot?
ICGT Research Papers
P: Reiko Heckel University of Leicester, Issam Al-Azzoni Al Ain University, United Arab Emirates
File Attached
11:00 - 12:30
LLM4MDE Keynote SessionLLM4MDE / Keynotes at Waaier 3
11:00
15m
Day opening
LLM4MDE Opening
LLM4MDE
O: Riccardo Rubei University of L'Aquila
File Attached
11:15
60m
Keynote
LLM4MDE Keynote: Harnessing Large Language Models for Model-Driven Engineering: Current Applications and Future Directions
Keynotes
K: Juri Di Rocco University of L'Aquila
File Attached

Unscheduled Events

Not scheduled
Keynote
Keynote
ECMFA Technical Track
K: Agnes Koschmider University of Bayreuth

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.