Graph and Model Transformation General Framework and Applications /

This book is a comprehensive explanation of graph and model transformation. It contains a detailed introduction, including basic results and applications of the algebraic theory of graph transformations, and references to the historical context. Then in the main part the book contains detailed chapt...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Ehrig, Hartmut (Autor), Ermel, Claudia (Autor), Golas, Ulrike (Autor), Hermann, Frank (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
Edición:1st ed. 2015.
Colección:Monographs in Theoretical Computer Science. An EATCS Series,
Temas:
Computer science.
Software engineering.
Algebra, Homological.
Theory of Computation.
Software Engineering.
Category Theory, Homological Algebra.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • General Introduction
  • Graph Transformation
  • Model Transformation
  • Adhesive and M-adhesive Categories
  • M-adhesive Transformation Systems
  • Multi-amalgamated Transformations
  • Model Transformation and Model Integration
  • Analysis of Model Transformations
  • Model Synchronisation
  • Modelling and Static Analysis of Self-adaptive Systems by Graph Transformation
  • Enterprise Modelling and Model Integration
  • Tool Support
  • App. A, Basic Notions of Category Theory
  • App. B, Proofs and Additional Properties
  • References
  • Index.

Ejemplares similares