A Lightweight Approach for the Semantic Validation of Model Refinements

Model Driven Engineering proposes the use of models at different levels of abstraction. Step by step validation of model refinements is necessary to guarantee the correctness of the final product with respect to its