Using MDE for Generic Comparison of Views

We investigate the application of technologies for modeldriven engineering to check the conformance of two software models. This involves their model-based comparison, and visualisation of the results. To generalise our approach we use reflection, metamodel generalisation, and higher-order transformations. We apply our approach to assess the...