EbookBell.com

Most ebook files are in PDF format, so you can easily read them using various software such as Foxit Reader or directly on the Google Chrome browser.
Some ebook files are released by publishers in other formats such as .awz, .mobi, .epub, .fb2, etc. You may need to install specific software to read these formats on mobile/PC, such as Calibre.

Please read the tutorial at this link: https://ebookbell.com/faq

We offer FREE conversion to the popular formats you request; however, this may take some time. Therefore, right after payment, please email us, and we will try to provide the service as quickly as possible.

For some exceptional file formats or broken links (if any), please refrain from opening any disputes. Instead, email us first, and we will try to assist within a maximum of 6 hours.

EbookBell Team

Analysis And Correctness Of Algebraic Graph And Model Transformations Ulrike Golas

SKU: BELL-2209560

$ 31.00 ~~$ 45.00~~ (-31%)

0 reviews

Analysis And Correctness Of Algebraic Graph And Model Transformations Ulrike Golas instant download after payment.

Publisher: Vieweg+Teubner

File Extension: PDF

File size: 1.5 MB

Pages: 244

Author: Ulrike Golas

ISBN: 3834814938

Language: English

Year: 2011

Product desciption

Analysis And Correctness Of Algebraic Graph And Model Transformations Ulrike Golas by Ulrike Golas 3834814938 instant download after payment.

Graph and model transformations play a central role for visual modeling and model-driven software development. Within the last decade, a mathematical theory of algebraic graph and model transformations has been developed for modeling, analysis, and to show the correctness of transformations. Ulrike Golas extends this theory 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. The developed methods and results are applied to the non-trivial problem of the specification of syntax and operational semantics for UML statecharts and a model transformation from statecharts to Petri nets preserving the semantics.