Dec 1, 2016 · The present paper makes a new contribution to the local GCC by reducing the model matching workload even more by doing it incrementally.
scholar.google.com › citations
This paper's contribution to GCC local approaches is a framework allowing the user to do matching incrementally: to build the match required for checking ...
authors. Diskin, Zinoviy; König, Harald. status. published. publication date. 2016. has subject area. Artificial Intelligence & Image Processing (Science ...
In this paper, we propose a formal model of incremental consistency checking for pervasive contexts. Based on this model, we further propose an efficient ...
Nov 21, 2024 · We describe experiences of applying a tool-supported approach for incremental consistency checking on variability models. Our approach ...
Oct 15, 2024 · Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling. ... Incremental Consistency Checking of Heterogeneous Multimodels.
Publications that cite this publication ; Incremental Consistency Checking of Heterogeneous Multimodels. Zinovy Diskin, Harald König ; Intermodeling, Queries, and ...
A straightforward approach to inter-model consistency checking is to run constraint validations on the model union (merge). If, in model repairing scenarios, ...
Incremental Consistency Checking of Heterogeneous Multimodels. Zinovy Diskin, Harald König. https://doi.org/10.1007/978-3-319-50230-4_21 ·. 2016, Software ...
