%A Duc Hanh Dang
%A M. Gogolla
%T An Approach for Quality Assurance of Model Transformations
%X 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.
%K 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;
%P 223 -230
%D 2012
%C Danang, Vietnam
%L SisLab103