7th International Workshop on Graph Transformation and Visual Modeling Techniques

GT-VMT 2008

March 29-30, 2008
Budapest, Hungary

A Satellite Event of

Program and Papers

The program for the workshop and the papers from the pre-proceedings can be found HERE.

Aims and Scope

GT-VMT 2008 is the seventh workshop of a series that serves as a forum for all researchers and practitioners interested in the use of graph-based notation, techniques and tools for the specification, modeling, validation, manipulation and verification of complex systems. Due to the variety of languages and methods used in different domains, the aim of the workshop is to promote engineering approaches that starting from high-level specifications and robust formalizations allow for the design and the implementation of such visual modeling techniques, hence providing effective tool support at the semantic level (e.g., for model analysis, transformation, and consistency management). Contributions are welcome from communities working on popular visual modeling notations like UML, Petri nets, Graph Transformation, Business Process/Workflow Models.

This year's workshop will have an additional focus on visualization, simulation, and animation of models as means of providing an intuitive representation of both their static semantics and for the validation of model behavior.

Suggested areas of interest include, but are not limited to, the following topics:

• visual language definition (incl. metamodelling, grammars, graphical parsing, etc.),
• static semantics of visual languages (incl. OCL, graph patterns, etc.),
• dynamic semantics of visual languages (incl. simulation, animation, compilation, etc.),
• model transformations (within and) between languages and their application in model-driven development,
• visual language analysis (incl. verification & validation, static analysis techniques),
• model / graph-based approaches to novel architectural paradigms like service-oriented, GRID, and P2P computing, context-aware and adaptive applications, etc.
• application of graph transformations and visual modeling techniques in engineering, biology, and medicine
• case studies and novel application areas
• tool support and efficient algorithms

History

• GT-VMT 2000 in Geneva (Switzerland) at ICALP'00.
• GT-VMT 2001 on Crete (Greece) at ICALP'01.
• GT-VMT 2002 in Barcelona (Spain) at ICGT 2002.
• GT-VMT 2004 in Barcelona (Spain) at ETAPS 2004.
• GT-VMT 2006 in Vienna (Austria) at ETAPS 2006.
• GT-VMT 2007 in Braga (Portugal) at ETAPS 2007.

Important Dates

Invited speakers

• Dr. Juha-Pekka Tolvanen, MetaCase , Finland
  Subject: Domain-Specific Modelling in Practice
• Prof. Dr. Hans Vangheluwe, Modelling, Simulation and Design Lab, McGill University, Canada
  Subject: Model-based Simulation

Program Committee

Paolo Baldan (University of Padova, Italy) 
Paolo Bottoni (University degli studi di Roma, Italy) 
Andrea Corradini (University of Pisa, Italy)
Karsten Ehrig (University of Leicester, UK)
Claudia Ermel (TU Berlin, Germany) [co-chair]
Gregor Engels (University of Paderborn, Germany)
Reiko Heckel (University of Leicester, UK) [co-chair]
Holger Giese (University of Paderborn, Germany)
Gabor Karsai (Vanderbilt University, US)
Jochen Küster (IBM Zürich Research)
Juan de Lara (University of Madrid, Spain) [co-chair]
Mark Minas (Universität der Bundeswehr München, Germany)
Francesco Parisi-Presicce (University of Rome, Italy)
Arend Rensink (University of Twente, Netherlands)
Andy Schürr (University of Darmstadt, Germany)
Gabriele Taentzer (University of Marburg, Germany)
Daniel Varró (TU Budapest, Hungary)
Martin Wirsing (Ludwig-Maximilians-Universität München, Germany)
Albert Zündorf (University of Kassel, Germany)

Submissions

Location