An OCL-Based Framework for Model Transformations

An OCL-Based Framework for Model Transformations

Model transformation is an important building block for model-driven approaches. It puts forward a necessity and a challenge to specify and realize model transformation as well as to ensure the correctness of transformations.This paper proposes anOCL-based framework for model transformations. The f...

Full description

Saved in:
Bibliographic Details
Main Authors: Dang, Duc Hanh, Martin, Gogolla
Format: Article
Language:English
Published: ĐHQGHN 2017
Subjects:
Model Transformation
OCL
Validation & Verification
Precondition and Postcondition
Invariant.
Online Access:http://repository.vnu.edu.vn/handle/VNU_123/56762
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Vietnam National University, Hanoi
Language: English
Description
Summary:Model transformation is an important building block for model-driven approaches. It puts forward a necessity and a challenge to specify and realize model transformation as well as to ensure the correctness of transformations.This paper proposes anOCL-based framework for model transformations. The formal foundation of the framework is the integration of Triple Graph Grammars and the Object Constraint Language (OCL). The OCL-based transformation framework offers an on-the-fly verification of model transformations and means for transformation quality assurance.

Similar Items