Workshop

Motivations

Model artifacts are subject to constant evolution throughout the lifecycle of sys- tems. The evolutionary pressure emerges from various technical and business factors throughout the overall software/system engineering endeavor. Pertinent examples of such factors include changing requirements, changing environment, and changing user base, all of which give rise to unique evolutionary challenges in various system artifacts from architecture to implementation, and even in infor- mal artifacts, such as documentation. These challenges, if left unmanaged, may lead to deteriorating quality attributes, and in severe cases inconsistent artifacts or even incorrect artifacts, preventing the system from operating as intended. Therefore, proper support for efficient and effective evolution is required. The Models and Evolution workshop promotes novel theories, techniques, and tools to support evolution. To this end, the workshop brings together researchers and practitioners to discuss the latest developments on the topic.

Topic of Interest

The topics of interest include, but are not restricted to:

  • Foundations
    • Theories, methods, and tools for (meta-)model evolution
    • Co-evolution across multiple meta-levels (incl. instance and data levels)
  • Correctness and quality aspects
    • Consistency and correctness of evolving models
    • Verification and validation of evolving models
  • Applications
    • Software migration, reconstruction, reuse, and repurposing
    • Evolution of heterogeneous systems, e.g., CPS and digital twins, including the (co-)evolution of virtual and physical artifacts and infrastructure
  • Empirical works, industry reports, patterns and catalogs, training and education in the area of model evolution

Keynote

Abstract: TBA

TBA

Daniel Varrò Biography

Daniel is a WASP full professor of software engineering at Linköping University (Sweden), a professor (on leave) at Budapest University of Technology and Economics (Hungary), and an adjunct professor at McGill University (Canada) where I was a full professor between 2016 and 2022. Daniel is a former research chair on cyber-physical systems within the Lendület program awarded by the Hungarian Academy of Sciences. He was a visiting researcher at SRI International (USA), University of Paderborn and TU Berlin (Germany), and a visiting professor at McGill University and Université de Montréal (Canada). Daniel is currently the Steering Committee vice chair of the IEEE/ACM MODELS conference, and serve on the editorial board of the Software and Systems Modeling journal. He was a program committee co-chair of FASE 2013, ICMT 2014, SLE 2016 and MODELS 2021 conferences. He delivered keynote talks at CSMR 2012, SOFSEM 2016 and SAM 2021 conferences and at various international workshops. Seven papers he co-authored received a Distinguished or Best Paper award at major international conferences, and three of his papers received a 10-year Most Influential Paper Award. He was the main supervisor of 9 graduated PhD students, and co-supervisor for 8 further successful PhD students. He is a co-founder of IncQuery Labs, an innovative technology-intensive company. He was also co-founder of several open source software projects, including the VIATRA model query and transformation framework, MASSIF integration framework for Matlab, and the Refinery graph solver and generator.

Sunday 5, Friday 10 October 2025

Grand Valley State University
Michigan, United States

Place