ETAPS 2007

Programme of GT-VMT at ETAPS 2007

Opening
Invited Talk: Membrane Computing [and Graph Transformation]; Gheorghe Paun (Romanian Academy and Sevilla University, Spain)

Verification and Model Transformation: Rule-Level Verification of Business Process Transformations using CSP; Dénes Bisztray, Reiko Heckel; Bisimulation Verification for the DPO Approach with Borrowed Contexts; Guilherme Rangel, Barbara König, Hartmut Ehrig; Transforming Collaborative Service Specifications into Efficiently Executable State Machines; Frank Alexander Kraemer, Peter Herrmann

Pattern Matching: Ensuring Containment Constraints in Graph-based Model Transformation Approaches (Short Talk); Christian Köhler, Holger Lewin, Gabriele Taentzer; Generic Search Plans for Matching Advanced Graph Patterns; Ákos Horváth, Gergely Varró, Dániel Varró; A Query Language With the Star Operator; Johan Lindqvist, Torbjörn Lundkvist, Ivan Porres; Triple Patterns: Compact Specifications for the Generation of Operational Triple Graph Grammar Rules; Juan de Lara, Esther Guerra, Paolo Bottoni

Graph Transformation Language Operations: A Subgraph Operator for Graph Transformation Languages; Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Feng Shi, Ryan Thibodeaux, Gabor Karsai; Adding Recursion to Graph Transformation; Esther Guerra, Juan de Lara; Visual Programming with Recursion Patterns in Interaction Nets; Ian Mackie, Jorge Sousa Pinto, Miguel Vilaça; Simulating Multi-graph Transformations Using Simple Graphs (Short Talk); Frank Hermann, Harmen Kastenberg, Iovka Boneva, Arend Rensink

Joint Workshops Post-Conference Dinner (tickets needed): Dinner at Pousada Santa Maria de Bouro; Shuttle departure from University Campus, Gualtar

Application of Graph Transformations: Evaluating Workflow Definition Language Revisions with Graph-Based Tools; René Wörzberger, Markus Heller, Frank Häßler; Graph Based Engineering Systems - A Family Of Software Applications And their Underlying Framewor (Short Talk); Gregor Wrobel, Ralf-Erik Ebert, Matthias Pleßow; Imposing Hierarchy on a Graph (Short Talk); Brendan Sheehan, Benoit Gaudin, Aaron Quigley; The Jury is still out: A Comparison of AGG, Fujaba, and PROGRES (Short Talk); Ulrike Ranger, Christian Fuß, Christof Mosler, Erhard Schultchen

Working Groups: Building of Working Groups; Discussion in Working Groups; General Discussion of the Results
Closing

ETAPS 2007 | Top | HTML 4.01 | Last Update: 2007-03-13