Analysis and Correctness of Algebraic Graph and Model Transformations
| Author | : Ulrike Golas |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 239 |
| Release | : 2011-04-11 |
| ISBN-10 | : 9783834899347 |
| ISBN-13 | : 3834899348 |
| Rating | : 4/5 (47 Downloads) |
Book Synopsis Analysis and Correctness of Algebraic Graph and Model Transformations by : Ulrike Golas
Download or read book Analysis and Correctness of Algebraic Graph and Model Transformations written by Ulrike Golas and published by Springer Science & Business Media. This book was released on 2011-04-11 with total page 239 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
