relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/103/
title: An Approach for Quality Assurance of Model Transformations
creator: Dang, Duc Hanh
creator: Gogolla, M.
subject: Information Technology (IT)
description: 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.
date: 2012-08-17
type: Conference or Workshop Item
type: PeerReviewed
identifier:   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.