Graph Transformations

Second International Conference, ICGT 2004, Rome, Italy, September 28–October 1, 2004. Proceedings

ISBN: 978-3-540-23207-0 (Print) 978-3-540-30203-2 (Online)

Table of contents (36 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Invited Papers

    1. No Access

      Book Chapter

      Pages 1-1

      Improving Flow in Software Development Through Graphical Representations

    2. No Access

      Book Chapter

      Pages 2-12

      A Perspective on Graphs and Access Control Models

    3. No Access

      Book Chapter

      Pages 13-21

      Transformation Language Design: A Metamodelling Foundation

  3. Integration Technology

    1. No Access

      Book Chapter

      Pages 22-38

      Rule Execution in Graph-Based Incremental Interactive Integration Tools

    2. No Access

      Book Chapter

      Pages 39-53

      Composition of Relations in Enterprise Architecture Models

    3. No Access

      Book Chapter

      Pages 54-69

      Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation

  4. Chemistry and Biology

    1. No Access

      Book Chapter

      Pages 70-82

      Analysis of Metabolic Pathways by Graph Transformation

    2. No Access

      Book Chapter

      Pages 83-95

      The Potential of a Chemical Graph Transformation System

  5. Graph Transformation Concepts

    1. No Access

      Book Chapter

      Pages 96-111

      Concepts for Specifying Complex Graph Transformation Systems

    2. No Access

      Book Chapter

      Pages 112-127

      Typing of Graph Transformation Units

    3. No Access

      Book Chapter

      Pages 128-143

      Towards Graph Programs for Graph Algorithms

  6. DPO Theory for High-Level Structures

    1. No Access

      Book Chapter

      Pages 144-160

      Adhesive High-Level Replacement Categories and Systems

    2. No Access

      Book Chapter

      Pages 161-177

      Fundamental Theory for Typed Attributed Graph Transformation

    3. No Access

      Book Chapter

      Pages 178-193

      Parallel Independence in Hierarchical Graph Transformation

  7. Analysis and Testing

    1. No Access

      Book Chapter

      Pages 194-209

      Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems

    2. No Access

      Book Chapter

      Pages 210-225

      Stochastic Graph Transformation Systems

    3. No Access

      Book Chapter

      Pages 226-241

      Model Checking Graph Transformations: A Comparison of Two Approaches

  8. Graph Theory and Algorithms

    1. No Access

      Book Chapter

      Pages 242-256

      Election, Naming and Cellular Edge Local Computations

    2. No Access

      Book Chapter

      Pages 257-270

      Embedding in Switching Classes with Skew Gains

    3. No Access

      Book Chapter

      Pages 271-286

      Synchronizers for Local Computations

previous Page of 2