Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig

Description

This volume pays tribute to the scientific achievements of Hartmut Ehrig, who passed away in March 2016. The contributions represent a selection from a symposium, held in October 2016 at TU Berlin, commemorating Hartmut’ s life and work as well as other invited papers in the areas he was active in. These areas include Graph Transformation, Model Transformation, Concurrency Theory, in particular Petri Nets, Algebraic Specification, and Category Theory in Computer Science. Front Matter ....Pages I-XIV On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches (Andrea Corradini, Dominique Duval, Michael Löwe, Leila Ribeiro, Rodrigo Machado, Andrei Costa et al.)....Pages 1-18 Integration of Graph Constraints into Graph Grammars (Annegret Habel, Christian Sandmann, Tilman Teusch)....Pages 19-36 Multi-view Consistency in UML: A Survey (Alexander Knapp, Till Mossakowski)....Pages 37-60 A Simple Notion of Parallel Graph Transformation and Its Perspectives (Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye)....Pages 61-82 A Tutorial on Graph Transformation (Barbara König, Dennis Nolte, Julia Padberg, Arend Rensink)....Pages 83-104 Initial Conflicts and Dependencies: Critical Pairs Revisited (Leen Lambers, Kristopher Born, Fernando Orejas, Daniel Strüber, Gabriele Taentzer)....Pages 105-123 Towards a Navigational Logic for Graphical Structures (Leen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino)....Pages 124-141 Model Transformations as Free Constructions (Michael Löwe)....Pages 142-159 The Verigraph System for Graph Transformation (Guilherme Grochau Azzi, Jonas Santos Bezerra, Leila Ribeiro, Andrei Costa, Leonardo Marques Rodrigues, Rodrigo Machado)....Pages 160-178 Decomposition Structures for Soft Constraint Evaluation Problems: An Algebraic Approach (Ugo Montanari, Matteo Sammartino, Alain Tcheukam)....Pages 179-200 Overview of Reconfigurable Petri Nets (Julia Padberg, Laid Kahloul)....Pages 201-222 A Category of “Undirected Graphs” (John L. Pfaltz)....Pages 223-230 Modular Termination of Graph Transformation (Detlef Plump)....Pages 231-244 Graph Attribution Through Sub-Graphs (Harmen Kastenberg, Arend Rensink)....Pages 245-265 On Normal Forms for Structured Specifications with Generating Constraints (Donald Sannella, Andrzej Tarlecki)....Pages 266-284 Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models (Dániel Varró, Oszkár Semeráth, Gábor Szárnyas, Ákos Horváth)....Pages 285-312 Graph Operations and Free Graph Algebras (Uwe Wolter, Zinovy Diskin, Harald König)....Pages 313-331 Back Matter ....Pages 333-333