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.
Difference between revisions of "VIATRA2/ResearchPapers"
< VIATRA2
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ó: | + | * 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] |
− | + | ||
= 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.
Contents
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ó