| Invited Papers |
| Improving Flow in Software Development Through Graphical Representations / Margaret-Anne D. Storey |
| A Perspective on Graphs and Access Control Models / Ravi Sandhu |
| Transformation Language Design: A Metamodelling Foundation / Tony Clark ; Andy Evans ; Paul Sammut ; James Willans |
| Integration Technology |
| Rule Execution in Graph-Based Incremental Interactive Integration Tools / Simon M. Becker ; Sebastian Lohmann ; Bernhard Westfechtel |
| Composition of Relations in Enterprise Architecture Models / René van Buuren ; Henk Jonkers ; Maria-Eugenia Jacob ; Patrick Strating |
| Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation / Esther Guerra ; Juan de Lara |
| Chemistry and Biology |
| Analysis of Metabolic Pathways by Graph Transformation / Francesc Rosselló ; Gabriel Valiente |
| The Potential of a Chemical Graph Transformation System / Maneesh K.Yadav ; Brian P. Kelley ; Steven M. Silverman |
| Graph Transformation Concepts |
| Concepts for Specifying Complex Graph Transformation Systems / Boris Böhlen ; Ulrike Ranger |
| Typing of Graph Transformation Units / Renate Klempien-Hinrichs ; Hans-Jörg Kreowski ; Sabine Kuske |
| Towards Graph Programs for Graph Algorithms / Detlef Plump ; Sandra Steinert |
| DPO Theory for High-Level Structures |
| Adhesive High-Level Replacement Categories and Systems / Hartmut Ehrig ; Annegret Habel ; Julia Padberg ; Ulrike Prange |
| Fundamental Theory for Typed Attributed Graph Transformation / Gabriele Taentzer |
| Parallel Independence in Hierarchical Graph Transformation / Berthold Hoffmann |
| Analysis and Testing |
| Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems / Paolo Baldan ; Barbara König ; Ingo Stürmer |
| Stochastic Graph Transformation Systems / Reiko Heckel ; Georgios Lajios ; Sebastian Menge |
| Model Checking Graph Transformations: A Comparison of Two Approaches / Arend Rensink ; Ákos Schmidt ; Dániel Varró |
| Graph Theory and Algorithms |
| Election, Naming and Cellular Edge Local Computations / Jérémie Chalopin ; Yves Métivier ; Wiesław Zielonka |
| Embedding in Switching Classes with Skew Gains / Andrzej Ehrenfeucht ; Jurriaan Hage ; Tero Harju ; Grzegorz Rozenberg |
| Synchronizers for Local Computations / Mohamed Mosbah ; Rodrigue Ossamy ; Afif Sellami |
| Application Conditions and Logic |
| Constraints and Application Conditions: From Graphs to High-Level Structures / Karsten Ehrig ; Karl-Heinz Pennemann |
| Specification Matching of Web Services Using Conditional Graph Transformation Rules / Alexey Cherchago |
| Representing First-Order Logic Using Graphs |
| Transformation of Special Structures |
| Coproduct Transformations on Lattices of Closed Partial Orders / Gemma Casas-Garriga ; José L. Balcázar |
| Parsing String Generating Hypergraph Grammars / Sebastian Seifert ; Ingrid Fischer |
| Composition of Path Transductions / Tanguy Urvoy |
| Object-Orientation |
| Translating Java Code to Graph Transformation Systems / Andrea Corradini ; Fernando Luís Dotti ; Luciana Foss ; Leila Ribeiro |
| Extending Graph Rewriting for Refactoring / Niels Van Eetvelde ; Dirk Janssens |
| Derivations in Object-Oriented Graph Grammars / Ana Paula Löudtke Ferreira |
| Tutorials and Workshops |
| Tutorial Introduction to Graph Transformation: A Software Engineering Perspective / Luciano Baresi |
| Tutorial on DNA Computing and Graph Transformation / Ion Petre |
| Workshop TERMGRAPH 2004 / Maribel Fernández |
| Workshop on Graph-Based Tools / Tom Mens ; Andy Schöurr |
| Workshop on Petri Nets and Graph Transformations |
| Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions |
| Workshop on Logic, Graph Transformations, Finite and Infinite Structures / Bruno Courcelle ; David Janin |
| Author Index |
| Invited Papers |
| Improving Flow in Software Development Through Graphical Representations / Margaret-Anne D. Storey |
| A Perspective on Graphs and Access Control Models / Ravi Sandhu |
図書
