Change-driven model transformations: Change (in) the rule to rule the change

Gábor Bergmann, István Ráth, Gergely Varró, D. Varró

Research output: Contribution to journalArticle

40 Citations (Scopus)

Abstract

In this paper, we investigate change-driven model transformations, a novel class of transformations, which are directly triggered by complex model changes carried out by arbitrary transactions on the model (e. g. editing operation, transformation, etc). After a classification of relevant change scenarios, we identify challenges for change-driven transformations. As the main technical contribution of the current paper, we define an expressive, high-level language for specifying change-driven transformations as an extension of graph patterns and graph transformation rules. This language generalizes previous results on live model transformations by offering trigger events for arbitrarily complex model changes, and dedicated reactions for specific kinds of changes, making this way the concept of change to be a first-class citizen of the transformation language. We discuss how the underlying transformation engine needs to be adapted in order to use the same language uniformly for different change scenarios. The technicalities of our approach will be discussed on a (1) model synchronization case study with non-materialized target models and (2) a case study on detecting the violation of evolutionary (temporal) constraints in the security requirements engineering domain.

Original languageEnglish
Pages (from-to)431-461
Number of pages31
JournalSoftware and Systems Modeling
Volume11
Issue number3
DOIs
Publication statusPublished - Jul 2012

Fingerprint

Model Transformation
Temporal Constraints
Scenarios
Requirements Engineering
Model
Graph Transformation
High level languages
Requirements engineering
Trigger
Transactions
Engine
Synchronization
Generalise
Target
Engines
Language
Arbitrary
Graph in graph theory

Keywords

  • Change models
  • Change-driven transformations
  • Incremental model transformation

ASJC Scopus subject areas

  • Software
  • Modelling and Simulation

Cite this

Change-driven model transformations : Change (in) the rule to rule the change. / Bergmann, Gábor; Ráth, István; Varró, Gergely; Varró, D.

In: Software and Systems Modeling, Vol. 11, No. 3, 07.2012, p. 431-461.

Research output: Contribution to journalArticle

Bergmann, Gábor ; Ráth, István ; Varró, Gergely ; Varró, D. / Change-driven model transformations : Change (in) the rule to rule the change. In: Software and Systems Modeling. 2012 ; Vol. 11, No. 3. pp. 431-461.
@article{3d630c015dea4d0e8a31a9618dcaafe2,
title = "Change-driven model transformations: Change (in) the rule to rule the change",
abstract = "In this paper, we investigate change-driven model transformations, a novel class of transformations, which are directly triggered by complex model changes carried out by arbitrary transactions on the model (e. g. editing operation, transformation, etc). After a classification of relevant change scenarios, we identify challenges for change-driven transformations. As the main technical contribution of the current paper, we define an expressive, high-level language for specifying change-driven transformations as an extension of graph patterns and graph transformation rules. This language generalizes previous results on live model transformations by offering trigger events for arbitrarily complex model changes, and dedicated reactions for specific kinds of changes, making this way the concept of change to be a first-class citizen of the transformation language. We discuss how the underlying transformation engine needs to be adapted in order to use the same language uniformly for different change scenarios. The technicalities of our approach will be discussed on a (1) model synchronization case study with non-materialized target models and (2) a case study on detecting the violation of evolutionary (temporal) constraints in the security requirements engineering domain.",
keywords = "Change models, Change-driven transformations, Incremental model transformation",
author = "G{\'a}bor Bergmann and Istv{\'a}n R{\'a}th and Gergely Varr{\'o} and D. Varr{\'o}",
year = "2012",
month = "7",
doi = "10.1007/s10270-011-0197-9",
language = "English",
volume = "11",
pages = "431--461",
journal = "Software and Systems Modeling",
issn = "1619-1366",
publisher = "Springer Verlag",
number = "3",

}

TY - JOUR

T1 - Change-driven model transformations

T2 - Change (in) the rule to rule the change

AU - Bergmann, Gábor

AU - Ráth, István

AU - Varró, Gergely

AU - Varró, D.

PY - 2012/7

Y1 - 2012/7

N2 - In this paper, we investigate change-driven model transformations, a novel class of transformations, which are directly triggered by complex model changes carried out by arbitrary transactions on the model (e. g. editing operation, transformation, etc). After a classification of relevant change scenarios, we identify challenges for change-driven transformations. As the main technical contribution of the current paper, we define an expressive, high-level language for specifying change-driven transformations as an extension of graph patterns and graph transformation rules. This language generalizes previous results on live model transformations by offering trigger events for arbitrarily complex model changes, and dedicated reactions for specific kinds of changes, making this way the concept of change to be a first-class citizen of the transformation language. We discuss how the underlying transformation engine needs to be adapted in order to use the same language uniformly for different change scenarios. The technicalities of our approach will be discussed on a (1) model synchronization case study with non-materialized target models and (2) a case study on detecting the violation of evolutionary (temporal) constraints in the security requirements engineering domain.

AB - In this paper, we investigate change-driven model transformations, a novel class of transformations, which are directly triggered by complex model changes carried out by arbitrary transactions on the model (e. g. editing operation, transformation, etc). After a classification of relevant change scenarios, we identify challenges for change-driven transformations. As the main technical contribution of the current paper, we define an expressive, high-level language for specifying change-driven transformations as an extension of graph patterns and graph transformation rules. This language generalizes previous results on live model transformations by offering trigger events for arbitrarily complex model changes, and dedicated reactions for specific kinds of changes, making this way the concept of change to be a first-class citizen of the transformation language. We discuss how the underlying transformation engine needs to be adapted in order to use the same language uniformly for different change scenarios. The technicalities of our approach will be discussed on a (1) model synchronization case study with non-materialized target models and (2) a case study on detecting the violation of evolutionary (temporal) constraints in the security requirements engineering domain.

KW - Change models

KW - Change-driven transformations

KW - Incremental model transformation

UR - http://www.scopus.com/inward/record.url?scp=84863223375&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84863223375&partnerID=8YFLogxK

U2 - 10.1007/s10270-011-0197-9

DO - 10.1007/s10270-011-0197-9

M3 - Article

AN - SCOPUS:84863223375

VL - 11

SP - 431

EP - 461

JO - Software and Systems Modeling

JF - Software and Systems Modeling

SN - 1619-1366

IS - 3

ER -