Tools and DemonstrationsMODELS 2025
MODELS is the premier conference series for model-based software and systems engineering. Since 1998 MODELS has been covering all aspects of modeling, from languages and methods to tools and applications. Since the inception of the conference, the development of tools to support modeling activities has been an integral part of the research activities with many of these tools evolving into modeling platforms that support the development of new tools. The demonstration of tools at recent MODELS conferences has shown that both researchers and practitioners dedicate more time and effort to developing high-quality tools to be used by the community and industry. It is also accepted that the availability of tools is a primary factor for the adoption of model-driven engineering approaches.
With this call, we solicit high-quality submissions for the tool demonstration track of MODELS 2025, ranging across commercial, academic, and corporate research as well as industrial systems. We encourage submissions on tools that are: research prototypes built to support novel research ideas, extensions of existing tools and toolchains, mature tools as well as pedagogical tools that support the teaching of model-driven approaches. Any of the MODELS topics of interest are appropriate areas for tool demonstrations.
The submissions to this track should not have been demonstrated at other venues and extensions of existing tools should be substantial. Based on the purpose of the tool, submissions will be evaluated on their technical merit, novelty, pedagogical impact, relevance to the modeling community, and potential for use in real-world applications. In all cases, particular attention will be given to the quality of the proposed demonstrations. Of course, at least one of the authors must attend the demonstration session to present the tool and discuss it with attendees.
This program is tentative and subject to change.
Wed 8 OctDisplayed time zone: Eastern Time (US & Canada) change
11:00 - 12:30 | Session 1: Digital Twins and Cyber-Physical SystemsNew Ideas and Emerging Results (NIER) / Journal-First / Research Papers at DCIH 102 Hybrid | ||
11:00 18mTalk | A Method for Model-Driven Engineering of Digital Twins in ManufacturingPT Research Papers Malte Heithoff RWTH-Aachen University, Judith Michael University of Regensburg, Bernhard Rumpe RWTH Aachen University, Jérôme Pfeiffer University of Stuttgart, Germany, Andreas Wortmann University of Stuttgart, Jingxi Zhang University of Stuttgart Pre-print | ||
11:18 18mTalk | An architecture for coupled digital twins with semantic lifting Journal-First Santiago Gil Aarhus University, Eduard Kamburjan IT University of Copenhagen, Prasad Talasila Aarhus University, Peter Larsen DOI | ||
11:36 18mTalk | Continuous Evolution of Digital Twins using the DarTwin Notation Journal-First Joost Mertens University of Antwerp, Antwerp, Belgium, Stefan Klikovits Johannes Kepler University, Linz, Francis Bordeleau École de Technologie Supérieure (ETS), Joachim Denil University of Antwerp, Belgium, Øystein Haugen Østfold University College DOI | ||
11:54 18mTalk | A Container-based Approach For Proactive Asset Administration Shell Digital Twins New Ideas and Emerging Results (NIER) Carsten Ellwein nstitute for Control Engineering of Machine Tools and Manufacturing Units (ISW), University of Stuttgart,, Jingxi Zhang University of Stuttgart, Andreas Wortmann University of Stuttgart, Antony Ayman Alfy Meckhael Faculty of Media Engineering and Technology (MET), German University in Cairo | ||
12:12 18mTalk | Digital twin and the asset administration shell - An Analysis of the Three Types of AASs and their Feasibility for Digital Twin Engineering Journal-First Jingxi Zhang University of Stuttgart, Carsten Ellwein nstitute for Control Engineering of Machine Tools and Manufacturing Units (ISW), University of Stuttgart,, Malte Heithoff RWTH-Aachen University, Judith Michael University of Regensburg, Andreas Wortmann University of Stuttgart DOI | ||
11:00 - 12:30 | Session 2: Model-Driven Engineering Foundations and EvolutionResearch Papers / New Ideas and Emerging Results (NIER) / Journal-First at DCIH 507 Hybrid | ||
11:00 18mTalk | Common modeling concepts and a command interface towards bisimilar behavior of different domain-specific modeling frameworks Research Papers | ||
11:18 18mTalk | Going from the Past back to the Future: Incrementally Reconstructing a Metamodel HistoryFT Research Papers Marcel Homolka ISSE, Luciano Marchezan DIRO, University of Montreal, Wesley Assunção North Carolina State University, Alexander Egyed Johannes Kepler University Linz | ||
11:36 18mTalk | Modeling the obsolescence of models Journal-First Iván Alfonso Luxembourg Institute of Science and Technology, Jean Sebastien Sottet Luxembourg Institute of Science and Technology and University of Luxembourg, Pierre Brimont Luxembourg Institute of Science and Technology and University of Luxembourg, Jordi Cabot Luxembourg Institute of Science and Technology DOI | ||
11:54 18mTalk | Effects of Model Merge on Developers’ Brain Dynamics: An EEG Microstate Analysis New Ideas and Emerging Results (NIER) Willian Bolzan Federal Institute of Santa Catarina - IFSC, Robson Keemps da silva Federal Institute of Mato Grosso - IFMT, Kleinner Farias University of Vale do Rio dos Sinos (UNISINOS) | ||
12:12 18mTalk | The Norwegian SISU Project: History and Long-term Impact of an Early MDD EffortPT Research Papers Stein Erik Ellevseth ABB Retired Researcher, Peter Herrmann Norwegian University of Science and Technology (NTNU), Emmanuel Gaudin PragmaDev, Paris, Juergen Dingel Queen's University, Kingston, Ontario | ||
14:00 - 15:30 | Session 3: Large Language Models and ModelingResearch Papers / New Ideas and Emerging Results (NIER) at DCIH 102 Hybrid | ||
14:00 18mTalk | MCeT: Behavioral Model Correctness Evaluation using Large Language ModelsFT Research Papers Khaled Ahmed Huawei Research Canada, University of British Columbia (UBC), Jialing Song Huawei Technologies Canada, Boqi Chen McGill University, Ou Wei Huawei Technologies Canada, Bingzhou Zheng Huawei Technologies Canada Pre-print | ||
14:18 18mTalk | Towards LLM-enhanced Conflict Detection and Resolution in Model Versioning New Ideas and Emerging Results (NIER) Martin Eisenberg Johannes Kepler University, Linz, Stefan Klikovits Johannes Kepler University, Linz, Manuel Wimmer JKU Linz, Konrad Wieland LieberLieber Software GmbH | ||
14:36 18mTalk | Model-Driven Quantum Code Generation Using Large Language Models and Retrieval-Augmented Generation New Ideas and Emerging Results (NIER) Nazanin Siavash University of Colorado Colorado Springs (UCCS), Armin Moin University of Colorado Colorado Springs | ||
14:54 18mTalk | SHERPA: A Model-Driven Framework for Large Language Model Execution Research Papers Boqi Chen McGill University, Kua Chen McGill University, José Antonio Hernández López Department of Computer Science and Systems, University of Murcia, Gunter Mussbacher McGill University, Daniel Varro Linköping University / McGill University, Amir Feizpour Aggregate Intellect Pre-print | ||
15:12 18mTalk | Accurate and Consistent Graph Model Generation from Text with Large Language Models Research Papers Boqi Chen McGill University, Ou Wei Huawei Technologies Canada, Bingzhou Zheng Huawei Technologies Canada, Gunter Mussbacher McGill University Pre-print | ||
14:00 - 15:30 | Session 4: Model Transformation, Verification, and AnalysisResearch Papers / New Ideas and Emerging Results (NIER) / Journal-First at DCIH 507 Hybrid | ||
14:00 18mTalk | Translating Behavior Trees to Petri Nets for Model CheckingFT Research Papers Matteo Palmas Bosch Research, Robert Bosch GmbH, Michaela Klauck Bosch Research, Robert Bosch GmbH, Ralph Lange Bosch Research, Robert Bosch GmbH, Enrico Ghiorzi University of Genoa, Armando Tacchella University of Genoa | ||
14:18 18mTalk | Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems New Ideas and Emerging Results (NIER) Connor Wojtak University of Arizona, Darek Gajewski University of Arizona, Tucson, Arizona, USA, Tomas Cerny University of Arizona | ||
14:36 18mTalk | Automata Models for Effective Bug Description Research Papers Tom Yaacov Ben-Gurion University of the Negev, Gera Weiss Ben-Gurion University of the Negev, Gal Amram IBM Research, Avi Hayoun Ben-Gurion University of the Negev | ||
14:54 18mTalk | Towards the Coordination and Verification of Heterogeneous Systems with Data and Time Research Papers Tim Kräuter Western Norway University of Applied Sciences, Adrian Rutle Western Norway University of Applied Sciences, Yngve Lamo Western Norway University of Applied Sciences, Harald König FHDW Hannover, Western Norway University of Applied Sciences, Francisco Durán University of Málaga, Spain Pre-print | ||
15:12 18mTalk | A framework for evaluating tool support for co-evolution of modeling languages, tools and models Journal-First Juha-Pekka Tolvanen MetaCase, Steven Kelly MetaCase, Juri Di Rocco University of L'Aquila, Alfonso Pierantonio , Giordano Tinella DOI | ||
Thu 9 OctDisplayed time zone: Eastern Time (US & Canada) change
11:00 - 12:30 | Session 6: Models in Software Engineering PipelinesResearch Papers / Journal-First at DCIH 102 Hybrid | ||
11:00 18mTalk | A Metamodel for Reengineering CI/CD PipelinesFT Research Papers Hugo da Gião University of Porto & HASLab/INESC TEC, Jácome Cunha Universidade do Porto, Rui Pereira HASLab/INESC TEC, André Flores Faculdade de Engenharia da Universidade do Porto, Vasco Amaral NOVA University Lisbon, Gregor Engels Paderborn University, Stefan Sauer Paderborn University | Software Innovation Campus Paderborn | ||
11:18 18mTalk | Deepening our Understanding on the use of Models and Code in Game Software Engineering: A Controlled Experiment in Unreal Engine Research Papers Jose Ignacio Trasobares SVIT Research Group, Universidad San Jorge, África Domingo SVIT Research Group, Universidad San Jorge, Jorge Echeverria SVIT Research Group, Universidad San Jorge, Lorena Arcega SVIT Research Group, Universidad San Jorge, Carlos Cetina | ||
11:36 18mTalk | Automating the Development of API-Based Generators Using Code Idioms Mining Journal-First DOI | ||
11:54 18mTalk | A Knowledge-based Approach for Guided Development of Infrastructure-as-Code Journal-First Zoe Vasileiou , Indika Kumara Tilburg University, Georgios Meditskos , Kamil Tokmakov , Dragan Radolovic , Jesus Gorronogoitia-Cruz , Elisabeta di Nitto Politecnico di Milano, Damian Andrew Tamburri University of Sannio - JADS/NXP Semiconductors, Willem-Jan van den Heuvel JADS/Tilburg University, Stefanos Vrochidis Centre for Research and Technology Hellas (CERTH-ITI) DOI | ||
12:12 18mTalk | Hand-Written Code Preservation in Model-to-Text Transformation using Intrinsic Redundancy Research Papers Ionut Predoaia University of York, Sultan Almutairi Shaqra University, Athanasios Zolotas Rolls-Royce, Antonio Garcia-Dominguez Department of Computer Science, University of York, Dimitris Kolovos University of York | ||
11:00 - 12:30 | Session 7: Security, Validation, and Smart ContractsJournal-First / Research Papers at DCIH 507 Hybrid | ||
11:00 18mTalk | Modal Abstractions for Smart Contract Validation Research Papers Javier Godoy Departamento de Computacion. FCEyN. UBA, Margarita Capretto IMDEA Software Institute and Universidad Politécnica de Madrid, Martin Ceresa Input Output -- IMDEA Software Institute, Juan Pablo Galeotti Universidad de Buenos Aires, Diego Garbervetsky Universidad de Buenos Aires, César Sánchez IMDEA Software Institute, Sebastian Uchitel Universidad de Buenos Aires / Imperial College | ||
11:18 18mTalk | Mining Frequent Structures in Conceptual Models Journal-First Mattia Fumagalli Free University of Bozen-Bolzano, Tiago Prince Sales University of Twente, Pedro Paulo Barcelos , Giovanni Micale , Philipp-Lorenz Glaser Business Informatics Group, TU Wien, Dominik Bork TU Wien, Vadim Zaytsev University of Twente, Diego Calvanese , Giancarlo Guizzardi Universiteit Twente DOI | ||
11:36 18mTalk | Visual Modeling and Simulation of AUTOSAR Application Layer Models Using Modelica Research Papers Peihao Yang Harbin Institute of Technology; Zhengzhou Research Institude, Harbin Institute of Technology, Tiantian Wang Harbin Institute of Technology, Ming Yang Harbin Institute of Technology, Xiaohong Su Harbin Institute of Technology | ||
11:54 18mTalk | Diagrammatic physical robot models Journal-First Alvaro Miyazawa , Sharar Ahmadi , Ana Cavalcanti University of York, James Baxter , Mark Post , Pedro Ribeiro University of York, UK, Jon Timmis , Thomas Wright DOI | ||
12:12 18mTalk | How fair are we? From conceptualization to automated assessment of fairness definitions Journal-First Giordano d'Aloisio University of L'Aquila, Claudio Di Sipio University of L'Aquila, Antinisca Di Marco University of L'Aquila, Davide Di Ruscio University of L'Aquila DOI | ||
Fri 10 OctDisplayed time zone: Eastern Time (US & Canada) change
Accepted Papers
| Title | |
|---|---|
| AI-assisted JSON Schema Creation and Mapping Tools and Demonstrations Pre-print | |
| DTChecker: A Real-Time Signal Monitoring and Property Specification Tool for Digital Twins Tools and Demonstrations Pre-print | |
| Graphite: Automated Development of Hybrid Graphical-Textual DSL Editors Tools and Demonstrations | |
| Model based tools for inquiry into expungement law Tools and Demonstrations | |
| Semantic Analysis of Domain Model Evolution in Model-Driven Software Development Tools and Demonstrations | |
| XModelerML v3: Integrating Executable UML with a Multi-Level Language Engineering, Modeling, and Execution Environment Tools and Demonstrations Media Attached |
Submission Guidelines
Full submissions must be submitted via EasyChair by July 10,2025. A full submission must consist of no more than 5 pages (to be published). Authors must also complement their paper with an appendix (not published) describing the demo outline/screenshots and/or a link to a short video/screencast (5 min max) illustrating the tool (e.g., PeerTube, YouTube, and Vimeo). Submissions that do not adhere to the above-specified page limits or that violate the formatting guidelines may be desk-rejected without review.
All submissions must be in English and adhere to the IEEE formatting instructions. Formatting instructions are available here for both LaTeX and Word users as follows:
-
LaTeX users need to follow the IEEE LaTeX instructions and use the 8.5 x 11 2-column LaTeX Template; Overleaf users need to use the IEEE Conference Template. Note the information on how to use the LaTeX Bibliography Files.
-
Word users need to use the 8.5 x 11 2-column Word Template, and choose Times New Roman for the text, author information, and section headings, and Helvetica for the paper title.
-
By submitting papers to the MODELS Tools and Demonstrations Track, authors acknowledge that they are aware of and acknowledge the ACM Policy and Procedures on Plagiarism and the IEEE Plagiarism FAQ. In particular, papers submitted to MODELS 2025 must not have been published elsewhere and must not be under review or submitted for review elsewhere while under consideration for MODELS 2025.
-
Please note the IEEE Authors Rights and Responsibilities.
-
Finally, IEEE requires the use of ORCIDs. LaTeX users should use the “orcidlink” package,
\hypersetup{pdfborder={0 0 0}}, and\orcidlink{XXXX-XXXX-XXXX-XXXX}after each author name.
All submissions will be peer-reviewed by at least three reviewers. We will follow a single-blind reviewing process. Please submit your paper electronically in PDF via EasyChair.
Publication
Accepted tool demonstration papers will be published in the ACM Digital Library and indexed by DBLP.
Conference Presentation
The presentation at the conference should emphasize the usage of the tool, not the rationale and related work as described in the paper. Thus, a substantial portion of the presentation must be an actual live demonstration of the tool.
| Thu 7 Aug 2025 Camera-ready |
| Thu 31 Jul 2025 Notification of authors |
| Thu 10 Jul 2025 Submission deadline |
Imad Berrouyne
Mälardalen University
Luciano Marchezan
DIRO, University of Montreal
Canada
Angela Barriga
Western University of Applied Sciences
Juan Aviles
The University of Maine
Cristiano Politowski
Ontario Tech University
Canada
Philipp Zech
University of Innsbruck, Austria
Austria
Vera Pantelic
McMaster University
Antonio Garcia-Dominguez
Department of Computer Science, University of York
United Kingdom
Ákos Horváth
IncQuery Labs
Hungary
José Antonio Hernández López
Department of Computer Science and Systems, University of Murcia
Spain
Alessandra Bagnato
Softeam
Leen Lambers
Brandenburg University of Technology Cottbus-Senftenberg
Germany
Tao Yue
Beihang University
China
Aren Babikian
University of Toronto
Javier Luis Cánovas Izquierdo
Universitat Oberta de Catalunya
Spain