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 - CHAP A1 - Chabarek, F. A1 - Golas, Ulrike ED - Heiß, H.-U. ED - Pepper, P. ED - Schlingloff, H. ED - Schneider, Jörg T1 - Interaktive Vervollständigung der Szenariobasierten Spezifikation eines Parkassistenzsystems T2 - Proceedings of GI-ASE 2011 Y1 - 2011 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 - CHAP A1 - Soboll, T. A1 - Golas, Ulrike ED - Filipe, J. ED - Fred, A. T1 - A Local-Global Model for Multiagent Systems - Sheaves on the Category MAS T2 - Proceedings of ICAART 2012 Y1 - 2012 VL - 2 SP - 331 EP - 334 PB - SciTePress 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 ED - Ehrig, Hartmut ED - Engels, G. ED - Kreowski, H.-J. ED - Rozenberg, G. T1 - A General Attribution Concept for Models in M-Adhesive Transformation Systems T2 - Proceedings of ICGT 2012 Y1 - 2012 U6 - https://doi.org/10.1007/978-3-642-33654-6_13 VL - 7562 SP - 187 EP - 202 PB - Springer 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 - CHAP A1 - Orejas, Fernando A1 - Boronat, Artur A1 - Golas, Ulrike A1 - Mylonakis, Nikos ED - Pfenning, Frank T1 - Checking Bisimilarity for Attributed Graph Transformation T2 - Foundations of Software Science and Computation Structures. Proceedings of FOSSACS 2013 Y1 - 2013 U6 - https://doi.org/10.1007/978-3-642-37075-5_8 VL - 7794 SP - 113 EP - 128 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 - TY - CHAP A1 - Taentzer, Gabriele A1 - Golas, Ulrike ED - Parisi-Presicce, F. ED - Westfechtel, B. T1 - Towards Local Confluence Analysis for Amalgamated Graph Transformation T2 - Graph Transformations. Proceedings of ICGT 2015 N2 - Amalgamated graph transformation allows to define schemes of rules coinciding in common core activities and differing over additional parallel independent activities. Consequently, a rule scheme is specified by a kernel rule and a set of extending multi-rules forming an interaction scheme. Amalgamated transformations have been increasingly used in various modeling contexts. Critical Pair Analysis (CPA) can be used to show local confluence of graph transformation systems. It is an open challenge to lift the CPA to amalgamated graph transformation systems, especially since infinite many pairs of amalgamated rules occur in general. As a first step towards an efficient local confluence analysis of amalgamated graph transformation systems, we show that the analysis of a finite set of critical pairs suffices to prove local confluence. Y1 - 2015 U6 - https://doi.org/10.1007/978-3-319-21145-9_5 VL - 9151 SP - 69 EP - 86 PB - Springer ER - TY - GEN A1 - Golas, Ulrike T1 - A General Attribution Concept for Models in M- adhesive Transformation Systems: Long Version N2 - Attributes are an important concept for modeling data in practical applications. Up to now there is no adequate way to define attributes for different kinds of models used in M-adhesive transformation systems, which are a special kind of graph transformation systems based on M-adhesive categories. Especially a proper representation and definition of attributes and their values as well as a suitable handling of the data does not fit well with other graph transformation formalisms. In this paper, we propose a new method to define attributes in a natural, but still formally precise and widely applicable way. We define a new kind of adhesive category, called W-adhesive, that can be used for transformations of attributes, while the underlying models are still M-adhesive ones. As a result, attributed models can be used as they are intended to be, but with a formal background and proven well-behavior. T3 - ZIB-Report - 12-22 KW - graph transformation KW - attribution KW - adhesive categories Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-15547 SN - 1438-0064 ER - TY - GEN A1 - Taentzer, Gabriele A1 - Golas, Ulrike T1 - Local Confluence Analysis for Amalgamated Graph Transformation: Long Version N2 - Amalgamated graph transformation allows to define schemes of rules coinciding in common core activities and differing over additional parallel independent activities. Consequently, a rule scheme is specified by a kernel rule and a set of extending multi-rules forming an interaction scheme. Amalgamated transformations have been increasingly used in various modeling contexts. Critical Pair Analysis (CPA) can be used to show local confluence of graph transformation systems. It is an open challenge to lift the CPA to amalgamated graph transformation systems, especially since infinite many pairs of amalgamated rules occur in general. As a first step towards an efficient local confluence analysis of amalgamated graph transformation systems, we show that the analysis of a finite set of critical pairs suffices to prove local confluence. T3 - ZIB-Report - 15-29 KW - amalgamated graph transformation KW - parallel independence KW - critical pair analysis Y1 - 2015 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-54943 SN - 1438-0064 ER -