TY  - CONF
ID  - SisLab103
UR  - https://eprints.uet.vnu.edu.vn/eprints/id/eprint/103/
A1  - Dang, Duc Hanh
A1  - Gogolla, M.
Y1  - 2012/08/17/
N2  - 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.
KW  - 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;
TI  - An Approach for Quality Assurance of Model Transformations
SP  - 223 
M2  - Danang, Vietnam
AV  - none
EP  - 230
T2  - 2012 Fourth International Conference on Knowledge and Systems Engineering (KSE)
ER  -