@article{JCSCE, author = {Duc-Hanh Dang and Martin Gogolla}, title = { An OCL-Based Framework for Model Transformations}, journal = {VNU Journal of Science: Computer Science and Communication Engineering}, volume = {32}, number = {1}, year = {2016}, keywords = {}, abstract = {Model transformation is an important building block for model-driven approaches. It puts forward a necessity and a challenge to specify and realize model transformation as well as to ensure the correctness of transformations. This paper proposes an OCL-based framework for model transformations. The formal foundation of the framework is the integration of Triple Graph Grammars and the Object Constraint Language (OCL). The OCL-based transformation framework offers an on-the-fly verification of model transformations and means for transformation quality assurance.}, issn = {2588-1086}, doi = {10.25073/2588-1086/jcsce.120}, url = {//jcsce.vnu.edu.vn/index.php/jcsce/article/view/120} }