International Colloquium on Graph and Model Transformation

on the occasion of the 65th birthday of Hartmut Ehrig

February 11 - 12, 2010
Room H2036/37
Technische Universität Berlin
Straße des 17. Juni 135

Program

---

Titles and Abstracts of Lectures and Position Statements
Complete Pre-Proceedings (PDF, 10 MB)

---

Thursday

February 11,
2010 

09:00 - 09:30 Registration

09:30 - 09:45 Opening

09:45 - 10:45 SESSION 1: Graph Transformation Techniques

Modeling a Service and Session Calculus with Hierarchical Graph Transformation

Andrea Corradini, Ugo Montanari and Roberto Bruni

Symbolic Attributed Graphs for Attributed Graph Transformation

Fernando Orejas

10:45 - 11:15 Coffee Break

11:15 - 12:45 SESSION 2: Modeling with Graph and Net Transformations

Graph Modeling and Transformation

Claudia Ermel and Karsten Ehrig

A Termination Criterion for Graph Transformation Systems with NACs

Francesco Parisi-Presicce and Paolo Bottoni

Formal Modeling and Analysis of Flexible Processes Using Reconfigurable Systems

Kathrin Hoffmann, Julia Padberg and Tony Modica

12:45 - 14:30 Lunch Break

14:30 - 16:00 SESSION 3: Verification and Constraints

Second-Order Value Numbering

Tiziana Margaria and Bernhard Steffen

Theorem Proving Graph Grammars using Event-B

Leila Ribeiro, Simone Costa, Fabiane Dillenburg and Fernando Dotti

Expressiveness of Graph Conditions with Variables

Annegret Habel and Hendrik Radke

16:00 - 16:30 Coffee Break

16:30 - 18:00 SESSION 4: Modeling of Chemical and Biochemical Reactions

From Graph Transformations to Differential Equations

Reiko Heckel and Mayur Bapodra

Reaction Systems - a Formal Framework for Biochemical Reactions

Grzegorz Rozenberg

19:30 Colloquium Dinner on Berlin Funkturm

Friday

February 12,
2010 

09:00 - 10:30 SESSION 5: Model Transformations

Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification

Sabine Glesner, Björn Bartels and Thomas Göthel

Specification and Verification of Model Transformations

Frank Hermann, Barbara König and Matthias Hülsbusch

Stepping from Graph Transformation Units to Model Transformation Units

Hans-Jörg Kreowski, Sabine Kuske, and Caro von Totth

10:30 - 11:00 Coffee Break

11:00 - 11:40 Congratulatory Addresses

Gabriele Wendorf, Vice President of the Technische Universität Berlin

Grzegorz Rozenberg, former President of the European Association for Theoretical Computer Science (EATCS)

Tiziana Margaria, President of the European Association of Software Science and Technology (EASST)

Sabine Glesner, Executive Director of the Dept. of Software Engineering and Theoretical Computer Science, TU Berlin

Reiko Heckel, Chairman of the Steering Committee for International Conferences on Graph Transformation (ICGT)

11:40 - 11:45 Short Break

11:45 - 13:20 SESSION 6: Software System Modelling

Test-driven Language Derivation with Graph Transformation-based Dynamic Meta Modeling

Gregor Engels, Christian Soltenborn

Panel Discussion: Software System Modelling: Past, Present and Future

Panelists: Gabriele Taentzer (Chair), Hartmut Ehrig, Gregor Engels, Michael Löwe, Bernd Mahr

13:20 Closing (H. Ehrig)

13:30 - 14:30 Reception with Buffet