Ulrike Golas's Books

Graph and Model Transformation

General Framework and Applications

By: Hartmut Ehrig,Claudia Ermel,Ulrike Golas,Frank Hermann

Write a review Read reviews Take a Quiz Solve Book Puzzle

Graph and Model Transformation

General Framework and Applications

By: Hartmut Ehrig,Claudia Ermel,Ulrike Golas,Frank Hermann

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.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

468

Publisher

Springer

Published Date

ISBN 10

366247980X

ISBN 13

9783662479803

Analysis and Correctness of Algebraic Graph and Model Transformations

By: Ulrike Golas

Write a review Read reviews Take a Quiz Solve Book Puzzle

Analysis and Correctness of Algebraic Graph and Model Transformations

By: Ulrike Golas

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.

Average ratings

N/A