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 Jul
11:00 - 12:30
|TAP Conference Opening|
|Symbolic, Statistical and Randomized Engines in UPPAAL|
Kim Larsen Aalborg University
Wed 19 Jul
09:00 - 10:15
|ICGT Conference Opening|
ICGT Research PapersFile Attached
|Syntactic trinitarianism: terms, graphs, diagrams|
Dan Ghica Huawei Research and University of BirminghamPre-print
Thu 20 Jul
09:30 - 10:45
|ECMFA Conference Opening|
|Concern-Oriented Use Cases|
P: Ryan Languay McGill University, Nika Prairie McGill University, Jörg Kienzle McGill University, CanadaDOI File Attached
|The OSATE Slicer: Graph-Based Reachability for Architectural Models|
P: Sam Procter Carnegie Mellon Software Engineering InstituteDOI Pre-print File Attached
11:15 - 12:45
|A model-based framework for IoT systems in wastewater treatment plants|
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 TechnologyDOI
|Bridging the Gap between SysML and OPC UA Information Models for Industry 4.0|
Technical TrackDOI File Attached
|Simulink bus usage in practice: an empirical study|
P: Tiago Amorim University of Cologne, Alexander Boll University of Bern, Ferry Bachmann , Timo Kehrer University of Bern, Andreas Vogelsang University of Cologne, Hartmut PohlheimDOI Pre-print
13:45 - 15:15
|Model-Driven Engineering for Augmented Reality|
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 MadridDOI Pre-print Media Attached
|Protocol-Based Interactive Debugging for Domain-Specific LanguagesNominated for Best Paper|
P: Josselin Enet Nantes Université, Erwan Bousse Nantes Université, Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004), Gerson Sunyé Nantes UniversityDOI
|Streamlining the Development of Hybrid Graphical-Textual Model Editors for Domain-Specific LanguagesNominated for Best Paper|
P: Ionut Predoaia University of York, Dimitris Kolovos University of York, Matthias Lenk NetApp, Antonio Garcia-Dominguez University of YorkDOI
15:45 - 17:15
|CDMerge: Semantically Sound Merging of Class Diagrams for Software Component Integration|
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 EngineeringDOI File Attached
|On Implementing Open World Semantic Differencing for Class Diagrams|
Jan Oliver Ringert Bauhaus-University Weimar, Bernhard Rumpe RWTH Aachen University, P: Max Stachon RWTH Aachen UniversityDOI File Attached
|Evaluating Model Differencing for the Consistency Preservation of State-based ViewsECMFA Best Paper|
Jan Willem Wittler Karlsruhe Institute of Technology, P: Timur Sağlam Karlsruhe Institute of Technology (KIT), Thomas Kühn Martin-Luther-University Halle-WittenbergDOI Media Attached File Attached
Fri 21 Jul
09:00 - 10:30
|How I lost my faith (in language technology research)? There and back again.|
Andrzej Wąsowski IT University of Copenhagen, Denmark
11:00 - 12:30
|A flexible operation-based infrastructure for collaborative model-driven engineering|
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 LinzDOI
|One-Way Model Transformations in the Context of the Technology-Roadmapping Tool IRIS|
P: Florian Sihler Ulm University, Matthias Tichy Ulm University, Germany, Jakob Pietron Ulm UniversityDOI File Attached
|Towards behavioral consistency in multi-modeling|
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ünkelDOI Pre-print
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.
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.
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 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.
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.