Modeling serves as a fundamental tool for understanding and designing modern software systems, including cyber-physical systems, digital twins, and system-of-systems. By providing abstractions that simplify complexity and align diverse stakeholders, modeling enhances our ability to comprehend domains and develop reliable systems. However, the subjective and cognitive nature of abstraction, combined with the collaborative, distributed, and evolving nature of modeling processes, often leads to inconsistencies within and across models.

Consistency management is therefore a critical challenge, as inconsistent models can compromise system reliability, introduce ambiguities, and lead to critical errors. These challenges become even more pronounced in large-scale systems where diverse teams, tasks, and stakeholders interact. Practices such as multi-view or multi-paradigm modeling further complicate consistency management by introducing unresolved issues like the View-Update Problem. In such scenarios, ensuring consistency is essential for the success of model-based techniques aimed at improving software quality. This workshop aims to investigate the interplay between modeling and consistency, addressing key topics such as:

• Consistency checking, repair, and preservation within modeling processes.
• Techniques for handling existing inconsistencies in large-scale or distributed models.
• Challenges and solutions for multi-view and multi-paradigm modeling, including the View-Update Problem.
• Approaches to improving the utility of abstractions for diverse stakeholders while maintaining consistency.
• Novel methods to assure software quality through effective consistency management.

Submission Guidelines

All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:

• Foundational Papers (Regular – 10 pages): These papers should explore the theoretical foundations of (in-)consistency and approaches for managing it.
• Application Papers (Regular – 10 pages): These papers should focus on the application of consistency in tools and/or frameworks. Papers demonstrating consistency-preserving methods in industrial applications are especially encouraged.
• Short Papers (Short – 5 pages): These papers should present novel ideas to the community and are intended to spark discussions during the workshop.
• Challenge Papers (regular – 10 pages): These papers should describe solutions to the ICMM Challenge. Onward from this edition of the workshop, we welcome solutions to challenge(s), which this year is revolving around the construction of a brake system, available at https://doi.org/10.5281/zenodo.18599404. Authors are encouraged to submit their solutions to the proposed problems and discuss their tools and approaches as well as their ideas, independent of their implementation state.

Committees

Organizing committee

• Colin Atkinson
• Minakshi Kaushik
• Thomas Weber
• Arne Lange

Contact

See our contact at our website https://conf.researchr.org/home/staf-2026/icmm-2026