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.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.
| 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 |
| URI: | http://eprints.uet.vnu.edu.vn/eprints/id/eprint/103 |
Actions (login required)
 |
View Item |
