An OCL-Based Framework for Model Transformations

• المؤلفون الرئيسيون: Dang, Duc Hanh, Martin, Gogolla
• التنسيق: مقال
• اللغة: English
• منشور في: ĐHQGHN 2017
• الموضوعات: Model Transformation; OCL; Validation & Verification; Precondition and Postcondition; Invariant.
• الوصول للمادة أونلاين: http://repository.vnu.edu.vn/handle/VNU_123/56762

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.