eprintid: 103
rev_number: 8
eprint_status: archive
userid: 4
dir: disk0/00/00/01/03
datestamp: 2013-01-03 04:09:49
lastmod: 2016-08-31 09:51:44
status_changed: 2013-01-03 04:09:49
type: conference_item
metadata_visibility: show
creators_name: Dang, Duc Hanh
creators_name: Gogolla, M.
creators_id: hanhdd@vnu.edu.vn
corp_creators: VNU-UET
title: An Approach for Quality Assurance of Model Transformations
ispublished: pub
subjects: IT
subjects: IT_SE
divisions: fac_fit
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;
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.
date: 2012-08-17
full_text_status: none
pres_type: paper
pagerange: 223 -230
event_title: 2012 Fourth International Conference on Knowledge and Systems Engineering (KSE)
event_location: Danang, Vietnam
event_dates: 17-19 August 2012
event_type: conference
refereed: TRUE
related_url_url: http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6299181
related_url_type: pub
citation:   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.