TAILIEUCHUNG - An OCL-Based Framework for Model Transformations

This paper proposes an OCL-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. | VNU Journal of Science: Comp. Science & Com. Eng., Vol. 32, No. 1 (2016) 42–57 An OCL-Based Framework for Model Transformations Duc-Hanh Dang1,∗, Martin Gogolla2 1 VNU University of Engineering and Technology, Hanoi, Vietnam 2 University of Bremen, Bremen, Germany Abstract 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 an OCL-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. Received 06 December 2015, revised 25 December 2015, accepted 31 December 2015 Keywords: Model Transformation, OCL, Validation & Verification, Precondition and Postcondition, Invariant. 1. Introduction are proposed in [8] as a similar approach for bidirectional transformations. In addition to specification and realization of transformations as proposed by these works, several papers discuss how to ensure the correctness of transformations. In [9] the authors introduce a method to derive Object Constraint Language (OCL) invariants from declarative transformations like TGGs and QVT in order to enable their verification and analysis. The work in [10] aims to establish a framework for transformation testing. To the best of our knowledge, so far there has not been any suitable approach yet to support both specification and quality assurance of transformations. Model transformation can be seen as the heart of model-driven approaches [1]. Transformations are useful for different goals such as (1) to relate views of the system to each other; (2) to reflect about a model from other domains for an enhancement of model analysis; and (3) to .

TỪ KHÓA LIÊN QUAN
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.