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 - 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 - 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 -