Programme of GT-VMT at ETAPS 2008

(7th International Workshop on Graph Transformation and Visual Modeling Techniques)

Saturday, March 29, room: Magnolia

09:00 - 10:15 SESSION 1


Domain-Specific Modelling in Practice
Juha-Pekka Tolvanen, (MetaCase and University of Jyväskylä, Finland)

10:15 - 10:40 Coffee

10:40 - 12:30 SESSION 2

Model Transformations and Queries

From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars
Frank Hermann, Hartmut Ehrig (TU Berlin, Germany), Karsten Ehrig (Univ. of Leicester, UK)

Verifying Model Transformations by Structural Correspondence
Anantha Narayanan, Gabor Karsai (Vanderbilt Univ., TN, USA)

Extending Graph Query Languages by Reduction
Erhard Weinell (RWTH Aachen, Germany)

Improved Live Sequence Chart to Automata Translation for Verification
Rahul Kumar, Eric Mercer (Brigham Young Univ., UT, USA)

12:30 - 14:00 Lunch

14:00 - 16:00 SESSION 3

Distribution and Semantics

05-L: Composing control flow and formula rules for computing on grids
Paolo Bottoni (Univ. of Rome, Italy) , Nikolay Mirenkov, Yutaka Watanobe, Rentaro Yoshioka (Univ. of Aizu, Japan)

A Graph-Based Semantics for UML Class and Object Diagrams
Anneke Kleppe, Arend Rensink (both Univ. of Twente, The Netherlands)

Graph Transformations for the Resource Description Framework
Benjamin Braatz (TU Berlin), Christoph Brandt (Univ. of Luxemburg)

Controlling resource access in Directed Bigraphs
Davide Grohmann, Marino Miculan (Univ. of Udine, Italy)

Interaction nets: programming language design and implementation
Abubaker Hassan (Univ. of Sussex, UK), Ian Mackie (Ecole Polytechnique, Palaiseau Cedex, France), Shinya Sato (Himeji Dokkyo Univ., Hyogo,Japan)

16:00 - 16:30 Coffee

16:30 - 18:00 SESSION 4

Analysis and Visualization

Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences
Leen Lambers, Hartmut Ehrig (TU Berlin, Germany), Gabriele Taentzer (Univ. of Marburg, Germany)

Ambiguity Resolution for Sketched Diagrams by Syntax Analysis Based on Graph Grammars
Florian Brieler, Mark Minas (Univ. of the Armed Forces, Munich, Germany)

A Static Layout Algorithm for DiaMeta.
Sonja Maier, Mark Minas (Univ. of the Armed Forces, Munich, Germany)

Sunday, March 30, room: Magnolia

09:00 - 10:15 SESSION 5

Model-based Simulation
Hans Vangheluwe, (Modelling, Simulation and Design Lab, McGill University, Canada)

10:15 - 10:40 Coffee

10:40 - 12:30 SESSION 6

Dynamic Reconfiguration

Dynamic Software Architectures Verification using DynAlloy
Antonio Bucchiarone (IMT of Lucca, Italy), Juan Galeotti (Univ. of Buenos Aires, Argentina)

Reconfiguration of Reo Connectors Triggered by Dataflow
Christian Koehler, David Costa, Jose Proenca, Farhad Arbab (CWI, Amsterdam, The Netherlands)

Negative Application Conditions for Reconfigurable Place/Transition Systems
Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg (TU Berlin, Germany)

Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets
Enrico Biermann, Tony Modica (TU Berlin, Germany)

12:30 - 14:00 Lunch

14:00 - 16:00 SESSION 7

Verification and Programming

The GP Programming System
Greg Manning, Detlef Plump (Univ. of York, UK)

Type Checking C++ Template Instantiation by Graph Programs
Karl Azab, Karl-Heinz Pennemann (Univ. of Oldenburg, Germany)

A Graph-Based Type Representation for Objects
Cong-Cong Xing (Nicholls State Univ., LA, USA)

Using Graph Transformation Systems to Specify and Verify Data Abstractions
Luciano Baresi, Carlo Ghezzi, Andrea Mocci (Polit. of Milan, Italy), Mattia Monga (Univ. of Milan, Italy)

Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators
Steffen Mazanek, Mark Minas (Univ. of the Armed Forces, Munich, Germany)

16:00 - 16:30 Coffee

16:30 - 17:30 SESSION 8

Case Studies and Tools

Visual Design and Reasoning with the Use of Hypergraph Transformations
Grazyna Slusarczyk, Ewa Grabska (Jagiellonian University, Krakow, Poland), Truong Le (Polish-Japanese Inst. of Information Technology, Warszawa, Poland)

Graph Transformation Model of a Triangulated Network of Mobile Units
Stefan Gruner (Univ. of Pretoria, South Africa)

Some Applications of Graph Transformations in Modeling of Mechanical Systems
Stan Zawislak, Aukasz Szypua, Miroslaw Mysliwiec, Adam Jagosz (Univ. of Bielsko-Biala, Poland)

Detailed Programme Information:

ETAPS 2008 | Top | HTML 4.01 | Last Update: 2008-01-13