2. ICGT 2004: Rome, Italy

Invited Papers

• Margaret-Anne D. Storey:
  Improving Flow in Software Development Through Graphical Representations. 1
  
• Ravi S. Sandhu:
  A Perspective on Graphs and Access Control Models. 2-12
  
• Tony Clark, Andy Evans, Paul Sammut, James S. Willans:
  Transformation Language Design: A Metamodelling Foundation. 13-21
  

Integration Technology

• Simon M. Becker, Sebastian Lohmann, Bernhard Westfechtel:
  Rule Execution in Graph-Based Incremental Interactive Integration Tools. 22-38
  
• René van Buuren, Henk Jonkers, Maria-Eugenia Iacob, Patrick Strating:
  Composition of Relations in Enterprise Architecture Models. 39-53
  
• Esther Guerra, Juan de Lara:
  Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation. 54-69
  

Chemistry and Biology

• Francesc Rosselló, Gabriel Valiente:
  Analysis of Metabolic Pathways by Graph Transformation. 70-82
  
• Maneesh K. Yadav, Brian P. Kelley, Steven M. Silverman:
  The Potential of a Chemical Graph Transformation System. 83-95
  

Graph Transformation Concepts

• Boris Böhlen, Ulrike Ranger:
  Concepts for Specifying Complex Graph Transformation Systems. 96-111
  
• Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Sabine Kuske:
  Typing of Graph Transformation Units. 112-127
  
• Detlef Plump, Sandra Steinert:
  Towards Graph Programs for Graph Algorithms. 128-143
  

DPO Theory for High-Level Structures

• Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange:
  Adhesive High-Level Replacement Categories and Systems. 144-160
  
• Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer:
  Fundamental Theory for Typed Attributed Graph Transformation. 161-177
  
• Annegret Habel, Berthold Hoffmann:
  Parallel Independence in Hierarchical Graph Transformation. 178-193
  

Analysis and Testing

• Paolo Baldan, Barbara König, Ingo Stürmer:
  Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems. 194-209
  
• Reiko Heckel, Georgios Lajios, Sebastian Menge:
  Stochastic Graph Transformation Systems. 210-225
  
• Arend Rensink, Ákos Schmidt, Dániel Varró:
  Model Checking Graph Transformations: A Comparison of Two Approaches. 226-241
  

Graph Theory and Algorithms

• Jérémie Chalopin, Yves Métivier, Wieslaw Zielonka:
  Election, Naming and Cellular Edge Local Computations. 242-256
  
• Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg:
  Embedding in Switching Classes with Skew Gains. 257-270
  
• Yves Métivier, Mohamed Mosbah, Rodrigue Ossamy, Afif Sellami:
  Synchronizers for Local Computations. 271-286
  

Application Conditions and Logic

• Hartmut Ehrig, Karsten Ehrig, Annegret Habel, Karl-Heinz Pennemann:
  Constraints and Application Conditions: From Graphs to High-Level Structures. 287-303
  
• Alexey Cherchago, Reiko Heckel:
  Specification Matching of Web Services Using Conditional Graph Transformation Rules. 304-318
  
• Arend Rensink:
  Representing First-Order Logic Using Graphs. 319-335
  

Transformation of Special Structures

• Gemma Casas-Garriga, José L. Balcázar:
  Coproduct Transformations on Lattices of Closed Partial Orders. 336-351
  
• Sebastian Seifert, Ingrid Fischer:
  Parsing String Generating Hypergraph Grammars. 352-367
  
• Tanguy Urvoy:
  Composition of Path Transductions. 368-382
  

Object-Orientation

• Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro:
  Translating Java Code to Graph Transformation Systems. 383-398
  
• Niels Van Eetvelde, Dirk Janssens:
  Extending Graph Rewriting for Refactoring. 399-415
  
• Ana Paula Lüdtke Ferreira, Leila Ribeiro:
  Derivations in Object-Oriented Graph Grammars. 416-430
  

Tutorials and Workshops

• Luciano Baresi, Reiko Heckel:
  Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. 431-433
  
• Tero Harju, Ion Petre, Grzegorz Rozenberg:
  Tutorial on DNA Computing and Graph Transformation. 434-436
  
• Maribel Fernández:
  Workshop TERMGRAPH 2004. 437-438
  
• Tom Mens, Andy Schürr, Gabriele Taentzer:
  Workshop on Graph-Based Tools. 439-441
  
• Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg:
  Workshop on Petri Nets and Graph Transformations. 442-444
  
• Reiko Heckel, Tom Mens:
  Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions. 445-447
  
• Bruno Courcelle, David Janin:
  Workshop on Logic, Graph Transformations, Finite and Infinite Structures. 448-450
  

Last update Fri May 25 08:14:42 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page