VNU-UET Repository

An Approach for Quality Assurance of Model Transformations

Dang, Duc Hanh and Gogolla, M. (2012) An Approach for Quality Assurance of Model Transformations. In: 2012 Fourth International Conference on Knowledge and Systems Engineering (KSE), 17-19 August 2012, Danang, Vietnam.

Full text not available from this repository.


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.

Item Type: Conference or Workshop Item (Paper)
Uncontrolled 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;
Subjects: Information Technology (IT)
?? IT_SE ??
Divisions: Faculty of Information Technology (FIT)
Depositing User: Prof. Xuan-Tu Tran
Date Deposited: 03 Jan 2013 04:09
Last Modified: 31 Aug 2016 09:51

Actions (login required)

View Item View Item