Formalizing model transformation patterns. Issue 2 (5th January 2022)

• Record Type: Journal Article
• Authors: Rouhi, Alireza; Kolahdouz Rahimi, Shekoufeh; Lano, Kevin
• Is Part Of: Journal of software. Volume 34:Issue 2(2022)
• Page Start: n/a
• Page End: n/a
• Publication Date: 2022-01-05
• Subjects: model‐driven development (MDD) -- model transformation -- design pattern -- formal model; Software engineering -- Periodicals; Computer software -- Development -- Periodicals; Software maintenance -- Periodicals; 005.1
• DOI: 10.1002/smr.2406
• Languages: English
• ISSNs: 2047-7473

Abstract

Abstract: Model transformation has become an established field, and it is important to improve the quality of specifications written in transformation languages. Different transformation patterns have been introduced in the model‐driven engineering (MDE) community to improve the quality of transformation specifications. However, due to the different definitions of pattern concepts by different authors, it is difficult for practitioners to understand how to apply patterns in practice. Therefore, there is a need to unify transformation pattern concepts by presenting a generic metamodel and formalizing patterns in terms of this metamodel, to define the meaning of pattern application. In this research a general metamodel for definition of different design patterns in model transformation is provided. The metamodel presents clear description of common aspects of transformation patterns, which facilitates the application of patterns on model transformations by validating the application against the underlying formalism. Additionally, a unified and precise terminology for the application and verification of model transformation patterns by using a formal model of model transformation patterns in the Z notation is presented. To show the applicability of the proposed formalism, four well‐known model transformation patterns are specified. Abstract : In this paper a general metamodel for definition of different design patterns in model transformation is provided. The metamodel presents clear description of common aspects of transformation patterns, which facilitates the application of patterns on model transformations by validating the application against the underlying formalism. Additionally, a unified and precise terminology for the application and verification of model transformation patterns by using a formal model of model transformation patterns in the Z notation is presented.