TY - JOUR A1 - Golas, Ulrike A1 - Biermann, E. A1 - Ehrig, Hartmut A1 - Ermel, Claudia T1 - A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation JF - ECEASST Y1 - 2011 UR - http://journal.ub.tu-berlin.de/eceasst/article/view/645 VL - 39 SP - 1 EP - 24 ER - TY - JOUR A1 - Golas, Ulrike A1 - Ehrig, Hartmut A1 - Hermann, Frank T1 - Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions JF - ECEASST Y1 - 2011 UR - http://journal.ub.tu-berlin.de/eceasst/article/view/646 VL - 39 SP - 1 EP - 26 ER - TY - JOUR A1 - Golas, Ulrike A1 - Hoffmann, Kathrin A1 - Ehrig, Hartmut A1 - Rein, A. A1 - Padberg, J. T1 - Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks JF - ECEASST Y1 - 2011 UR - http://journal.ub.tu-berlin.de/eceasst/article/view/631 VL - 40 SP - 1 EP - 20 ER - TY - JOUR A1 - Ehrig, Hartmut A1 - Golas, Ulrike A1 - Habel, A. A1 - Lambers, L. A1 - Orejas, Fernando T1 - M-Adhesive Transformation Systems with Nested Application Conditions. Part 2 JF - Fundamenta Informaticae Y1 - 2012 U6 - https://doi.org/10.3233/FI-2012-705 VL - 118 IS - 1-2 SP - 35 EP - 63 ER - TY - JOUR A1 - Golas, Ulrike A1 - Lambers, L. A1 - Ehrig, Hartmut A1 - Orejas, Fernando T1 - Attributed Graph Transformation with Inheritance JF - Theoretical Computer Science Y1 - 2012 U6 - https://doi.org/10.1016/j.tcs.2012.01.032 VL - 424 SP - 46 EP - 68 ER - TY - CHAP A1 - Golas, Ulrike A1 - Lambers, L. A1 - Ehrig, Hartmut A1 - Giese, H. ED - Ehrig, Hartmut ED - Engels, G. ED - Kreowski, H.-J. ED - Rozenberg, G. T1 - Towards Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements T2 - Proceedings of ICGT 2012 Y1 - 2012 U6 - https://doi.org/10.1007/978-3-642-33654-6_10 VL - 7562 SP - 141 EP - 155 PB - Springer ER - TY - CHAP A1 - Heckel, R. A1 - Ehrig, Hartmut A1 - Golas, Ulrike A1 - Hermann, Frank ED - Ehrig, Hartmut ED - Engels, G. ED - Kreowski, H.-J. ED - Rozenberg, G. T1 - Parallelism and Concurrency of Stochastic Graph Transformations T2 - Proceedings of ICGT 2012 Y1 - 2012 U6 - https://doi.org/10.1007/978-3-642-33654-6_7 VL - 7562 SP - 96 EP - 110 PB - Springer ER - TY - JOUR A1 - Golas, Ulrike A1 - Habel, A. A1 - Ehrig, Hartmut T1 - Multi-Amalgamation of Rules with Application Conditions in M-Adhesive Categories JF - Mathematical Structures in Computer Science Y1 - 2014 U6 - https://doi.org/10.1017/S0960129512000345 VL - 24 IS - 4 SP - 1 EP - 68 ER - TY - JOUR A1 - Hermann, Frank A1 - Ehrig, Hartmut A1 - Golas, Ulrike A1 - Orejas, Fernando T1 - Formal Analysis of Model Transformations Based on Triple Graph Grammars JF - Mathematical Structures in Computer Science Y1 - 2014 U6 - https://doi.org/10.1017/S0960129512000370 VL - 24 IS - 4 SP - 1 EP - 57 ER - TY - JOUR A1 - Ehrig, Hartmut A1 - Golas, Ulrike A1 - Habel, A. A1 - Lambers, L. A1 - Orejas, Fernando T1 - M-Adhesive Transformation Systems with Nested Application Conditions. Part 1: Parallelism, Concurreny and Amalgamation JF - Mathematical Structures in Computer Science Y1 - 2014 U6 - https://doi.org/10.1017/S0960129512000357 VL - 24 IS - 4 SP - 1 EP - 48 ER - TY - JOUR A1 - Gabriel, Karsten A1 - Braatz, Benjamin A1 - Ehrig, Hartmut A1 - Golas, Ulrike T1 - Finitary M-Adhesive Categories JF - Mathematical Structures in Computer Science Y1 - 2014 U6 - https://doi.org/10.1017/S0960129512000321 VL - 24 IS - 4 SP - 1 EP - 40 ER - TY - BOOK A1 - Ehrig, Hartmut A1 - Ermel, Claudia A1 - Golas, Ulrike A1 - Hermann, Frank T1 - Graph and Model Transformation BT - General Framework and Applications N2 - 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. Y1 - 2015 SN - 978-3-662-47979-7 U6 - https://doi.org/10.1007/978-3-662-47980-3 PB - Springer-Verlag Berlin Heidelberg ER -