AGTIVE 2007:
Kassel,
Germany
Andy Schürr, Manfred Nagl, Albert Zündorf (Eds.):
Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers.
Lecture Notes in Computer Science 5088 Springer 2008, ISBN 978-3-540-89019-5 BibTeX
Graph Transformation Applications
- Jana Koehler, Thomas Gschwind, Jochen Malte Küster, Cesare Pautasso, Ksenia Ryndina, Jussi Vanhatalo, Hagen Völzer:
Combining Quality Assurance and Model Transformations in Business-Driven Development.
1-16
Electronic Edition (link) BibTeX
- Gregor Engels, Baris Güldali, Christian Soltenborn, Heike Wehrheim:
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts.
17-31
Electronic Edition (link) BibTeX
- Nina Aschenbrenner, Leif Geiger:
Transforming Scene Graphs Using Triple Graph Grammars - A Practice Report.
32-43
Electronic Edition (link) BibTeX
- Pieter De Leenheer, Tom Mens:
Using Graph Transformation to Support Collaborative Ontology Evolution.
44-58
Electronic Edition (link) BibTeX
- Jens H. Weber-Jahnke:
Modelling of Longitudinal Information Systems with Graph Grammars.
59-65
Electronic Edition (link) BibTeX
Meta-modeling and Domain-Specific Language
New Graph Transformation Approaches
Program Transformation Applications
Dynamic System Modeling
Model Driven Software Development Applications
- Carsten Amelunxen, Elodie Legros, Andy Schürr, Ingo Stürmer:
Checking and Enforcement of Modeling Guidelines with Graph Transformations.
313-328
Electronic Edition (link) BibTeX
- Roy Grønmo, Birger Møller-Pedersen:
Aspect Diagrams for UML Activity Models.
329-344
Electronic Edition (link) BibTeX
- Thomas Buchmann, Alexander Dotor, Sabrina Uhrig, Bernhard Westfechtel:
Model-Driven Software Development with Graph Transformations: A Comparative Case Study.
345-360
Electronic Edition (link) BibTeX
- Jörg Bauer, Werner Damm, Tobe Toben, Bernd Westphal:
Verification and Synthesis of OCL Constraints Via Topology Analysis.
361-376
Electronic Edition (link) BibTeX
Queries,
Views,
and Model Transformations
New Pattern Matching and Rewriting Concepts
- Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Benjamin Ness, Feng Shi, Ryan Thibodeaux, Gabor Karsai:
Applying a Grouping Operator in Model Transformations.
410-425
Electronic Edition (link) BibTeX
- Anne-Thérèse Körtgen:
Modeling Successively Connected Repetitive Subgraphs.
426-441
Electronic Edition (link) BibTeX
- Christian Fuss, Verena E. Tuttlies:
Simulating Set-Valued Transformations with Algorithmic Graph Transformation Languages.
442-455
Electronic Edition (link) BibTeX
- Gergely Varró, Ákos Horváth, Dániel Varró:
Recursive Graph Pattern Matching.
456-470
Electronic Edition (link) BibTeX
- Gernot Veit Batz, Moritz Kroll, Rubino Geiß:
A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching.
471-486
Electronic Edition (link) BibTeX
Graph Transformation Tool Contest
- Arend Rensink, Gabriele Taentzer:
AGTIVE 2007 Graph Transformation Tool Contest.
487-492
Electronic Edition (link) BibTeX
- Arend Rensink, Alexander Dotor, Claudia Ermel, Stefan Jurack, Ole Kniemeyer, Juan de Lara, Sonja Maier, Tom Staijen, Albert Zündorf:
Ludo: A Case Study for Graph Transformation Tools.
493-513
Electronic Edition (link) BibTeX
- Gabriele Taentzer, Enrico Biermann, Dénes Bisztray, Bernd Bohnet, Iovka Boneva, Artur Boronat, Leif Geiger, Rubino Geiß, Ákos Horvath, Ole Kniemeyer, Tom Mens, Benjamin Ness, Detlef Plump, Tamás Vajk:
Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools.
514-539
Electronic Edition (link) BibTeX
- Dániel Varró, Márk Asztalos, Dénes Bisztray, Artur Boronat, Duc-Hanh Dang, Rubino Geiß, Joel Greenyer, Pieter Van Gorp, Ole Kniemeyer, Anantha Narayanan, Edgars Rencis, Erhard Weinell:
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools.
540-565
Electronic Edition (link) BibTeX
Graph Transformation Tools
- Enrico Biermann, Karsten Ehrig, Claudia Ermel, Christian Köhler, Gabriele Taentzer:
The EMF Model Transformation Framework.
566-567
Electronic Edition (link) BibTeX
- Rubino Geiß, Moritz Kroll:
GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool.
568-569
Electronic Edition (link) BibTeX
- Ole Kniemeyer, Winfried Kurth:
The Modelling Platform GroIMP and the Programming Language XL.
570-572
Electronic Edition (link) BibTeX
- Carsten Amelunxen, Alexander Königs, Tobias Rötschke, Andy Schürr:
Metamodeling with MOFLON.
573-574
Electronic Edition (link) BibTeX
- Ulrike Ranger, Erhard Weinell:
The Graph Rewriting Language and Environment PROGRES.
575-576
Electronic Edition (link) BibTeX
- Thomas Heer, Daniel Retkowitz, Bodo Kraft:
Algorithm and Tool for Ontology Integration Based on Graph Rewriting.
577-582
Electronic Edition (link) BibTeX
- Enrico Biermann, Karsten Ehrig, Claudia Ermel, Gabriele Taentzer:
Generating Eclipse Editor Plug-Ins Using Tiger.
583-584
Electronic Edition (link) BibTeX
- Martin Gogolla, Fabian Büttner, Duc-Hanh Dang:
From Graph Transformation to OCL Using USE.
585-586
Electronic Edition (link) BibTeX
- Tihamer Levendovszky, László Lengyel, Gergely Mezei, Tamás Mészáros:
Introducing the VMTS Mobile Toolkit.
587-592
Electronic Edition (link) BibTeX
Copyright © Sat May 16 22:57:01 2009
by Michael Ley (ley@uni-trier.de)