MODELS 2024
Sun 22 - Fri 27 September 2024 Linz, Austria

About

MODELS is the premier conference series for model-based software and systems engineering. Since 1998 MODELS has covered all aspects of modeling, from languages and methods to tools and applications. MODELS participants originate from a wide variety of backgrounds, including researchers, academics, engineers, and industry professionals.

MODELS 2024 is a forum for participants to share the latest research and practical experiences around modeling, modeling languages, and model-based software and systems engineering. Respective contributions advance the fundamentals of modeling and report applications of modeling in areas such as cyber-physical systems, embedded systems, socio-technical systems, cloud computing, big data, machine learning, security, open source, and sustainability.

Important Dates

Abstract Submission: March 21, 2024
Paper Submission: March 28, 2024
Author responses: May 27–29, 2024
Author notification: June 17, 2024
Camera Ready Due: July 31, 2024

Submission deadlines are hard, i.e., there will be no submission deadline extensions.

Topics of Interest

MODELS 2024 solicits submissions on a variety of topics related to modeling for software and systems engineering including, but not limited to:

  • Fundamentals of model-based engineering, including the definition of syntax and semantics of modeling languages and model transformation languages.
  • New paradigms, formalisms, applications, approaches, frameworks, or processes for model-based engineering such as low-code/no-code development, digital twins, etc.
  • Definition, use, and analysis of model-based generative and re-engineering approaches.
  • Model-based monitoring, analysis, and adaptation heading towards intelligent systems.
  • Development of model-based systems engineering approaches and modeling-in-the-large, including interdisciplinary engineering and coordination.
  • Applications of AI to model-related engineering problems, e.g., approaches based on search, machine learning, large language models (AI for modeling)
  • Model-based engineering foundations for AI-based systems (modeling for AI)
  • Human and organizational factors in model-based engineering.
  • Tools, meta-tools, and language workbenches for model-based engineering, including model management and scalable model repositories.
  • Hybrid multi-modeling approaches, i.e., integration of various modeling languages and their tools.
  • Evaluation and comparison of modeling languages, techniques, and tools.
  • Quality assurance (analysis, testing, verification, fidelity assessment) for functional and non-functional properties of models and model transformations.
  • Collaborative modeling to address team management issues, e.g., browser-based and cloud-enabled collaboration.
  • Evolution of modeling languages and related standards.
  • Modeling education, e.g., delivery methods and curriculum design.
  • Modeling in software engineering, e.g., applications of models to address common software engineering challenges.
  • Modeling for specific challenges such as collaboration, scalability, security, interoperability, adaptability, flexibility, maintainability, dependability, reuse, energy efficiency, sustainability, and uncertainty.
  • Modeling with, and for, novel systems and paradigms in fields such as security, cyber-physical systems (CPSs), the Internet of Things, cloud computing, DevOps, blockchain technology, data analytics, data science, machine learning, Big Data, systems engineering, socio-technical systems, critical infrastructures and services, robotics, mobile applications, conversational agents, and open-source software.
  • Empirical studies on the application of model-based engineering in areas such as smart manufacturing, smart cities, smart enterprises, smart mobility, smart society, etc.

As in previous years, MODELS 2024 offers two tracks for technical papers: the Foundations Track and the Practice Track. A detailed description of these tracks can be found on the Foundations Track and Practice Track pages, respectively.

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

Wed 25 Sep

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

10:15 - 10:45
10:15
30m
Coffee break
Break
Catering

10:45 - 12:30
Foundations (1)Technical Track / Journal-First at HS 1
Chair(s): Sebastian Götz Technische Universität Dresden
10:45
18m
Talk
Partial Bidirectionalization of Model Transformation LanguagesFT
Technical Track
Soichiro Hidaka Hosei University, Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004)
11:06
18m
Talk
AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced GraphFTVISION
Technical Track
Guanxuan Wu University of Texas at Arlington, Allison Sullivan University of Texas at Arlington
Pre-print
11:27
18m
Paper
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis
Journal-First
Bentley Oakes Polytechnique Montréal, Javier Troya Universidad de Málaga, Spain, Jessie Galasso-Carbonnel McGill University, Manuel Wimmer JKU Linz
Link to publication DOI
11:48
18m
Talk
Extensions and Scalability Experiments of a Generic Model-Driven Architecture for Variability Model ReasoningPT
Technical Track
Camilo Correa Restrepo University of Paris 1 Pantheon-Sorbonne, Paris, France, Jacques Robin ESIEA, Paris, France, Raul Mazo
12:09
12m
Talk
Model Everything but with Intellectual Property Protection—The Deltachain ApproachFTVISION
Technical Track
10:45 - 12:30
MBSE and Digital TwinsTechnical Track / Journal-First / Tools and Demonstrations at HS 7
Chair(s): Betty H.C. Cheng Michigan State University
10:45
18m
Paper
A model-based reference architecture for complex assistive systems and its application
Journal-First
Judith Michael RWTH Aachen University, Volodymyr Shekhovtsov
Link to publication DOI
11:06
18m
Talk
Modeling Languages for Digital Twins: A Survey Among the German Automotive IndustryPT
Technical Track
Jérôme Pfeiffer University of Stuttgart, Germany, Dominik Fuchß Karlsruhe Institute of Technology, Thomas Kühn Martin-Luther-University Halle-Wittenberg, Robin Liebhart , Dirk Neumann Karlsruhe KIT, Christer Neimöck , Christian Seiler
11:27
18m
Paper
Current trends in digital twin development, maintenance, and operation: an interview study
Journal-First
Hossain Muhammad Muctadir Eindhoven University of Technology, David A Manrique Negrin Eindhoven University of Technology (TU/e), Gunasekaran Raghavendran , Loek Cleophas Eindhoven University of Technology (TU/e) and Stellenbosch University (SU), Mark van den Brand Eindhoven University of Technology, Boudewijn Haverkort
Link to publication DOI
11:48
18m
Talk
Advancing Domain-Specific High-Integrity Model-Based Tools: Insights and Future PathwaysPT
Technical Track
Qurat Ul Ain Ali University of York , Dimitris Kolovos University of York, Antonio Garcia-Dominguez University of York, Michael Bennett , Joe Newton , Piotr Zacharzewski
DOI
12:09
18m
Talk
SMOKE: Simulink Model Obfuscator Keeping Structure
Tools and Demonstrations
Alexander Boll University of Bern, Timo Kehrer University of Bern, Michael Goedicke paluno – The Ruhr Institute for Software Technology, University of Duisburg-Essen, Essen
DOI Pre-print Media Attached File Attached
12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:45
Modeling Languages EngineeringTechnical Track / Tools and Demonstrations / Journal-First at HS 1
Chair(s): Antonio Cicchetti Mälardalen University
14:00
18m
Talk
Product Lines of Graphical Modelling LanguagesFT
Technical Track
Antonio Garmendia Universidad Autónoma de Madrid, Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid
Pre-print
14:21
18m
Talk
Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical Study of Testing SpecificationsPT
Technical Track
Ionut Predoaia University of York, James Harbin , Simos Gerasimou University of York, Christina Vasiliou , Dimitris Kolovos University of York, Antonio Garcia-Dominguez University of York
DOI
14:42
18m
Talk
A Comparative Analysis of Energy Consumption Between Visual Scripting models and C++ in Unreal Engine: Raising Awareness on the importance of Green MDDFT
Technical Track
Javier Verón Mérida SVIT Research Group, Universidad San Jorge, Carlos Pérez , Coral Calero Universidad de Castilla La Mancha, Mª Angeles Moraga University of Castilla-La Mancha, Francisca Pérez SVIT Research Group, Universidad San Jorge, Carlos Cetina San Jorge University, Spain
15:03
18m
Paper
OIL: an industrial case study in language engineering with Spoofax
Journal-First
Olav Bunte Eindhoven University of Technology, Jasper Denkers TU Delft, Louis van Gool , Jurgen Vinju , Eelco Visser Delft University of Technology, Tim A.C. Willemse , Andy Zaidman Delft University of Technology
Link to publication DOI
15:24
18m
Talk
dpDebugger: a Domain-parametric Debugger for DSLs using DAP and Language Protocols
Tools and Demonstrations
Josselin Enet Nantes Université, Erwan Bousse Nantes Université, Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004), Gerson Sunyé IMT Atlantique; Nantes Université; École Centrale Nantes
14:00 - 15:45
Applications (1)Tools and Demonstrations / Technical Track at HS 7
Chair(s): Nelly Bencomo Durham University
14:00
18m
Talk
Meta-Modelling KindnessFT
Technical Track
Faeq Alrimawi Lero - the Science Foundation Ireland Research Centre for Software, Bashar Nuseibeh The Open University, UK
14:21
18m
Talk
Mutation Testing of Java Bytecode: A Model-Driven ApproachPT
Technical Track
14:42
18m
Talk
IMP-Logics: a metamodel for analysis and transformations of Datalog programs
Tools and Demonstrations
José Francisco Crespo Universitat Politècnica de Catalunya, Martí Juanola I Ametller Universitat Politècnica de Catalunya, Xavier Oriol Universitat Politècnica de Catalunya, Martí Recalde Universitat Politècnica de Catalunya, Ernest Teniente Universitat Politècnica de Catalunya, Spain
15:03
18m
Talk
Concretize: A Model-Driven Tool for Scenario-Based Autonomous Vehicle Testing
Tools and Demonstrations
Jerry Hou-Liu McGill University, Zhekai Jiang EPFL / McGill University, Aren Babikian McGill University
15:24
12m
Talk
Towards Automated Test Scenario Generation for Assuring COLREGs Compliance of Autonomous Surface VehiclesFTVISION
Technical Track
Ulf Kargén , Daniel Varro Linköping University / McGill University
15:45 - 16:15
15:45
30m
Coffee break
Break
Catering

Thu 26 Sep

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

10:15 - 10:45
10:15
30m
Coffee break
Break
Catering

10:45 - 12:30
Foundations (2)Tools and Demonstrations / Journal-First at HS 1
Chair(s): Davide Di Ruscio University of L'Aquila
10:45
18m
Paper
MBFair: a model-based verification methodology for detecting violations of individual fairness
Journal-First
Qusai Ramadan Universität Koblenz, Marco Konersmann , Amir Shayan Ahmadian , Jan Jürjens University of Koblenz-Landau, Steffen Staab
Link to publication DOI
11:11
18m
Paper
Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements
Journal-First
Thuy Nguyen , Imen Sayar , Sophie Ebersold , Jean-Michel Bruel Université de Toulouse, France
Link to publication DOI
11:37
18m
Talk
PolyGloT-UML: A Gamified Framework for Enhancing UML Learning Paths
Tools and Demonstrations
Antonio Bucchiarone Fondazione Bruno Kessler, Trento, Italy, Tommaso Guidolin Universita' degli Studi di Trento, Lorenzo Fasol Universita' degli Studi di Trento, Gianluca Schiavo Fondazione Bruno Kessler, Jörg Kienzle ITIS Software, University of Malaga, Sebastian Gerard CEA Saclay - NanoInnov, David Négrier WorkAdventure, Tommaso Martorella EPFL
12:03
18m
Talk
Move your MDE-teaching online: The MDENet Education Platform
Tools and Demonstrations
Steffen Zschaler King's College London, Will Barnett King's College London, Artur Boronat University of Leicester, Antonio Garcia-Dominguez University of York, Dimitris Kolovos University of York
10:45 - 12:30
Model ManagementTechnical Track / Tools and Demonstrations at HS 7
Chair(s): Eugene Syriani Université de Montréal
10:45
18m
Talk
EditQL: A Textual Query Language for Evolving ModelsFT
Technical Track
Jakob Pietron Ulm University, Benedikt Jutz Karlsruhe Institute of Technology (KIT), Alexander Raschke Ulm University, Matthias Tichy Ulm University, Germany
Link to publication DOI
11:06
18m
Talk
10 years of Model Federation with Openflexo: Challenges and Lessons LearnedPT
Technical Track
Jean-Christophe Bach IMT Atlantique, Lab-STICC (UMR 6285), Antoine Beugnard , Joel Champeau , Fabien Dagnat IMT Atlantique, Lab-STICC (UMR 6285), Sylvain Guérin IMT Atlantique, Lab-STICC (UMR 6285), Salvador Martínez IMT Atlantique
11:27
18m
Talk
Give me some REST: A Controlled Experiment to Study Effects and Perception of Model-Driven Engineering with a Domain-Specific LanguagePT
Technical Track
Maximilian Schiedermeier Université du Québec à Montréal, Jörg Kienzle ITIS Software, University of Malaga, Bettina Kemme McGill University, Canada
11:48
18m
Talk
Enhancing Model Management with Automated REST API Generation
Tools and Demonstrations
Adiel Tuyishime Gran Sasso Science Institute, Francesco Basciani Gran Sasso Science Institute (GSSI), Javier Luis Cánovas Izquierdo IN3 - UOC, Ludovico Iovino Gran Sasso Science Institute, L'Aquila, Italy
12:09
18m
Talk
Keeping clients' models up-to-date with Edelta
Tools and Demonstrations
Lorenzo Bettini Dipartimento di Statistica, Informatica, Applicazioni ‘Giuseppe Parenti’ (DISIA), Davide Di Ruscio University of L'Aquila, Amleto Di Salle Gran Sasso Science Institute (GSSI), Ludovico Iovino Gran Sasso Science Institute, L'Aquila, Italy, Alfonso Pierantonio
12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:15
AI for Modeling and Modeling for AIPanel at HS 1
14:00
60m
Panel
AI for Modeling and Modeling for AI
Panel
P: Lola Burgueño University of Malaga, P: Jordi Cabot Luxembourg Institute of Science and Technology, P: Davide Di Ruscio University of L'Aquila, P: Daniel Varro Linköping University / McGill University, P: Mehrdad Sabetzadeh University of Ottawa
15:00
15m
Talk
MODELS 2025 Announcement
Panel
Marouane Kessentini Grand Valley State University
15:15 - 15:45
15:15
30m
Coffee break
Break
Catering

15:45 - 17:30
MDE and AI (1)Technical Track / Tools and Demonstrations at HS 1
Chair(s): Lola Burgueño University of Malaga
15:45
18m
Talk
Text2VQL: Teaching a Model Query Language to Open-Source Language Models with ChatGPTFT
Technical Track
José Antonio Hernández López Linkoping University, Máté Földiák , Daniel Varro Linköping University / McGill University
16:06
18m
Talk
Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case StudyPT
Technical Track
Negin Ayoughi University of Ottawa, Shiva Nejati University of Ottawa, Mehrdad Sabetzadeh University of Ottawa, Patricio Saavedra RabbitRun Technologies Inc
Pre-print
16:27
18m
Talk
ModelMate: A recommender for textual modeling languages based on pre-trained language modelsFT
Technical Track
Carlos Durá , José Antonio Hernández López Linkoping University, Jesús Sánchez Cuadrado Universidad de Murcia
DOI Authorizer link Pre-print
16:48
18m
Talk
DSL-Xpert: LLM-driven Generic DSL Code Generation
Tools and Demonstrations
Victor Lamas Universidade da Coruña, CITIC, Database Lab, Miguel Rodríguez Luaces Universidade da Coruña, Daniel Garcia-Gonzalez Universidade da Coruña, CITIC, Database Lab
17:09
18m
Talk
A RAG-based Feedback Tool to Augment UML Class Diagram Learning
Tools and Demonstrations
Pasquale Ardimento Università degli Studi di Bari, Mario Luca Bernardi University of Sannio, Marta Cimitile Unitelma Sapienza University, Michele Scalera University of Bari Aldo Moro - Department of Informatics
DOI
15:45 - 17:30
Applications (2)Tools and Demonstrations / Technical Track / Journal-First at HS 7
Chair(s): Timothy Lethbridge University of Ottawa
15:45
18m
Talk
Requirement-Driven Generation of Distributed Ledger ArchitecturesFT
Technical Track
Noor Mohammed Sabr Al-Gburi Budapest University of Technology and Economics, András Földvári , Kristóf Marussy Budapest University of Technology and Economics, Oszkár Semeráth Budapest University of Technology and Economics, Imre Kocsis
Pre-print
16:06
18m
Paper
FloBP: a model-driven approach for developing and executing IoT-enhanced business processes
Journal-First
Arianna Fedeli University of Camerino, Fabrizio Fornari University of Camerino, Italy, Andrea Polini , Barbara Re University of Camerino, Victoria Torres Universitat Politècnica de València, Pedro Valderas Universitat Politècnica de València
Link to publication DOI
16:27
18m
Talk
EpiMDE: A Model Driven Engineering Platform for Epidemiological ModelingPT
Technical Track
Bruno Curzi-Laliberté , Marios-Eleftherios Fokaefs , Michalis Famelis Université de Montréal, Mohammad Hamdaqa Polytechnique Montréal
16:48
18m
Talk
AutoMW: Model-based Automated Medical WritingPT
Technical Track
Asha Rajbhoj TCS Research, Ajim Pathan TCS Research, Tanay Sant , Vinay Kulkarni Tata Consultancy Services Research, Padmalata Nistala , Rajesh Pandey , Sabarinathan Narasimhan , Geetha Thiagarajan
17:09
18m
Talk
Nautilus: Implementation of an Evolution Approach for Graph Databases
Tools and Demonstrations
Dominique Hausler University of Regensburg, Meike Klettke Universität Rostock
18:30 - 23:00

Fri 27 Sep

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

10:15 - 10:45
10:15
30m
Coffee break
Break
Catering

10:45 - 12:30
MDE and AI (2)Technical Track at HS 1
Chair(s): Sébastien Mosser McMaster University
10:45
18m
Talk
Automated Derivation of UML Sequence Diagrams from User Stories: Unleashing the Power of Generative AI vs. Rule-Based ApproachFT
Technical Track
Munima Jahan , Mohammad Mahdi Hassan , Reza Golpayegani , Golshid Ranjbaran , Chanchal K. Roy University of Saskatchewan, Canada, Banani Roy University of Saskatchewan, Kevin Schneider University of Saskatchewan
11:06
18m
Talk
AI-Driven Consistency of SysML DiagramsFT
Technical Track
Ludovic Apvrille , Bastien Sultan Télécom Paris, Polytechnic Institute of Paris
11:27
18m
Talk
Toward Intelligent Generation of Tailored Graphical Concrete SyntaxFTVISION
Technical Track
Meriem Ben Chaaben Université de Montréal, Oussama Ben Sghaier DIRO, Université de Montréal, Mouna Dhaouadi University of Montreal, Nafisa Elrasheed , Ikram Darif École de technologie supérieure (ÉTS), Imen Jaoua , Bentley Oakes Polytechnique Montréal, Eugene Syriani Université de Montréal, Mohammad Hamdaqa Polytechnique Montréal
DOI Pre-print
11:48
18m
Talk
A DSL for Testing LLMs for Fairness and BiasPT
Technical Track
Sergio Morales Universitat Oberta de Catalunya, Robert Clarisó Universitat Oberta de Catalunya, Jordi Cabot Luxembourg Institute of Science and Technology
12:09
12m
Talk
Towards Runtime Monitoring for Responsible Machine Learning using Model-driven EngineeringFTVISION
Technical Track
Hira Naveed Monash University, John Grundy Monash University, Chetan Arora Monash University, Hourieh Khalajzadeh Deakin University, Australia, Omar Haggag Monash University, Australia
Link to publication DOI Pre-print
10:45 - 12:30
Modeling Languages and ToolsTools and Demonstrations at HS 7
Chair(s): Steffen Zschaler King's College London
10:45
18m
Talk
Modelling Tool Extension for Vulnerability Management
Tools and Demonstrations
Avi Shaked University of Oxford, UK, Nan Messe IRIT - University of Toulouse, Tom Melham University of Oxford
11:11
18m
Talk
SCCD Debugger: a Debugger for Statecharts and Class Diagrams
Tools and Demonstrations
Francisco Simões NOVA LINCS, Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Miguel Goulao NOVA-LINCS, FCT/UNL, Vasco Amaral NOVA LINCS & Nova School of Sciences and Tecnhology, Joeri Exelmans University of Antwerp, Hans Vangheluwe University of Antwerp and Flanders Make
11:37
18m
Talk
M2AR: A Web-based Modeling Environment for the Augmented Reality Workflow Modeling Language
Tools and Demonstrations
Fabian Muff University of Fribourg, Hans-Georg Fill University of Fribourg
DOI
12:03
18m
Talk
Cross-IDE remote debugging of model management programs through the Debug Adapter Protocol
Tools and Demonstrations
Antonio Garcia-Dominguez University of York, Dimitris Kolovos University of York
12:30 - 13:30
12:30
60m
Lunch
Lunch
Catering

Accepted Papers

Title
10 years of Model Federation with Openflexo: Challenges and Lessons LearnedPT
Technical Track
A Comparative Analysis of Energy Consumption Between Visual Scripting models and C++ in Unreal Engine: Raising Awareness on the importance of Green MDDFT
Technical Track
A DSL for Testing LLMs for Fairness and BiasPT
Technical Track
Advancing Domain-Specific High-Integrity Model-Based Tools: Insights and Future PathwaysPT
Technical Track
DOI
AI-Driven Consistency of SysML DiagramsFT
Technical Track
AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced GraphFTVISION
Technical Track
Pre-print
Automated Derivation of UML Sequence Diagrams from User Stories: Unleashing the Power of Generative AI vs. Rule-Based ApproachFT
Technical Track
AutoMW: Model-based Automated Medical WritingPT
Technical Track
EditQL: A Textual Query Language for Evolving ModelsFT
Technical Track
Link to publication DOI
Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case StudyPT
Technical Track
Pre-print
EpiMDE: A Model Driven Engineering Platform for Epidemiological ModelingPT
Technical Track
Extensions and Scalability Experiments of a Generic Model-Driven Architecture for Variability Model ReasoningPT
Technical Track
Give me some REST: A Controlled Experiment to Study Effects and Perception of Model-Driven Engineering with a Domain-Specific LanguagePT
Technical Track
Meta-Modelling KindnessFT
Technical Track
Model Everything but with Intellectual Property Protection—The Deltachain ApproachFTVISION
Technical Track
Modeling Languages for Digital Twins: A Survey Among the German Automotive IndustryPT
Technical Track
ModelMate: A recommender for textual modeling languages based on pre-trained language modelsFT
Technical Track
DOI Authorizer link Pre-print
Mutation Testing of Java Bytecode: A Model-Driven ApproachPT
Technical Track
Partial Bidirectionalization of Model Transformation LanguagesFT
Technical Track
Product Lines of Graphical Modelling LanguagesFT
Technical Track
Pre-print
Requirement-Driven Generation of Distributed Ledger ArchitecturesFT
Technical Track
Pre-print
Text2VQL: Teaching a Model Query Language to Open-Source Language Models with ChatGPTFT
Technical Track
Toward Intelligent Generation of Tailored Graphical Concrete SyntaxFTVISION
Technical Track
DOI Pre-print
Towards Automated Test Scenario Generation for Assuring COLREGs Compliance of Autonomous Surface VehiclesFTVISION
Technical Track
Towards Runtime Monitoring for Responsible Machine Learning using Model-driven EngineeringFTVISION
Technical Track
Link to publication DOI Pre-print
Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical Study of Testing SpecificationsPT
Technical Track
DOI

Foundations Track

About

We invite authors to submit high-quality papers describing significant, original, and unpublished results in the following categories:

1. Technical Papers

Technical papers should report on innovative research in modeling or model-driven engineering activities. They should describe a novel contribution to the field and carefully demonstrate the novelty by referencing relevant related literature.

Evaluation Criteria

Technical papers will be evaluated based on originality, soundness, relevance, significance, strength of validation, quality of presentation, and quality of related work discussions. Submissions must clearly and explicitly describe what is novel about their contribution in comparison to prior work. Results must be validated by formal proofs, rigorous demonstrations (e.g., rigorous case studies or simulations), or empirical evaluations (e.g., controlled experiments or surveys). Authors are strongly encouraged to make the artifacts used for the evaluation publicly available, e.g., via a GitHub repository or an alternative that is expected to provide long-term availability. A respective artifact evaluation process is described below.

2. New Ideas and Vision Papers

New ideas and vision papers describe original, non-conventional research positions in modeling or model-driven engineering and/or approaches that deviate from standard practice. They describe well-defined revolutionary research ideas that are in the early stage of the investigation. They might provide evidence that common wisdom should be challenged, present unifying theories about existing modeling research that can provide new insights or lead to the development of new technologies or approaches, or apply modeling technology to unprecedented application areas.

Evaluation Criteria

New ideas and vision papers are either short or long papers. Both will be assessed primarily on their degree of originality and potential for advancing innovation in the field. As such, new ideas and vision papers are expected to follow a specific format, and provide a compelling and revolutionary argument. Note that this category is not intended for foundation or practice papers without sufficient evaluation. Such papers will not be accepted. Submissions must clearly describe shortcomings of the state-of-the-art and the relevance, correctness, and impact of the idea/vision. New ideas and vision papers need not be fully worked out and a detailed roadmap need not be provided. The use of worked-out examples to support new ideas is strongly encouraged. Long papers must also supply some degree of validation. However, we accept less rigorous methods of validation such as compelling arguments, exploratory implementations, and substantial examples. Authors are also strongly encouraged to make any artifacts publicly available, e.g., via a GitHub repository or an alternative that is expected to provide long-term availability. A respective artifact evaluation process is described below.

Artifact Evaluation

Authors of accepted papers will be invited to submit their accompanying artifacts (e.g., software, datasets, and proofs) to the Artifact Evaluation track to be evaluated by the Artifact Evaluation Committee. Participation in the Artifact Evaluation process is optional and does not affect paper acceptance. Submissions that successfully pass the Artifact Evaluation process will be awarded a seal of approval that will be attached to the papers.

Best Papers

Authors of selected conference papers will be invited to submit revised and extended versions for publication in the International Journal on Software and Systems Modeling (SoSyM). MODELS 2024 will furthermore award the very best submissions with “best paper” awards by ACM and Springer.

Submission process

The submission process for the MODELS 2024 Foundations Track follows a double-anonymous review process in which authors will not be identified to reviewers and reviewers will not be identified to authors. Thus, no submission may reveal the identity of its authors and authors must make every effort to comply with the double-anonymous review process. Please consult the submission information section below to prepare your manuscript for the double-anonymous process. Papers must be submitted electronically through the MODELS 2024 EasyChair web page.

  • Technical papers must not exceed 10 pages for the main text, including all figures, tables, appendices, etc. Two more pages containing only references are permitted. Note that the page limit applies to the final, non-anonymous version; hence a submitted version cannot exhaust the page limit unless it uses blank space for any author information that was removed.
  • New Ideas and Vision papers must not exceed for the main text either 6 pages for short papers or 10 pages for long paper, including all figures, tables, appendices, etc. Two more pages containing only references are permitted. Note that the page limit applies to the final, non-anonymous version; hence a submitted version cannot exhaust the page limit unless it uses blank space for any author information that was removed.
  • All submissions must be in PDF format. The page limit is strict; it will not be possible to purchase additional pages at any stage of the process.

A double-anonymous review process will be used for the Foundations Track. Therefore, no submission may reveal the identity of the authors. Authors must make every effort to comply with the double-anonymous review process. In particular:

  • Authors’ names must not be mentioned in the submission.
  • All references to the author’s previous work should be in the third person.
  • While authors have the right to upload preprints on ArXiV or similar sites, they should not indicate that the manuscript was submitted to MODELS 2024.
  • If data is made available to the program committee (by uploading supplemental material or a link to a repository), this data must also not reveal the identity of the authors.
  • Formatting instructions are available at https://www.acm.org/publications/proceedings-template for both LaTeX and Word users. LaTeX users must use the provided acmart.cls and ACM-Reference-Format.bst without modification, enable the conference format in the preamble of the document (i.e., \documentclass[sigconf,review]{acmart}), and use the ACM reference format for the bibliography (i.e., \bibliographystyle{ACM-Reference-Format}). The review option adds line numbers, thereby allowing referees to refer to specific lines in their comments.
  • By submitting to the MODELS Foundations Track, authors acknowledge that they are aware of and agree to be bound by the ACM Policy and Procedures on Plagiarism. In particular, papers submitted to MODELS 2024 must not have been published elsewhere and must not be under review or submitted for review elsewhere while under consideration for MODELS 2024.

Submissions that do not adhere to the stated page limits or violate the formatting guidelines will be desk-rejected without review. Accepted papers will be published in the conference proceedings published by ACM.

By submitting your article to an ACM Publication, you are hereby acknowledging that you and your co-authors are subject to all ACM Publications Policies, including ACM’s new Publications Policy on Research Involving Human Participants and Subjects. Alleged violations of this policy or any ACM Publications Policy will be investigated by ACM and may result in a full retraction of your paper, in addition to other potential penalties, as per ACM Publications Policy.”

Please ensure that you and your co-authors obtain an ORCID ID, so you can complete the publishing process for your accepted paper. ACM has been involved in ORCID from the start and we have recently made a commitment to collect ORCID IDs from all of our published authors. The collection process has started and will roll out as a requirement throughout 2022. We are committed to improve author discoverability, ensure proper attribution and contribute to ongoing community efforts around name normalization; your ORCID ID will help in these efforts.

Please contact the Program Chairs if you have any questions about the submission process.

Author Response Period

MODELS 2024 will offer an author response period for submissions that could potentially benefit from improvements, i.e., have reached a sufficient level of support and may potentially be accepted. In this period, authors may optionally consult the reviews and answer specific questions from the program committee that will inform the subsequent decision-making process.

Practice Track

About

The goal of the Practice Track is to bridge the gap between foundational research in Model-Based Engineering (MBE) and needs in practice. We invite authors to submit original contributions that report on the application of MBE solutions in the industry, the public sector, or open-source environments. Examples include:

  • Demonstrations of scalable and cost-effective methodologies and tools.
  • Case studies or field reports offering valuable insights.
  • Comparisons of competing approaches in real-world scenarios.
  • Submissions need to communicate the context of the application and the practical importance of the findings. Unlike the application itself, any reported lessons learned or insights gained must be original.

Evaluation Criteria

A paper in the Practice Track will be evaluated primarily on the potential impact of its findings. Specifically:

  • The paper must describe the context of the MBE application and what problem it solves/addresses.
  • The paper should include a concise explanation of the approaches, techniques, methodologies, and tools used.
  • The paper should report on the efficacy of the application, ideally in comparison to alternatives, and/or what new lessons have been learned or insights have been gained.
  • Studies that report negative results must include a thorough discussion of the possible causes of the failure and, ideally, provide a perspective on how to address them.

Authors are encouraged to make artifacts publicly available, e.g., via a GitHub repository or an alternative that is expected to provide long-term availability. A respective artifact evaluation process is described below.

Artifact Evaluation

Authors of accepted papers will be invited to submit their accompanying artifacts (e.g., software and datasets) to the Artifact Evaluation track to be evaluated by the Artifact Evaluation Committee. Participation in the Artifact Evaluation process is optional and does not affect paper acceptance. Submissions that successfully pass the Artifact Evaluation process will be awarded a seal of approval that will be attached to the papers.

Best Papers

Authors of selected conference papers will be invited to submit revised and extended versions for publication in the International Journal on Software and Systems Modeling (SoSyM). MODELS 2024 may furthermore recognize the very best Practice Track submissions with a “best paper” award.

Submission process

The submission process for the MODELS 2024 Practice Track follows a single-anonymous review process in which author names are identified to reviewers and do not need to be removed from the paper. Please consult the submission information section below to prepare your manuscript.

Papers must be submitted electronically through the MODELS 2024 EasyChair web page.

  • Practice papers must not exceed 10 pages for the main text, including all figures, tables, appendices, etc. Two more pages containing only references are permitted.
  • All submissions must be in PDF format. The page limit is strict; it will not be possible to purchase additional pages at any stage of the process.

Submissions must conform to the ACM formatting instructions:

  • Formatting instructions are available at https://www.acm.org/publications/proceedings-template for both LaTeX and Word users. LaTeX users must use the provided acmart.cls and ACM-Reference-Format.bst without modification, enable the conference format in the preamble of the document (i.e., \documentclass[sigconf,review]{acmart}), and use the ACM reference format for the bibliography (i.e., \bibliographystyle{ACM-Reference-Format}). The review option adds line numbers, thereby allowing referees to refer to specific lines in their comments.
  • By submitting to the MODELS Practice Track, authors acknowledge that they are aware of and agree to be bound by the ACM Policy and Procedures on Plagiarism. In particular, papers submitted to MODELS 2024 must not have been published elsewhere and must not be under review or submitted for review elsewhere while under consideration for MODELS 2024.

Submissions that do not adhere to the stated page limits or violate the formatting guidelines will be desk-rejected without review. Accepted papers will be published in the conference proceedings published by ACM.

By submitting your article to an ACM Publication, you are hereby acknowledging that you and your co-authors are subject to all ACM Publications Policies, including ACM’s new Publications Policy on Research Involving Human Participants and Subjects. Alleged violations of this policy or any ACM Publications Policy will be investigated by ACM and may result in a full retraction of your paper, in addition to other potential penalties, as per ACM Publications Policy.”

Please ensure that you and your co-authors obtain an ORCID ID, so you can complete the publishing process for your accepted paper. ACM has been involved in ORCID from the start and we have recently made a commitment to collect ORCID IDs from all of our published authors. The collection process has started and will roll out as a requirement throughout 2022. We are committed to improve author discoverability, ensure proper attribution and contribute to ongoing community efforts around name normalization; your ORCID ID will help in these efforts.

Please contact the Program Chairs if you have any questions about the submission process.

Author Response Period

MODELS 2024 will offer an author response period for submissions that could potentially benefit from improvements, i.e., have reached a sufficient level of support and may potentially be accepted. In this period, authors may optionally consult the reviews and answer specific questions from the program committee that will inform the subsequent decision-making process.