Analysis And Correctness Of Algebraic Graph And Model Transformations
Download Analysis And Correctness Of Algebraic Graph And Model Transformations PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Analysis And Correctness Of Algebraic Graph And Model Transformations book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Analysis and Correctness of Algebraic Graph and Model Transformations
Author: Ulrike Golas
language: en
Publisher: Springer Science & Business Media
Release Date: 2011-04-11
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 and Model Transformation
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 chapters on M-adhesive categories, M-adhesive transformation systems, and multi-amalgamated transformations, and model transformation based on triple graph grammars. In the final part of the book the authors examine application of the techniques in various domains, including chapters on case studies and tool support. The book will be of interest to researchers and practitioners in the areas of theoretical computer science, software engineering, concurrent and distributed systems, and visual modelling.
Fundamentals of Algebraic Graph Transformation
Author: Hartmut Ehrig
language: en
Publisher: Springer Science & Business Media
Release Date: 2006-05-01
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.