About
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.
Topics of Interest
The ICMM 2025 seeks submissions addressing theoretical foundations, practical applications, or empirical studies related to consistency management in modeling. Submissions may include, but are not limited to:
- Formal Definition of Consistency: Frameworks and methodologies for rigorously defining and classifying consistency.
- Consistency Checking and Repair: Techniques, algorithms, and tools for detecting and resolving inconsistencies in/between models.
- Consistency Preservation: Strategies to maintain consistency during model evolution and across distributed systems.
- Inconsistency Tolerance: Approaches to handle and work with inconsistencies when resolution is impractical or costly.
- View Management: Addressing consistency challenges arising from multi-view modeling.
- Impact on Model/Software Quality: Understanding and mitigating the effects of inconsistency on model/software reliability and correctness.
- Case Studies and Applications: Practical insights into consistency management in real-world systems, especially reusable case studies that could serve as a standard in the community.
Join us to discuss and shape the future of consistency management in modeling!
Submissions
- 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. Submissions 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.
Submitting papers will be through EasyChair. Please use the following LaTeX Template. Simultaneous submission to other conferences with proceedings, as well as submission of material that has already been published elsewhere, is not allowed. The page limits include references.
Publication
Accepted papers will appear in the workshop proceedings published by CEUR Workshop Proceedings.
Dates
- Fri 28 Mar 2025 Abstract Submission
- Fri 4 Apr 2025 Paper Submission
- Mon 5 May 2025 Notification
- Mon 19 May 2025 Camera Ready Submission