A Lightweight Approach for the Semantic Validation of Model Refinements

Abstract

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 initial models. But, given that accurate validation activities require the application of formal modeling languages with a complex syntax and… (More)
DOI: 10.1016/j.entcs.2008.11.005

Topics

4 Figures and Tables

Cite this paper

@article{Pons2008ALA, title={A Lightweight Approach for the Semantic Validation of Model Refinements}, author={Claudia Pons and Diego Garc{\'i}a}, journal={Electr. Notes Theor. Comput. Sci.}, year={2008}, volume={220}, pages={43-61} }