Incluye referencias bibliográficas (p. -383) e índice CONTENIDO: General introduction -- Graphs, typed graphs, and the gluing construction -- Graph transformation systems -- Adhesive high-level replacement categories -- Adhesive high-level replacement systems -- Embedding and local confluence -- Constraints and application conditions -- Typed attributed graphs -- Typed attributed graph transformation systems -- Embedding and local confluence for typed AGT systems -- Adhesive HLR categories for typed attributed graphs -- Constraints, application conditions and termination for TAGT systems -- Typed attributed graph transformation with inheritance -- Case study on model transformation -- Implementation of typed attributed graph transformation by AGG -- App. A. A short introduction to category theory -- App. B. A short introduction to signatures and algebras -- App. C. Detailed proofs.