Supporting domain-specific model patterns with metamodeling

Levendovszky, Tihamér; Lengyel, László; Mészáros, Tamás

doi:10.1007/s10270-009-0118-3

Cited by 24 publications

(15 citation statements)

References 29 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Studying the second alternative, they proposed the Ram process (Relaxation, Augmentation, Modification) that allows the semi-automatic generation of transformation specification languages. On the other hand, Levendovszky et al explored in [69] the other alternative by proposing an approach based on Domain-Specific Design Patterns together with a relaxed conformance relation to allow the use of model fragments instead of plain regular models.…”

Section: Transformation Well-formednessmentioning

confidence: 99%

Formal Verification Techniques for Model Transformations: A Tridimensional Classification .

Amrani¹,

Combemale²,

Levi³

et al. 2015

JOT

View full text Add to dashboard Cite

In Model Driven Engineering (Mde), models are first-class citizens, and model transformation is Mde's "heart and soul". Since model transformations are executed for a family of (conforming) models, their validity becomes a crucial issue.This paper proposes to explore the question of the formal verification of model transformation properties through a tridimensional approach: the transformation involved, the properties of interest addressed, and the formal verification techniques used to establish the properties.This work is intended for a double audience. For newcomers, it provides a tutorial introduction to the field of formal verification of model transformations. For readers more familiar with formal methods and model transformations, it proposes a literature review (although not systematic) of the contributions of the field.Overall, this work allows to better understand the evolution, trends and current practice in the domain of model transformation verification. This work opens an interesting research line for building an engineering of model transformation verification guided by the notion of model transformation intent.

show abstract

Section: Transformation Well-formednessmentioning

confidence: 99%

Formal Verification Techniques for Model Transformations: A Tridimensional Classification .

Amrani¹,

Combemale²,

Levi³

et al. 2015

JOT

View full text Add to dashboard Cite

show abstract

“…However, software engineering environments for model-driven systems development have evolved from classical integrated development environments [32], and many of the same problems appear (and are re-solved) in a newer setting. Arguably, the novelty in MDA/MDE is the use of codified modeling languages for object-oriented design (UML) and the increasing use of domain-specific abstractions and dedicated, visual, domain specific modeling languages [26].…”

Section: Related Workmentioning

confidence: 99%

“…Such analysis lead us to a simple (graphical) language that allows the modeler to document the metamodel changes by capturing how 'old' metamodel elements are related to 'new' metamodel elements [32]. Note that the modeler essentially supplies rewriting rules that proscribe how a model migration engine should convert 'old' models into 'new' models.…”

Section: Transformations In Evolution and Adaptationmentioning

confidence: 99%

“…Design patterns can be highly domain specific hence they can be applied in any DSML. We have created a set of tools to support the definition and application of design patterns in arbitrary DSML-s that are defined by a metamodel [32]. One tool is used (once) to extend the metamodel of a given DSML such the patterns can be built from existing model elements.…”

Section: Transformations In Evolution and Adaptationmentioning

confidence: 99%

“…Here, we reference the closest related work only. Previous work [32] has justified the demand for Domain-Specific Model Patterns by contributing several DSMLs. Moreover, it describes relaxation conditions for the metamodels in order to make metamodeling environments support the editing of incomplete models.…”

Section: Related Workmentioning

confidence: 99%

See 2 more Smart Citations

Lessons Learned from Building a Graph Transformation System

Karsai

2010

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Model-driven software development is a language-and transformation-based paradigm, where the various development tasks of engineers are cast in this framework. During the past decade we have developed, evolved, and applied in practical projects a manifestation of this principle through a suite of tools we call the Model-Integrated Computing suite. Graph transformations are fundamental to this environment and tools for constructing model translators, for the specification of the semantics of languages, for the evolution of modeling languages, models, and their transformations have been built. Designing and building these tools have taught us interesting lessons about graph transformation techniques, language engineering, scalability and abstractions, pragmatic semantics, verification, and evolutionary changes in tools and designs. In the paper we briefly summarize the techniques and tools we have developed and used, and highlight our experience in constructing and using them.

show abstract

Formalizing model transformation patterns

Rouhi

Kolahdouz-Rahimi

Lano

2022

J Software Evolu Process

View full text Add to dashboard Cite

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. K E Y W O R D S model-driven development (MDD), model transformation, design pattern, formal model 1 | INTRODUCTION Model transformations (MTs) have become more and more complex in recent years, as a result of their application to substantial problem cases in both academia and industry. Enhancing the quality of model transformations to provide a result in an efficient and modular way is a crucial task for the model-driven community. Design patterns for model transformations have been identified as an important solution to potentially improve the quality of model transformations. 1-3To obtain the benefit and utilize the productivity accompanied by the pattern application in MDE, model transformation patterns must first be formalized, which paves the way for automating the MT-based software development and verification. [3][4][5] Exploring the literature reveals some formal models for model transformations. [6][7][8] However, to the best of our knowledge, there is not any formalism for model transformation patterns in the literature. Having a unified formalism regarding model transformation patterns will provide a foundation to support the pattern application and verification features easily in the current model transformation tools. 9,10 As a result, this research aims to present a new formalism for defining model transformation patterns and expressing the semantics of pattern application.To provide a conceptual view which serves as the informal basics of the proposed formalism of the MT patterns, an abstract architecture representing the underlying concepts such as model and metamodel is presented first. In this research, we use the Z specification language to formalize the MT design patterns. In a...

show abstract

Supporting domain-specific model patterns with metamodeling

Cited by 24 publications

References 29 publications

Formal Verification Techniques for Model Transformations: A Tridimensional Classification .

Formal Verification Techniques for Model Transformations: A Tridimensional Classification .

Lessons Learned from Building a Graph Transformation System

Formalizing model transformation patterns

Contact Info

Product

Resources

About