Fundamentals of Algebraic Graph Transformation
Fundamentals of Algebraic Graph Transformation

Author: Hartmut Ehrig

Publisher: Springer Science & Business Media

Published: 2006-05-01

Total Pages: 383

ISBN-13: 3540311882

DOWNLOAD EBOOK

This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. It contains an introduction to classical graphs. Basic and advanced results are first shown for an abstract form of replacement systems and are then instantiated to several forms of graph and Petri net transformation systems. The book develops typed attributed graph transformation and contains a practical case study.

Analysis and Correctness of Algebraic Graph and Model Transformations
Analysis and Correctness of Algebraic Graph and Model Transformations

Author: Ulrike Golas

Publisher: Springer Science & Business Media

Published: 2011-04-11

Total Pages: 239

ISBN-13: 3834899348

DOWNLOAD EBOOK

Ulrike Golas extends a mathematical theory of algebraic graph and model transformations for more sophisticated applications like the specification of syntax, semantics, and model transformations of complex models. Based on M-adhesive transformation systems, model transformations are successfully analyzed regarding syntactical correctness, completeness, functional behavior, and semantical simulation and correctness.

Graph Transformation, Specifications, and Nets
Graph Transformation, Specifications, and Nets

Author: Reiko Heckel

Publisher: Springer

Published: 2018-02-06

Total Pages: 343

ISBN-13: 3319753967

DOWNLOAD EBOOK

This volume pays tribute to the scientific achievements of Hartmut Ehrig, who passed away in March 2016. The contributions represent a selection from a symposium, held in October 2016 at TU Berlin, commemorating Hartmut’ s life and work as well as other invited papers in the areas he was active in. These areas include Graph Transformation, Model Transformation, Concurrency Theory, in particular Petri Nets, Algebraic Specification, and Category Theory in Computer Science.

Graph Transformations
Graph Transformations

Author: Hartmut Ehrig

Publisher: Springer Science & Business Media

Published: 2004-09-17

Total Pages: 462

ISBN-13: 3540232079

DOWNLOAD EBOOK

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.

Graph Transformations
Graph Transformations

Author: Hartmut Ehrig

Publisher: Springer Science & Business Media

Published: 2010-09-27

Total Pages: 431

ISBN-13: 3642159273

DOWNLOAD EBOOK

This book constitutes the proceedings of the 5th International Conference on Graph Transformations, ICGT 2010, held in Twente, The Netherlands, in September/October 2010. The 22 papers presented were carefully reviewed and selected from 48 submissions. These papers mirror the wide-ranged ongoing research activities in the theory and application of graph transformation. They are concerned with different kinds of graph transformation approaches, their algebraic foundations, composition and analysis, the relation to logic, as well as various applications, mainly to model transformation and distributed systems.