These submodels can then be verified separately through any verification tool or engine. Furthermore, an overview of a novel feedback technique is also proposed, which highlights any unsatisfiable ...

In this paper, we present a greedy-based algorithm for matching UML class diagrams based on their lexical, internal, neighborhood similarity, and a combination of them. Additionally the paper ...