Live model transformations driven by incremental pattern matching

István Ráth, Gábor Bergmann, András Ökrös, D. Varró

Research output: Chapter in Book/Report/Conference proceedingConference contribution

28 Citations (Scopus)

Abstract

In the current paper, we introduce a live model transformation framework, which continuously maintains a transformation context such that model changes to source inputs can be readily identified, and their effects can be incrementally propagated. Our framework builds upon an incremental pattern matcher engine, which keeps track of matches of complex contextual constraints captured in the form of graph patterns. As a result, complex model changes can be treated as elementary change events. Reactions to the changes of match sets are specified by graph transformation rules with a novel transactional execution semantics incorporating both pseudo-parallel and serializable behaviour.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages107-121
Number of pages15
Volume5063 LNCS
DOIs
Publication statusPublished - 2008
Event1st International Conference on Model Transformations, ICMT 2008 - Zurich, Switzerland
Duration: Jul 1 2008Jul 2 2008

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5063 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other1st International Conference on Model Transformations, ICMT 2008
CountrySwitzerland
CityZurich
Period7/1/087/2/08

Fingerprint

Pattern matching
Model Transformation
Pattern Matching
Graph Transformation
Engine
Graph in graph theory
Semantics
Model
Engines
Framework
Context
Form

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Ráth, I., Bergmann, G., Ökrös, A., & Varró, D. (2008). Live model transformations driven by incremental pattern matching. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5063 LNCS, pp. 107-121). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5063 LNCS). https://doi.org/10.1007/978-3-540-69927-9_8

Live model transformations driven by incremental pattern matching. / Ráth, István; Bergmann, Gábor; Ökrös, András; Varró, D.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5063 LNCS 2008. p. 107-121 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5063 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Ráth, I, Bergmann, G, Ökrös, A & Varró, D 2008, Live model transformations driven by incremental pattern matching. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 5063 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5063 LNCS, pp. 107-121, 1st International Conference on Model Transformations, ICMT 2008, Zurich, Switzerland, 7/1/08. https://doi.org/10.1007/978-3-540-69927-9_8
Ráth I, Bergmann G, Ökrös A, Varró D. Live model transformations driven by incremental pattern matching. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5063 LNCS. 2008. p. 107-121. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-540-69927-9_8
Ráth, István ; Bergmann, Gábor ; Ökrös, András ; Varró, D. / Live model transformations driven by incremental pattern matching. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5063 LNCS 2008. pp. 107-121 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{dfbb30fcc97a4a85a2e370b9777c6de2,
title = "Live model transformations driven by incremental pattern matching",
abstract = "In the current paper, we introduce a live model transformation framework, which continuously maintains a transformation context such that model changes to source inputs can be readily identified, and their effects can be incrementally propagated. Our framework builds upon an incremental pattern matcher engine, which keeps track of matches of complex contextual constraints captured in the form of graph patterns. As a result, complex model changes can be treated as elementary change events. Reactions to the changes of match sets are specified by graph transformation rules with a novel transactional execution semantics incorporating both pseudo-parallel and serializable behaviour.",
author = "Istv{\'a}n R{\'a}th and G{\'a}bor Bergmann and Andr{\'a}s {\"O}kr{\"o}s and D. Varr{\'o}",
year = "2008",
doi = "10.1007/978-3-540-69927-9_8",
language = "English",
isbn = "3540699260",
volume = "5063 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "107--121",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - Live model transformations driven by incremental pattern matching

AU - Ráth, István

AU - Bergmann, Gábor

AU - Ökrös, András

AU - Varró, D.

PY - 2008

Y1 - 2008

N2 - In the current paper, we introduce a live model transformation framework, which continuously maintains a transformation context such that model changes to source inputs can be readily identified, and their effects can be incrementally propagated. Our framework builds upon an incremental pattern matcher engine, which keeps track of matches of complex contextual constraints captured in the form of graph patterns. As a result, complex model changes can be treated as elementary change events. Reactions to the changes of match sets are specified by graph transformation rules with a novel transactional execution semantics incorporating both pseudo-parallel and serializable behaviour.

AB - In the current paper, we introduce a live model transformation framework, which continuously maintains a transformation context such that model changes to source inputs can be readily identified, and their effects can be incrementally propagated. Our framework builds upon an incremental pattern matcher engine, which keeps track of matches of complex contextual constraints captured in the form of graph patterns. As a result, complex model changes can be treated as elementary change events. Reactions to the changes of match sets are specified by graph transformation rules with a novel transactional execution semantics incorporating both pseudo-parallel and serializable behaviour.

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

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

U2 - 10.1007/978-3-540-69927-9_8

DO - 10.1007/978-3-540-69927-9_8

M3 - Conference contribution

AN - SCOPUS:54249098638

SN - 3540699260

SN - 9783540699262

VL - 5063 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 107

EP - 121

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -