Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Difference between revisions of "VIATRA2/ResearchPapers"
< VIATRA2
| (6 intermediate revisions by one other user not shown) | |||
| Line 1: | Line 1: | ||
This page gives a summary of the most important research papers published on VIATRA2. | This page gives a summary of the most important research papers published on VIATRA2. | ||
| − | = The approach = | + | == Foundations == |
| − | + | === The approach === | |
* Csertán-Huszerl-Majzik-Pap-Pataricza-Varró: VIATRA :Visual Automated Transformations for Formal Verification and Validation of UML Models. [http://portal.acm.org/citation.cfm?id=786769.787011 ASE02] | * Csertán-Huszerl-Majzik-Pap-Pataricza-Varró: VIATRA :Visual Automated Transformations for Formal Verification and Validation of UML Models. [http://portal.acm.org/citation.cfm?id=786769.787011 ASE02] | ||
* 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] | * 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 === |
| − | + | ||
* Balogh-Varró: Advanced model transformation language constructs in the VIATRA2 framework. [http://doi.acm.org/10.1145/1141277.1141575 SAC2006] | * Balogh-Varró: Advanced model transformation language constructs in the VIATRA2 framework. [http://doi.acm.org/10.1145/1141277.1141575 SAC2006] | ||
* Varró-Balogh: The model transformation language of the VIATRA2 framework. [http://dx.doi.org/10.1016/j.scico.2007.05.004 SCP2007] | * Varró-Balogh: The model transformation language of the VIATRA2 framework. [http://dx.doi.org/10.1016/j.scico.2007.05.004 SCP2007] | ||
| − | = Local search-based pattern matching = | + | == Research topics == |
| − | + | === Local search-based pattern matching === | |
* Horváth-Varró-Varró: Generic search plans for matching advanced graph patterns. [http://www.cs.le.ac.uk/events/GTVMT07/GT-VMT07PreProceedings.pdf#page=62 GTVMT07] | * Horváth-Varró-Varró: Generic search plans for matching advanced graph patterns. [http://www.cs.le.ac.uk/events/GTVMT07/GT-VMT07PreProceedings.pdf#page=62 GTVMT07] | ||
* Varró-Horváth-Varró: Recursive Graph Pattern Matching With Magic Sets and Global Search Plans. [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.9264 AGTIVE07] | * Varró-Horváth-Varró: Recursive Graph Pattern Matching With Magic Sets and Global Search Plans. [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.9264 AGTIVE07] | ||
| − | = Incremental pattern matching = | + | === Incremental pattern matching === |
| − | + | ||
* Varró-Varró-Schürr: Incremental Graph Pattern Matching: Data Structures and Initial Experiments. [http://en.scientificcommons.org/43487685 Gramot06] | * Varró-Varró-Schürr: Incremental Graph Pattern Matching: Data Structures and Initial Experiments. [http://en.scientificcommons.org/43487685 Gramot06] | ||
* Bergmann-Ökrös-Ráth-Varró-Varró: Incremental pattern matching in the VIATRA model transformation system. [http://doi.acm.org/10.1145/1402947.1402953 Gramot08] | * Bergmann-Ökrös-Ráth-Varró-Varró: Incremental pattern matching in the VIATRA model transformation system. [http://doi.acm.org/10.1145/1402947.1402953 Gramot08] | ||
* 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] | ||
| − | * Bergmann-Horváth-Ráth-Varró-Balogh-Balogh-Ökrös: Incremental evaluation of queries over EMF models. [http:// | + | * Bergmann-Horváth-Ráth-Varró-Balogh-Balogh-Ökrös: Incremental evaluation of queries over EMF models. [http://www.springerlink.com/content/x01147805322p021/ MODELS10] |
| − | + | ||
| − | + | ||
| + | === Hybrid pattern matching === | ||
* Bergmann-Horváth-Ráth-Varró: Efficient Model Transformations by Combining Pattern Matching Strategies. [http://www.springerlink.com/content/k74ntr720g402442/ ICMT2009] | * Bergmann-Horváth-Ráth-Varró: Efficient Model Transformations by Combining Pattern Matching Strategies. [http://www.springerlink.com/content/k74ntr720g402442/ ICMT2009] | ||
| − | = Event-driven transformations = | + | === Event-driven transformations === |
| − | + | ||
* Ráth-Bergmann-Ökrös-Varró: Live model transformations driven by incremental pattern matching. [http://www.springerlink.com/content/g43052uj0p27428v/ ICMT2008] | * Ráth-Bergmann-Ökrös-Varró: Live model transformations driven by incremental pattern matching. [http://www.springerlink.com/content/g43052uj0p27428v/ ICMT2008] | ||
* 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 = | + | === Constraint satisfaction over models === |
| − | + | ||
* Horváth-Varró: CSP(M): constraint satisfaction problems over models. [http://www.springerlink.com/content/x07867557203592m/ MODELS09] | * Horváth-Varró: CSP(M): constraint satisfaction problems over models. [http://www.springerlink.com/content/x07867557203592m/ MODELS09] | ||
| − | = Applications in domain-specific modeling languages = | + | === Applications in domain-specific modeling languages === |
| − | + | ||
* Ráth-Vágó-Varró: Design-time simulation of domain-specific models by incremental pattern matching. [http://dx.doi.org/10.1109/VLHCC.2008.4639089 VLHCC08] | * Ráth-Vágó-Varró: Design-time simulation of domain-specific models by incremental pattern matching. [http://dx.doi.org/10.1109/VLHCC.2008.4639089 VLHCC08] | ||
* 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] | ||
| − | = | + | === 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] | ||
| + | |||
| + | == Case studies, applications == | ||
| + | |||
| + | * Gönczy et al: Modeling and Verification of Reliable Messaging by Graph Transformation Systems [http://dx.doi.org/10.1016/j.entcs.2007.04.015 ENTCS07] | ||
| + | * Kovács-Gönczy-Varró: Formal analysis of BPEL workflows with compensation by model checking. In: International Journal of Computer Systems and Engineering, 2008. [http://www.inf.mit.bme.hu/en/research/publications/formal-analysis-bpel-workflows-compensation-model-checking ref] | ||
| + | * Gönczy et al: Model Transformations for Performability Analysis of Service Configurations. [http://dx.doi.org/10.1007/978-3-642-01648-6_17 MODELS08] | ||
| + | * Gönczy-Majzik-Horváth-Varró-Balogh-Micskei-Pataricza: Tool Support for Engineering Certifiable Software. [http://dx.doi.org/10.1016/j.entcs.2009.09.008 ENTCS08] | ||
| + | * Boronat et al: Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing. Chapter "Advances in model transformation by graph transformations: Specification, Analysis and Execution" [http://www.inf.mit.bme.hu/en/research/publications/rigorous-software-engineering-service-oriented-systems-results-sensoria-projec SENSORIABOOK] | ||
| + | * Torrini-Heckel-Ráth: Stochastic simulation of graph transformation systems. [http://www.springerlink.com/content/a6364p72w61147ht/ FASE10] | ||
| + | * Hegedüs-Bergmann-Ráth-Varró: Back-annotation of Simulation Traces with Change-Driven Model Transformations. [http://home.mit.bme.hu/~hegedusa/assets/publ/sefm10_back-annotation.pdf SEFM10] | ||
| + | * Hegedüs-Bergmann-Ujhelyi-Horváth: Ecore to Genmodel case study solution using the VIATRA2 framework. [http://is.ieis.tue.nl/staff/pvgorp/events/TTC2010/submissions/final/viatra.pdf GRABATS10] | ||
| + | == Benchmarking == | ||
* Varró-Schürr-Varró: Benchmarking for graph transformation. [http://portal.acm.org/citation.cfm?id=1092380 VLHCC05] | * Varró-Schürr-Varró: Benchmarking for graph transformation. [http://portal.acm.org/citation.cfm?id=1092380 VLHCC05] | ||
* Bergmann-Horváth-Ráth-Varró: A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation. [http://www.springerlink.com/content/t26620q0w6047t86/ ICGT2008] | * Bergmann-Horváth-Ráth-Varró: A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation. [http://www.springerlink.com/content/t26620q0w6047t86/ ICGT2008] | ||
* Horváth-Bergmann-Ráth-Varró: Experimental assessment of combining pattern matching strategies with VIATRA2. [http://www.springerlink.com/content/g0107r84815rq440/ STTT09] | * Horváth-Bergmann-Ráth-Varró: Experimental assessment of combining pattern matching strategies with VIATRA2. [http://www.springerlink.com/content/g0107r84815rq440/ STTT09] | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
= Publications of VIATRA2 team members by author = | = Publications of VIATRA2 team members by author = | ||
| + | For a more detailed and complete list of publications, visit the publication pages of team members. | ||
| − | * Dániel Varró | + | * Dániel Varró: [http://www.inf.mit.bme.hu/en/biblio/author/444 publications] [http://mit.bme.hu/~varro/bib2html/index.html more publications] |
| − | * András Balogh | + | * András Balogh: [http://www.inf.mit.bme.hu/en/biblio/author/116 publications] [http://mycite.omikk.bme.hu/search/slist.php?lang=1&kozid=BME-JMUN25 more publications] |
| − | * Gábor Bergmann | + | * Gábor Bergmann: [http://www.inf.mit.bme.hu/en/biblio/author/5 publications] [http://mycite.omikk.bme.hu/search/slist.php?inited=1&co_on=1&ty_on=1&la_on=&if_on=1&st_on=&url_on=1&cite_type=2&orderby=-7&Scientific=1&top10=&lang=1&location=bme&debug=&stn=1&AuthorID=10005039&DocumentID= more publications] |
| − | * Ábel Hegedüs | + | * Ábel Hegedüs: [http://www.inf.mit.bme.hu/en/biblio/author/4 publications] |
| − | * Ákos Horváth | + | * Ákos Horváth: [http://www.inf.mit.bme.hu/en/biblio/author/212 publications] |
| − | * István Ráth | + | * István Ráth: [http://www.inf.mit.bme.hu/en/biblio/author/215 publications] [http://mit.bme.hu/~rath home page] |
| − | * Zoltán Ujhelyi | + | * Zoltán Ujhelyi: [http://www.inf.mit.bme.hu/en/biblio/author/1 publications] [http://mit.bme.hu/~ujhelyiz/pub/publist.html home page] |
| − | * Gergely Varró | + | * Gergely Varró: [http://www.inf.mit.bme.hu/en/biblio/author/22 publications] [http://cs.bme.hu/~gervarro/publication/index.html.en home page] |
Latest revision as of 06:49, 9 January 2014
This page gives a summary of the most important research papers published on VIATRA2.
Contents
Foundations
The approach
- Csertán-Huszerl-Majzik-Pap-Pataricza-Varró: VIATRA :Visual Automated Transformations for Formal Verification and Validation of UML Models. ASE02
- 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
Research topics
Local search-based pattern matching
- Horváth-Varró-Varró: Generic search plans for matching advanced graph patterns. GTVMT07
- Varró-Horváth-Varró: Recursive Graph Pattern Matching With Magic Sets and Global Search Plans. AGTIVE07
Incremental pattern matching
- Varró-Varró-Schürr: Incremental Graph Pattern Matching: Data Structures and Initial Experiments. Gramot06
- 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
- Bergmann-Horváth-Ráth-Varró-Balogh-Balogh-Ökrös: Incremental evaluation of queries over EMF models. MODELS10
Hybrid pattern matching
- Bergmann-Horváth-Ráth-Varró: Efficient Model Transformations by Combining Pattern Matching Strategies. ICMT2009
Event-driven transformations
- Ráth-Bergmann-Ökrös-Varró: Live model transformations driven by incremental pattern matching. ICMT2008
- Ráth-Varró-Varró: Change-driven model transformations. MODELS09
Constraint satisfaction over models
- Horváth-Varró: CSP(M): constraint satisfaction problems over models. MODELS09
Applications in domain-specific modeling languages
- Ráth-Vágó-Varró: Design-time simulation of domain-specific models by incremental pattern matching. VLHCC08
- Ráth-Ökrös-Varró: Synchronization of abstract and concrete syntax in domain-specific modeling languages. SOSYM09
Model transformation by example
- Varró: Model transformation by example. MODELS06
- Balogh-Varró: Model transformation by example using inductive logic programming. SOSYM08
Case studies, applications
- Gönczy et al: Modeling and Verification of Reliable Messaging by Graph Transformation Systems ENTCS07
- Kovács-Gönczy-Varró: Formal analysis of BPEL workflows with compensation by model checking. In: International Journal of Computer Systems and Engineering, 2008. ref
- Gönczy et al: Model Transformations for Performability Analysis of Service Configurations. MODELS08
- Gönczy-Majzik-Horváth-Varró-Balogh-Micskei-Pataricza: Tool Support for Engineering Certifiable Software. ENTCS08
- Boronat et al: Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing. Chapter "Advances in model transformation by graph transformations: Specification, Analysis and Execution" SENSORIABOOK
- Torrini-Heckel-Ráth: Stochastic simulation of graph transformation systems. FASE10
- Hegedüs-Bergmann-Ráth-Varró: Back-annotation of Simulation Traces with Change-Driven Model Transformations. SEFM10
- Hegedüs-Bergmann-Ujhelyi-Horváth: Ecore to Genmodel case study solution using the VIATRA2 framework. GRABATS10
Benchmarking
- Varró-Schürr-Varró: Benchmarking for graph transformation. VLHCC05
- 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
Publications of VIATRA2 team members by author
For a more detailed and complete list of publications, visit the publication pages of team members.
- Dániel Varró: publications more publications
- András Balogh: publications more publications
- Gábor Bergmann: publications more publications
- Ábel Hegedüs: publications
- Ákos Horváth: publications
- István Ráth: publications home page
- Zoltán Ujhelyi: publications home page
- Gergely Varró: publications home page