ECMFA 2023
Thu 20 - Fri 21 July 2023 Leicester, United Kingdom
co-located with STAF 2023

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.

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

Tue 18 Jul

Displayed time zone: London change

11:00 - 12:30
STAF Keynote / TAP Session 1STAF Keynotes / TAP / Technical Track / ICGT Research Papers at Oak
Chair(s): Cristina Seceleanu Mälardalen University

Remote Participants: Zoom Link, YouTube Livestream

11:00
15m
Day opening
TAP Conference Opening
TAP
Virgile Prevosto CEA Tech List, Cristina Seceleanu Mälardalen University
11:15
75m
Keynote
Symbolic, Statistical and Randomized Engines in UPPAAL
STAF Keynotes
Kim Larsen Aalborg University

Wed 19 Jul

Displayed time zone: London change

09:00 - 10:15
STAF Keynote / ICGT Session 1STAF Keynotes / TAP / Technical Track / ICGT Research Papers at Oak
Chair(s): Maribel Fernandez King's College London

Remote Participants: Zoom Link, YouTube Livestream

09:00
15m
Day opening
ICGT Conference Opening
ICGT Research Papers
Maribel Fernandez King's College London, Chris Poskitt Singapore Management University
File Attached
09:15
60m
Keynote
Syntactic trinitarianism: terms, graphs, diagrams
STAF Keynotes
Dan Ghica Huawei Research and University of Birmingham
Pre-print

Thu 20 Jul

Displayed 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
15m
Day opening
ECMFA Conference Opening
Technical Track
P: Jesús Sánchez Cuadrado Universidad de Murcia, Steffen Zschaler King's College London
09:45
30m
Talk
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
30m
Talk
The OSATE Slicer: Graph-Based Reachability for Architectural Models
Technical Track
P: Sam Procter Carnegie Mellon Software Engineering Institute
DOI Pre-print File Attached
10:30 - 11:00
Morning CoffeeSTAF Social at The Bar
10:30
30m
Coffee 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
30m
Talk
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
30m
Talk
Bridging the Gap between SysML and OPC UA Information Models for Industry 4.0
Technical Track
P: Fadwa Rekik Softeam, Saadia Dhouib CEA LIST, Quang-Duy Nguyen Université Paris-Saclay, CEA, List
DOI File Attached
12:15
30m
Talk
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
60m
Lunch
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
30m
Talk
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
30m
Talk
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
30m
Talk
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
Afternoon CoffeeSTAF Social at The Bar
15:00
30m
Coffee 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
30m
Talk
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
30m
Talk
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
30m
Talk
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
DOI Media Attached File Attached

Fri 21 Jul

Displayed time zone: London change

09:00 - 10:30
STAF Keynote / ECMFA Session 5STAF Keynotes / TAP / Technical Track / ICGT Research Papers at Oak
Chair(s): Steffen Zschaler King's College London

Remote Participants: Zoom Link, YouTube Livestream

09:00
90m
Keynote
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
Morning CoffeeSTAF Social at The Bar
10:30
30m
Coffee 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
30m
Talk
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
30m
Talk
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
30m
Talk
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
60m
Lunch
Lunch
STAF Social

Accepted Papers

Title
A flexible operation-based infrastructure for collaborative model-driven engineering
Technical Track
DOI
A model-based framework for IoT systems in wastewater treatment plants
Technical Track
DOI
Bridging the Gap between SysML and OPC UA Information Models for Industry 4.0
Technical Track
DOI File Attached
CDMerge: Semantically Sound Merging of Class Diagrams for Software Component Integration
Technical Track
DOI File Attached
Concern-Oriented Use Cases
Technical Track
DOI File Attached
Evaluating Model Differencing for the Consistency Preservation of State-based ViewsECMFA Best Paper
Technical Track
DOI Media Attached File Attached
Model-Driven Engineering for Augmented Reality
Technical Track
DOI Pre-print Media Attached
One-Way Model Transformations in the Context of the Technology-Roadmapping Tool IRIS
Technical Track
DOI File Attached
On Implementing Open World Semantic Differencing for Class Diagrams
Technical Track
DOI File Attached
Protocol-Based Interactive Debugging for Domain-Specific LanguagesNominated for Best Paper
Technical Track
DOI
Simulink bus usage in practice: an empirical study
Technical Track
DOI Pre-print
Streamlining the Development of Hybrid Graphical-Textual Model Editors for Domain-Specific LanguagesNominated for Best Paper
Technical Track
DOI
The OSATE Slicer: Graph-Based Reachability for Architectural Models
Technical Track
DOI Pre-print File Attached
Towards behavioral consistency in multi-modeling
Technical Track
DOI 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.

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.