The 19th 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 which 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.
Tue 18 JulDisplayed time zone: London change
11:00 - 12:30 | STAF Keynote / TAP Session 1STAF Keynotes / TAP Research Papers / Technical Track / ICGT Research Papers at Oak Chair(s): Cristina Seceleanu Mälardalen University Remote Participants: Zoom Link, YouTube Livestream | ||
11:00 15mDay opening | TAP Conference Opening TAP Research Papers | ||
11:15 75mKeynote | Symbolic, Statistical and Randomized Engines in UPPAAL STAF Keynotes Kim Larsen Aalborg University |
Wed 19 JulDisplayed time zone: London change
09:00 - 10:15 | STAF Keynote / ICGT Session 1STAF Keynotes / TAP Research Papers / Technical Track / ICGT Research Papers at Oak Chair(s): Maribel Fernandez King's College London Remote Participants: Zoom Link, YouTube Livestream | ||
09:00 15mDay opening | ICGT Conference Opening ICGT Research Papers File Attached | ||
09:15 60mKeynote | Syntactic trinitarianism: terms, graphs, diagrams STAF Keynotes Dan Ghica Huawei Research and University of Birmingham Pre-print |
Thu 20 JulDisplayed time zone: London change
09:30 - 10:45 | ECMFA Session 1: Tools and ModularityTechnical Track at Oak Chair(s): Jesús Sánchez Cuadrado Universidad de Murcia Remote Participants: Zoom Link | ||
09:30 15mDay opening | ECMFA Conference Opening Technical Track | ||
09:45 30mTalk | Concern-Oriented Use Cases Technical Track P: Ryan Languay McGill University, Nika Prairie McGill University, Jörg Kienzle McGill University, Canada DOI File Attached | ||
10:15 30mTalk | The OSATE Slicer: Graph-Based Reachability for Architectural Models Technical Track DOI Pre-print File Attached |
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee Break STAF Social |
11:15 - 12:45 | ECMFA Session 2: Industrial and ApplicationsTechnical Track at Oak Chair(s): Juan de Lara Autonomous University of Madrid Remote Participants: Zoom Link | ||
11:15 30mTalk | A model-based framework for IoT systems in wastewater treatment plants Technical Track P: Iván Alfonso Internet Interdisciplinary Institute, Universitat Oberta de Catalunya, Abel Gómez Universitat Oberta de Catalunya, Silvia Doñate Depuración de Aguas del Mediterráneo, kelly Garces Pernett Universidad de los Andes , Bogotá, Colombia, Harold Castro Department of Systems and Computing Engineering, Universidad de los Andes, Colombia, Jordi Cabot Luxembourg Institute of Science and Technology DOI | ||
11:45 30mTalk | Bridging the Gap between SysML and OPC UA Information Models for Industry 4.0 Technical Track DOI File Attached | ||
12:15 30mTalk | Simulink bus usage in practice: an empirical study Technical Track P: Tiago Amorim University of Cologne, Alexander Boll University of Bern, Ferry Bachmann , Timo Kehrer University of Bern, Andreas Vogelsang University of Cologne, Hartmut Pohlheim DOI Pre-print |
12:30 - 13:30 | |||
12:30 60mLunch | Lunch STAF Social |
13:45 - 15:15 | ECMFA Session 3: Domain-Specific LanguagesTechnical Track at Oak Chair(s): Antonio Vallecillo University of Málaga, Spain Remote Participants: Zoom Link | ||
13:45 30mTalk | Model-Driven Engineering for Augmented Reality Technical Track Rubén Campos-López Universidad Autónoma de Madrid, Esther Guerra Universidad Autónoma de Madrid, P: Juan de Lara Autonomous University of Madrid, Alessandro Colantoni Johannes Kepler University Linz, Antonio Garmendia Universidad Autónoma de Madrid DOI Pre-print Media Attached | ||
14:15 30mTalk | Protocol-Based Interactive Debugging for Domain-Specific LanguagesNominated for Best Paper Technical Track P: Josselin Enet Nantes Université, Erwan Bousse Nantes Université, Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004), Gerson Sunyé Nantes University DOI | ||
14:45 30mTalk | Streamlining the Development of Hybrid Graphical-Textual Model Editors for Domain-Specific LanguagesNominated for Best Paper Technical Track P: Ionut Predoaia University of York, Dimitris Kolovos University of York, Matthias Lenk NetApp, Antonio Garcia-Dominguez University of York DOI |
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee Break STAF Social |
15:45 - 17:15 | ECMFA Session 4: Model Differencing and MergingTechnical Track at Oak Chair(s): Jörg Kienzle McGill University, Canada Remote Participants: Zoom Link | ||
15:45 30mTalk | CDMerge: Semantically Sound Merging of Class Diagrams for Software Component Integration Technical Track Achim Lindt RWTH Aachen University, Chair of Software Engineering, Bernhard Rumpe RWTH Aachen University, P: Max Stachon RWTH Aachen University, Sebastian Stüber RWTH Aachen University, Chair of Software Engineering DOI File Attached | ||
16:15 30mTalk | On Implementing Open World Semantic Differencing for Class Diagrams Technical Track Jan Oliver Ringert Bauhaus-University Weimar, Bernhard Rumpe RWTH Aachen University, P: Max Stachon RWTH Aachen University DOI File Attached | ||
16:45 30mTalk | Evaluating Model Differencing for the Consistency Preservation of State-based ViewsECMFA Best Paper Technical Track Jan Willem Wittler Karlsruhe Institute of Technology, P: Timur Sağlam Karlsruhe Institute of Technology (KIT), Thomas Kühn Martin-Luther-University Halle-Wittenberg Link to publication DOI Media Attached File Attached |
Fri 21 JulDisplayed time zone: London change
09:00 - 10:30 | STAF Keynote / ECMFA Session 5STAF Keynotes / TAP Research Papers / Technical Track / ICGT Research Papers at Oak Chair(s): Steffen Zschaler King's College London Remote Participants: Zoom Link, YouTube Livestream | ||
09:00 90mKeynote | How I lost my faith (in language technology research)? There and back again. STAF Keynotes Andrzej Wąsowski IT University of Copenhagen, Denmark |
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee Break STAF Social |
11:00 - 12:30 | ECMFA Session 6: Model Consistency and CollaborationTechnical Track at Oak Chair(s): Jesús Sánchez Cuadrado Universidad de Murcia Remote Participants: Zoom Link | ||
11:00 30mTalk | A flexible operation-based infrastructure for collaborative model-driven engineering Technical Track P: Edvin Herac Johannes Kepler University, Wesley Assunção Johannes Kepler University Linz, Austria & Pontifical Catholic University of Rio de Janeiro, Brazil, Luciano Marchezan , Rainer Haas Linz Center of Mechatronics GmbH, Alexander Egyed Johannes Kepler University Linz DOI | ||
11:30 30mTalk | One-Way Model Transformations in the Context of the Technology-Roadmapping Tool IRIS Technical Track P: Florian Sihler Ulm University, Matthias Tichy Ulm University, Germany, Jakob Pietron Ulm University DOI File Attached | ||
12:00 30mTalk | Towards behavioral consistency in multi-modeling Technical Track P: Tim Kräuter Western Norway University of Applied Sciences, Harald König University of Applied Sciences, FHDW Hannover and Western Norway University of Applied Sciences, Adrian Rutle Western Norway University of Applied Sciences, Yngve Lamo Western Norway University of Applied Sciences, Patrick Stünkel DOI Pre-print |
12:30 - 13:30 | |||
12:30 60mLunch | Lunch STAF Social |
Accepted Papers
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, or Open Source, 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, the 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 fail 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 publication 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.