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
id oai:112.137.131.14:VNU_123-56762
record_format dspace
spelling oai:112.137.131.14:VNU_123-567622018-08-09T03:45:02Z An OCL-Based Framework for Model Transformations Dang, Duc Hanh Martin, Gogolla Model Transformation OCL Validation & Verification Precondition and Postcondition Invariant. 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. 2017-08-14T07:22:32Z 2017-08-14T07:22:32Z 2016 Article Dang, D. H, Martin, G. (2016). An OCL-Based Framework for Model Transformations. VNU Journal of Science, Comp. Science & Com. Eng., 32, 1, 42–57. 0866-8612 http://repository.vnu.edu.vn/handle/VNU_123/56762 en Journal of Comp. Science & Com. Eng. application/pdf ĐHQGHN
institution Vietnam National University, Hanoi
building VNU Library & Information Center
country Vietnam
collection VNU Digital Repository
language English
topic Model Transformation
OCL
Validation & Verification
Precondition and Postcondition
Invariant.
spellingShingle Model Transformation
OCL
Validation & Verification
Precondition and Postcondition
Invariant.
Dang, Duc Hanh
Martin, Gogolla
An OCL-Based Framework for Model Transformations
description 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.
format Article
author Dang, Duc Hanh
Martin, Gogolla
author_facet Dang, Duc Hanh
Martin, Gogolla
author_sort Dang, Duc Hanh
title An OCL-Based Framework for Model Transformations
title_short An OCL-Based Framework for Model Transformations
title_full An OCL-Based Framework for Model Transformations
title_fullStr An OCL-Based Framework for Model Transformations
title_full_unstemmed An OCL-Based Framework for Model Transformations
title_sort ocl-based framework for model transformations
publisher ĐHQGHN
publishDate 2017
url http://repository.vnu.edu.vn/handle/VNU_123/56762
_version_ 1680964765206183936

Similar Items