Analysis and correctness of algebraic graph and model transformations [electronic resource] / Ulrike Golas ; with a foreword by Hartmut Ehrig.
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...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Main Author: | |
| Format: | Thesis Electronic eBook |
| Language: | English |
| Published: |
Wiesbaden :
Vieweg+Teubner Verlag,
©2011.
|
| Subjects: |
MARC
| LEADER | 00000cam a2200000xa 4500 | ||
|---|---|---|---|
| 001 | b6666635 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 110602s2011 gw obm 001 0 eng d | ||
| 005 | 20240418143953.9 | ||
| 019 | |a 771402007 |a 771402009 |a 857263763 |a 883876518 | ||
| 020 | |a 9783834899347 |q (electronic bk.) | ||
| 020 | |a 3834899348 |q (electronic bk.) | ||
| 024 | 7 | |a 10.1007/978-3-8348-9934-7 | |
| 035 | |a (OCoLC)spr728100134 | ||
| 035 | |a (OCoLC)728100134 |z (OCoLC)771402007 |z (OCoLC)771402009 |z (OCoLC)857263763 |z (OCoLC)883876518 | ||
| 037 | |a spr10.1007/978-3-8348-9934-7 | ||
| 040 | |a GW5XE |b eng |e pn |c GW5XE |d OCLCQ |d FHM |d YBM |d EBLCP |d OCLCQ |d MEAUC |d OCLCO |d OCLCF |d DEBSZ |d BEDGE |d OCLCQ |d COO |d YDXCP |d IDEBK |d VT2 |d UX0 |d OCLCQ | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a QA601 |b .G65 2011 | |
| 100 | 1 | |a Golas, Ulrike, |d 1980- |0 http://id.loc.gov/authorities/names/no2011116481 |1 http://isni.org/isni/0000000121539660. | |
| 245 | 1 | 0 | |a Analysis and correctness of algebraic graph and model transformations |h [electronic resource] / |c Ulrike Golas ; with a foreword by Hartmut Ehrig. |
| 260 | |a Wiesbaden : |b Vieweg+Teubner Verlag, |c ©2011. | ||
| 300 | |a 1 online resource (xvi, 226 pages) | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 347 | |a text file |b PDF |2 rda. | ||
| 502 | |c Technische Universität Berlin |d 2010. | ||
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a Introduction to Graph and Model Transformation, and Related Work -- M-Adhesive Transformation Systems -- Amalgamated Transformations -- Model Transformation Based on Triple Graph Transformation -- Analysis, Correctness, and Construction of Model Transformations. | |
| 520 | |a 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. | ||
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Transformations (Mathematics) |0 http://id.loc.gov/authorities/subjects/sh85136920. | |
| 650 | 0 | |a Graph theory. |0 http://id.loc.gov/authorities/subjects/sh85056471. | |
| 650 | 7 | |a Graph theory. |2 fast |0 (OCoLC)fst00946584. | |
| 650 | 7 | |a Transformations (Mathematics) |2 fast |0 (OCoLC)fst01154653. | |
| 776 | 0 | 8 | |i Printed edition: |z 9783834814937. |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-8348-9934-7 |z Full Text (via Springer) |
| 907 | |a .b66666351 |b 03-20-20 |c 06-30-11 | ||
| 998 | |a web |b 05-01-17 |c g |d b |e - |f eng |g gw |h 0 |i 1 | ||
| 907 | |a .b66666351 |b 07-02-19 |c 06-30-11 | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 907 | |a .b66666351 |b 07-06-17 |c 06-30-11 | ||
| 907 | |a .b66666351 |b 05-23-17 |c 06-30-11 | ||
| 915 | |a I | ||
| 956 | |a Springer e-books | ||
| 956 | |b Springer Nature - Springer Computer Science eBooks 2011 English International | ||
| 956 | |b Springer Nature - Springer Computer Science eBooks 2011 English International | ||
| 956 | |b Springer Nature - Springer Computer Science eBooks 2011 English International | ||
| 999 | f | f | |i e7216dcf-59ed-57a9-83b8-f11832276ac2 |s 0f615009-b64c-5bcb-8d7f-696fea1c5051 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e QA601 .G65 2011 |h Library of Congress classification |i Ebooks, Prospector |n 1 |