Skip to main content

Notice: This Wiki is now read only and edits are no longer possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.

Jump to: navigation, search

Difference between revisions of "VIATRA2/ResearchPapers"

Line 3: Line 3:
 
= Modeling approach =
 
= Modeling approach =
  
* SOSYM03
+
* Varró-Pataricza: VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics). [http://www.springerlink.com/content/5ga7wtjnmwnje86d/ SOSYM03]
  
 
= Transformation language =
 
= Transformation language =
Line 15: Line 15:
 
* Bergmann-Ráth-Varró: Parallelization of graph transformation based on incremental pattern matching [http://scholar.google.com/scholar?cluster=3615770687958676388 GTVMT09]
 
* Bergmann-Ráth-Varró: Parallelization of graph transformation based on incremental pattern matching [http://scholar.google.com/scholar?cluster=3615770687958676388 GTVMT09]
 
* [http://www.springerlink.com/content/k74ntr720g402442/ ICMT2009]
 
* [http://www.springerlink.com/content/k74ntr720g402442/ ICMT2009]
* Horváth-Varró: CSP(M): constraint satisfaction problems over models. [http://www.springerlink.com/content/x07867557203592m/ MODELS09]
+
* Bergmann-Horváth-Ráth-Varró-Balogh-Balogh-Ökrös: Incremental evaluation of queries over EMF models. [http://home.mit.bme.hu/~rath/pub/conf/beta/models10-submitted.pdf MODELS10]
* MODELS10
+
  
 
= Event-driven transformations =
 
= Event-driven transformations =
Line 23: Line 22:
 
* Ráth-Ökrös-Varró: Synchronization of abstract and concrete syntax in domain-specific modeling languages. [http://www.springerlink.com/content/j131n75t221r3lx4/ SOSYM09]  
 
* Ráth-Ökrös-Varró: Synchronization of abstract and concrete syntax in domain-specific modeling languages. [http://www.springerlink.com/content/j131n75t221r3lx4/ SOSYM09]  
 
* Ráth-Varró-Varró: Change-driven model transformations. [http://www.springerlink.com/content/n60j0r8m14506183/ MODELS09]
 
* Ráth-Varró-Varró: Change-driven model transformations. [http://www.springerlink.com/content/n60j0r8m14506183/ MODELS09]
 +
 +
= Constraint satisfaction over models =
 +
 +
* Horváth-Varró: CSP(M): constraint satisfaction problems over models. [http://www.springerlink.com/content/x07867557203592m/ MODELS09]
  
 
= Benchmarking =
 
= Benchmarking =
Line 31: Line 34:
 
= Model transformation by example =
 
= Model transformation by example =
  
*  
+
* Varró: Model transformation by example. [http://www.springerlink.com/content/a34jhvh4j01l7514/ MODELS06]
 +
* Balogh-Varró:  Model transformation by example using inductive logic programming. [http://www.springerlink.com/content/tr584564787k23t1/ SOSYM08]
  
 
= Publications of VIATRA2 team members by author =
 
= Publications of VIATRA2 team members by author =

Revision as of 16:48, 18 September 2010

This page gives a summary of the most important research papers published on VIATRA2.

Modeling approach

  • Varró-Pataricza: VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics). SOSYM03

Transformation language

  • Balogh-Varró: Advanced model transformation language constructs in the VIATRA2 framework. SAC2006
  • Varró-Balogh: The model transformation language of the VIATRA2 framework. SCP2007

Incremental Pattern Matching

  • Bergmann-Ökrös-Ráth-Varró-Varró: Incremental pattern matching in the VIATRA model transformation system. Gramot08
  • Bergmann-Ráth-Varró: Parallelization of graph transformation based on incremental pattern matching GTVMT09
  • ICMT2009
  • Bergmann-Horváth-Ráth-Varró-Balogh-Balogh-Ökrös: Incremental evaluation of queries over EMF models. MODELS10

Event-driven transformations

  • Ráth-Bergmann-Ökrös-Varró: Live model transformations driven by incremental pattern matching. ICMT2008
  • Ráth-Ökrös-Varró: Synchronization of abstract and concrete syntax in domain-specific modeling languages. SOSYM09
  • Ráth-Varró-Varró: Change-driven model transformations. MODELS09

Constraint satisfaction over models

  • Horváth-Varró: CSP(M): constraint satisfaction problems over models. MODELS09

Benchmarking

  • Bergmann-Horváth-Ráth-Varró: A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation. ICGT2008
  • Horváth-Bergmann-Ráth-Varró: Experimental assessment of combining pattern matching strategies with VIATRA2. STTT09

Model transformation by example

  • Varró: Model transformation by example. MODELS06
  • Balogh-Varró: Model transformation by example using inductive logic programming. SOSYM08

Publications of VIATRA2 team members by author

  • Dániel Varró
  • András Balogh
  • Gábor Bergmann
  • Ábel Hegedüs
  • Ákos Horváth
  • István Ráth
  • Zoltán Ujhelyi
  • Gergely Varró

Back to the top