GT-VMT 2007: Program for Saturday 31/03/2007
Invited Session
09:00 to 09:05 Opening
09:05 to 10:30
Gheorghe Paun (Romanian Academy and Sevilla University, Spain)
Membrane Computing [and Graph Transformation]
10:30 to 11:00 Coffee Break
Session on Verification and Model Transformation
11:00 to 11:30
Rule-Level Verification of Business Process Transformations using CSP
(Dénes Bisztray, Reiko Heckel)
11:30 to 12:00
Bisimulation Verification for the DPO Approach with Borrowed Contexts
(Guilherme Rangel, Barbara König, Hartmut Ehrig)
12:00 to 12:30
Transforming Collaborative Service Specifications into Efficiently Executable State Machines
(Frank Alexander Kraemer, Peter Herrmann)
12:30 to 14:15 Lunch
Session on Pattern Matching
14:15 to 14:30
Ensuring Containment Constraints in Graph-based Model Transformation Approaches
[short talk] (Christian Köhler, Holger Lewin, Gabriele Taentzer)
14:30 to 15:00
Generic Search Plans for Matching Advanced Graph Patterns
(Ákos Horváth, Gergely Varró, Dániel Varró)
15:00 to 15:30
A Query Language With the Star Operator
(Johan Lindqvist, Torbjörn Lundkvist, Ivan Porres)
15:30 to 16:00
Triple Patterns: Compact Specifications for the Generation of Operational Triple Graph
Grammar Rules (Juan de Lara, Esther Guerra, Paolo Bottoni)
16:00 to 16:30 Coffee Break
Session on Graph Transformation Language Operations
16:30 to 17:00
A Subgraph Operator for Graph Transformation Languages
(Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Feng Shi, Ryan Thibodeaux,
Gabor Karsai)
17:00 to 17:30
Adding Recursion to Graph Transformation
(Esther Guerra, Juan de Lara)
17:30 to 18:00
Visual Programming with Recursion Patterns in Interaction Nets
(Ian Mackie, Jorge Sousa Pinto, Miguel Vilaca)
18:00 to 18:15
Simulating Multi-graph Transformations Using Simple Graphs [short talk]
(Frank Hermann, Harmen Kastenberg, Iovka Boneva, Arend Rensink)

GT-VMT2007: Program for Sunday 01/04/2007
Invited Session
09:00 to 10:30
2nd Invited Talk
Topic to be announced.
10:30 to 11:00 Coffee Break
Session on Application of Graph Transformations
11:00 to 11:30
Evaluating Workflow Definition Language Revisions with Graph-Based Tools
(René Wörzberger, Markus Heller, Frank Häßler)
11:30 to 11:45
Graph Based Engineering Systems - A Family Of Software Applications And their Underlying
Framewor [short talk]
(Gregor Wrobel, Ralf-Erik Ebert, Matthias Pleßow)
11:45 to 12:00
Imposing Hierarchy on a Graph [short talk]
(Brendan Sheehan, Benoit Gaudin, Aaron Quigley)
12:00 to 12:15
The Jury is still out: A Comparison of AGG, Fujaba, and PROGRES [short talk]
(Ulrike Ranger, Christian Fuß, Christof Mosler, Erhard Schultchen)
12:15 to 14:15 Lunch
Working Groups
14:15 to 14:30 Building of Working Groups
14:30 to 15:30 Discussion in Working Groups
15:30 to 16:00 General Discussion of the Results
16:00 to 16:30 Closing and Coffee Break