An Approach for Quality Assurance of Model Transformations

Author

Dang, Duc-Hanh ; Gogolla, Martin

Author_Institution

Dept. of Software Eng., VNU - Univ. of Eng. & Technol., Hanoi, Vietnam

fYear

2012

fDate

17-19 Aug. 2012

Firstpage

223

Lastpage

230

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.

Keywords

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; Automata; Computational modeling; Grammar; Quality assurance; Strontium; Unified modeling language; Graph Transformation; Invariant; Model Transformation; OCL; Pre- and Postcondition; Validation and Verification;

fLanguage

English

Publisher

ieee

Conference_Titel

Knowledge and Systems Engineering (KSE), 2012 Fourth International Conference on

Conference_Location

Danang

Print_ISBN

978-1-4673-2171-6

Type

conf

DOI

10.1109/KSE.2012.17

Filename

6299378