@inproceedings{SisLab103,
       booktitle = {2012 Fourth International Conference on Knowledge and Systems Engineering (KSE)},
           month = {August},
           title = {An Approach for Quality Assurance of Model Transformations},
          author = {Duc Hanh Dang and M. Gogolla},
            year = {2012},
           pages = {223 --230},
        keywords = {Automata;Computational modeling;Grammar;Quality assurance;Strontium;Unified modeling language;formal specification;graph grammars;program verification;software quality;OCL-based framework;model transformation;model-driven approach;object constraint language;on-the-fly verification;specification method;transformation quality assurance;transformation validation;transformation verification;triple graph grammar;Graph Transformation;Invariant;Model Transformation;OCL;Pre- and Postcondition;Validation and Verification;},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/103/},
        abstract = {Model transformation is an important building block for model-driven approaches. It puts forward a necessity as well as a challenge for validating and verifying transformations. This paper proposes a specification method and an OCL-based framework for model transformations. The approach is based on an integration of Triple Graph Grammars and the Object Constraint Language (OCL) as a formal foundation. The OCL-based transformation framework offers an on-the-fly verification of model transformations and means for transformation quality assurance.}
}