GT-VMT 2008

7th International Workshop on Graph Transformation and Visual Modeling Techniques

GT-VMT 2008

March 29-30, 2008
Budapest, Hungary

Raven

A Satellite Event of

ETAPS 2008

Program and Papers

Complete Pre-Proceedings GT-VMT 2008 (PDF, 10 MB)

Saturday, March 29, 2008

09:00 - 10:15 SESSION 1

Opening
Invited Talk: Domain-Specific Modelling in Practice ABSTRACT, SLIDES; 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, Karsten Ehrig; Verifying Model Transformations by Structural Correspondence; Anantha Narayanan, Gabor Karsai; Extending Graph Query Languages by Reduction; Erhard Weinell; Improved Live Sequence Chart to Automata Translation for Verification; Rahul Kumar, Eric Mercer

12:30 - 14:00 Lunch

14:00 - 16:00 SESSION 3

Distribution and Semantics: Composing control flow and formula rules for computing on grids; Paolo Bottoni, Nikolay Mirenkov, Yutaka Watanobe, Rentaro Yoshioka; A Graph-Based Semantics for UML Class and Object Diagrams; Anneke Kleppe, Arend Rensink; Graph Transformations for the Resource Description Framework; Benjamin Braatz, Christoph Brandt; Controlling resource access in Directed Bigraphs; Davide Grohmann, Marino Miculan; Interaction nets: programming language design and implementation; Abubaker Hassan, Ian Mackie, Shinya Sato

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, Gabriele Taentzer; Ambiguity Resolution for Sketched Diagrams by Syntax Analysis Based on Graph Grammars; Florian Brieler, Mark Minas; A Static Layout Algorithm for DiaMeta.; Sonja Maier, Mark Minas

Sunday, March 30, 2008

09:00 - 10:15 SESSION 5

Invited Talk: Foundations of Modelling and Simulation of Complex Systems; 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, Juan Galeotti; Reconfiguration of Reo Connectors Triggered by Dataflow; Christian Koehler, David Costa, Jose Proenca, Farhad Arbab; Negative Application Conditions for Reconfigurable Place/Transition Systems; Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg; Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets; Enrico Biermann, Tony Modica

12:30 - 14:00 Lunch

14:00 - 16:00 SESSION 7

Verification and Programming: The GP Programming System; Greg Manning, Detlef Plump; Type Checking C++ Template Instantiation by Graph Programs; Karl Azab, Karl-Heinz Pennemann; A Graph-Based Type Representation for Objects; Cong-Cong Xing; Using Graph Transformation Systems to Specify and Verify Data Abstractions; Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga; Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators; Steffen Mazanek, Mark Minas

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, Truong Le; Graph Transformation Model of a Triangulated Network of Mobile Units; Stefan Gruner; Some Applications of Graph Transformations in Modeling of Mechanical Systems; Stan Zawislak, Aukasz Szypua, Miroslaw Mysliwiec, Adam Jagosz