ORIGINAL RESEARCH article
Front. Comput. Sci.
Sec. Software
This article is part of the Research TopicSoftware Specification and Verification: Models and ToolsView all 5 articles
A Configurable Approach for Intra-Model Inconsistency Management in Multi-View Collaborative Modeling
Provisionally accepted
- 1University of Isfahan, Isfahan, Iran
- 2Republic of Iraq Ministry of Higher Education and Scientific Research, Baghdad, Iraq
Select one of your emails
You have multiple emails registered with Frontiers:
Notify me on publication
Please enter your email address:
If you already have an account, please login
You don't have a Frontiers account ? You can register here
In the software development life cycle, collaborative modeling of a single, shared model through multiple projective views serves as a critical activity where experts and stakeholders collaborate effectively. Within multi-view collaborative modeling, the real-time optimistic paradigm enables modifications to the same model but may lead to inconsistencies that require resolution to achieve an integrated and valid model. This study aims to develop a configurable framework for managing intra-model inconsistencies in real-time multi-view collaborative modeling of a single shared model. We present a novel framework for inconsistency management tailored for multi-view collaborative modeling environments. Leveraging Model-Driven Engineering (MDE) principles, the framework accommodates real-time modeling scenarios and supports change propagation based on the online collaboration mode. By introducing a consistency oracle and employing incremental consistency checking, our solution efficiently manages the integration of model changes and their overlaps, thereby enhancing consistency management and conflict resolution in the software development process. The framework effectively addresses the complexities associated with repairing inconsistencies across various software models, highlighting the necessity for a configurable and personalized approach. In contrast to traditional methods that often focus on isolated repairs or limited alternatives, our approach emphasizes collaborative dynamics, allowing developers to prioritize changes based on team interactions and individual model ownership. We introduce the COMIM approach, which assists collaborators in managing inconsistencies in multi-view modeling. The results demonstrate the feasibility and benefits of maintaining consistent and concurrent modeling practices using the collaborative COMIM approach, with empirical evidence showing effective performance for teams of up to seven concurrent users in our case study.
Keywords: Collaborative modeling, Intra-Model Inconsistency Management, Model-driven engineering, Multi-View Collaboration, Multi-view modeling
Received: 12 Oct 2025; Accepted: 18 Dec 2025.
Copyright: © 2025 Alsharuee, Sharbaf and Tork Ladani. This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY). The use, distribution or reproduction in other forums is permitted, provided the original author(s) or licensor are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.
* Correspondence: Behrouz Tork Ladani
Disclaimer: All claims expressed in this article are solely those of the authors and do not necessarily represent those of their affiliated organizations, or those of the publisher, the editors and the reviewers. Any product that may be evaluated in this article or claim that may be made by its manufacturer is not guaranteed or endorsed by the publisher.