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.

• Format: Paperback
• Language: English
• ISBN: 3834814938
• ISBN13: 9783834814937
• Release Date: January 2011
• Publisher: Vieweg+teubner Verlag
• Length: 226 Pages
• Weight: 0.65 lbs.
• Dimensions: 0.5" x 5.8" x 8.3"