From October 5–10, 2025, the ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems (MODELS 2025) brought the modeling community to Grand Valley State University in Grand Rapids, Michigan. GEODES represented across the main conference, the co-located EDTconf 2025, and SAM 2025.

Engineering Digital Twins for AI-Assisted Scientific Discovery: Case of Plasma-Enhanced Deposition

Kevin Delcourt presented the vision paper “Engineering Digital Twins for AI-Assisted Scientific Discovery: Case of Plasma-Enhanced Deposition” in the EDTconf 2025 Technical Track. The in-person talk took place on October 6 in the session Digital Twins in Healthcare and Sciences.

Authors: Kevin Delcourt, Luc Stafford, and Houari Sahraoui.

The paper proposes a two-part digital-twin architecture for scientific discovery. A Phenomenon Digital Twin simulates the physical system under investigation, while a Scientific Discovery Digital Twin uses Generative Flow Networks to explore a large experimental design space and prioritize informative experiments. The motivating case is plasma-enhanced deposition, where the underlying phenomena are difficult to model and the number of possible experimental configurations is large.

Links: official program entry · DOI: 10.1109/MODELS-C68889.2025.00036 · presentation recording

On the Challenges of Integrating Digital Twins

GEODES also contributed to the EDTconf vision paper “On the Challenges of Integrating Digital Twins.” It was presented in person on October 6 during the session Conceptual, Methodological, and Review Papers.

Authors: Benoît Combemale, Jörg Kienzle, Gunter Mussbacher, Pascal Archambault, Jean-Michel Bruel, Lola Burgueño, Betty H. C. Cheng, Loek Cleophas, Gregor Engels, Damien Foures, Stefan Klikovits, Vinay Kulkarni, Judith Michael, Sébastien Mosser, Houari Sahraoui, Eugene Syriani, and Andreas Wortmann.

The paper asks what happens when digital twins must be combined into larger socio-technical ecosystems. Using smart cities as a running example, the authors review enabling technologies, outline a model-based framework for digital-twin integration, and identify nine open challenges for the research community.

Links: official program entry · DOI: 10.1109/MODELS-C68889.2025.00042 · HAL preprint · direct author-version PDF · presentation recording

DTChecker: A Real-Time Signal Monitoring and Property Specification Tool for Digital Twins

The Tools and Demonstrations track featured “DTChecker: A Real-Time Signal Monitoring and Property Specification Tool for Digital Twins.” The contribution was scheduled as an in-person demonstration on October 8.

Authors: Abdelhamid Rouatbi, Eugene Syriani, and Bentley Oakes.

DTChecker lowers the barrier to specifying and monitoring temporal requirements in digital-twin systems. Domain experts write requirements in a browser-based editor with language-server support; the tool translates them into Signal Temporal Logic and evaluates them continuously against live RabbitMQ data streams. A dashboard then visualizes robustness scores, showing how strongly the running system satisfies or violates each property. The demonstration used an open-source incubator digital twin.

Links: official program entry · DOI: 10.1109/MODELS-C68889.2025.00020 · preprint · demonstration video · source code

Modeling with Gentleman: a web-based projectional editor

The MODELS Journal-First track included “Modeling with Gentleman: a web-based projectional editor.” The presentation was scheduled remotely on October 8.

Authors: Louis-Edouard Lafontant and Eugene Syriani.

Gentleman is a lightweight, browser-based projectional editor. Instead of parsing text after each edit, a projectional editor lets users manipulate the abstract syntax tree directly through tailored visual or textual projections. This supports multiple notations as well as language extension and composition. The journal article reports a user study showing that participants could create and manipulate models effectively with the tool.

Links: official program entry · journal article, DOI: 10.1007/s10270-024-01219-4 · Gentleman website · source code