Graph Transformations(图形变换/会议录)

This book constitutes the refereed proceedings of the Second International Conference on Graph Transformation, ICGT 2004, held in Rome, Italy, in September/October 2004.
The 26 revised full papers presented together with three invited contributions and summaries of 2 tutorials and 5 workshops were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on integration technology, chemistry and biology, graph transformation concepts, DPO theory for high-level structures, analysis and testing, graph theory and algorithms, application conditions and logic, transformation of special structures, and object-orientation.

Invited Papers
　Improving Flow in Software Development　Through Graphical Representations
　A Perspective on Graphs and Access Control Models
　Transformation Language Design: A Metamodelling Foundation
Integration Technology
　Rule Execution　in Graph-Based Incremental Interactive Integration Tools
　Composition of Relations in Enterprise Architecture Models
　Event-Driven Grammars: Towards the Integration of Meta-modellingand Graph Transformation
Chemistry and Biology
　Analysis of Metabolic Pathways by Graph Transformation
The Potential of a Chemical Graph Transformation System
Graph Transformation Concepts
　Concepts for Specifying Complex Graph Transformation Systems
　Typing of Graph Transformation Units
　Towards Graph Programs for Graph Algorithms
DPO Theory for High-Level Structures
　Adhesive High-Level Replacement Categories and Systems
　Fundamental Theory for Typed Attributed Graph Transformation
　Parallel Independence in Hierarchical Graph Transformation
Analysis and Testing
　Generating Test Cases for Code Generators　by Unfolding Graph Transformation Systems
　Stochastic Graph Transformation Systems
　Model Checking Graph Transformations:　A Comparison of Two Approaches
Graph Theory and Algorithms
　Election, Naming and Cellular Edge Local Computations
　Embedding in Switching Classes with Skew Gains
　Synchronizers for Local Computations
Application Conditions and Logic
　Constraints and Application Conditions:From Graphs to High-Level Structures
……
Transformaton of Special Structures
Tutorials and Workshops
Author Index