GT-VMT 2009

GT-VMT 2009 logo

8th International Workshop on Graph Transformation and Visual Modeling Techniques

March 28-29  2009, York, UK

Home page: http://www.cs.le.ac.uk/events/gtvmt09

A satellite event of

ETAPS 2009 logo

Supported by


[ aims | call for papers | history | dates | program committee | submissions | location | contact ]


Aims and Scope

GT-VMT 2009 is the eighth 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. The aim of the workshop is to promote engineering approaches that provide effective sound tool support for visual modeling languages, enhancing formal reasoning at the semantic level (e.g., for model analysis, transformation, and consistency management) in different domains, such as UML, Petri nets, Graph Transformation or Business Process/Workflow Models.

This year's workshop will have a special focus on visualisation, simulation, and verification of domain-specific languages (DSLs) to improve the automation and quality in model-driven and/or service-oriented processes.

As a summary, topics relevant to the scope of the workshop include (but not restricted to) the following:

  • formal definition of visual DSLs (incl. meta-modeling, grammars, graphical parsing, etc.);
  • static semantics of visual DSLs (incl. OCL, graph patterns, etc.);
  • dynamic semantics of visual DSLs (incl. simulation, compilation, etc.);
  • model transformations (within and) between DSLs and their application in model-driven development;
  • visual DSL analysis (incl. verification & validation, static & dynamic 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.

Invited speaker

We are glad to announce that one invited talk will be part of the technical program of GT-VMT 2009 given by

Program and Pre-Proceedings

SATURDAY 28 MARCH

9:00-9:15

Opening

9:15-10:30

Invited talk: Roberto Bruni. Ten good reasons why structured graphs can be better than flat ones

10:30-11:00

Break

11:00-12:30

Session on Pattern Matching and Verification

 

Hartmut Ehrig, Frank Hermann and Christoph Sartorius. Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions

 

Arend Rensink. Repotting the Geraniums: On Nested Graph Transformation Rules

 

Gábor Bergmann, István Ráth and Dániel Varró. . Parallelization of Graph Transformation Based on Incremental Pattern Matching

12:30-14:00

Lunch

14:00-15:30

Session on Simulation

 

Erhard Weinell. Visual compilation of behavioral modeling languages

 

Holger Giese, Stephan Hildebrandt and Andreas Seibel . Improved Flexibility and Scalability by Interpreting Story Diagrams

 

Jochen Schimmel, Tom Gelhausen and Christoph Schaefer. Gene Expression with General Purpose Graph Rewriting Systems.

15:30-16:00

Break

16:00-17:00

Session on Visual Transformations

 

Andrew Fish. Euler diagram transformations

 

Wolfram Kahl and Scott West. A Generic Graph Transformation, Visualisation, and Editing Framework in Haskell

17:00-17:30

Discussion

SUNDAY 29 MARCH

9:30-11:00

Session on Evolution

 

Rodrigo Machado, Luciana Foss and Leila Ribeiro. Aspects for Graph Grammars

 

Hartmut Ehrig, Karsten Ehrig and Claudia Ermel. Evolution of Model Transformations by Model Refactoring

 

Paolo Bottoni and Andrea Saporito. Resource-based enactment and adaptation of workflows from activity diagrams

11:00-11:30

Break

11:30-12:30

Session on Visual DSLs

 

Steffen Mazanek and Mark Minas. Generating Correctness-Preserving Editing Operations for Diagram Editors

 

Steffen Mazanek and Mark Minas. Syntactical Analysis of Exploded VL Diagrams: A first Approach and Practical Implications

12:30-14:00

Lunch

The workshop program is also available in PDF.

The pre-proceedings are available from here.

Call for Papers

The call for papers can be downloaded from here (pdf, txt).

History

This workshop is the eighth in the series of GT-VMT workshops:

Important Dates

extended December 15, 2008   Abstract Submission
extended December 19, 2008   Paper Submission Deadline
January 23, 2009   Notification of Acceptance
February 13, 2009   Camera Ready Version
February 13, 2009   Deadline for Early Registration
March 28-29, 2009   Time of the Workshop

 

Program Committee

The PC consists of members of the graph transformation community and external experts for complementary techniques and application areas.

Paolo Baldan (University of Padova, Italy) 
Paolo Bottoni (University of Rome, Italy) 
Artur Boronat (University of Leicester, UK)  [co-chair]
Andrea Corradini (University of Pisa, Italy)
Claudia Ermel (TU Berlin, Germany)
Gregor Engels (University of Paderborn, Germany)
Holger Giese (HPI Potsdam, Germany)
Reiko Heckel (University of Leicester, UK) [co-chair]
Gabor Karsai (Vanderbilt University, US)
Jochen Küster (IBM Zürich Research)
Juan de Lara (University of Madrid, Spain)
Tihamér Levendovszky (TU Budapest, Hungary)
Mark Minas (Universität der Bundeswehr München, Germany)
Francesco Parisi-Presicce (University of Rome, Italy)
Arend Rensink (University of Twente, Netherlands)
Gabriele Taentzer (Univ. of Marburg, Germany)
Dániel Varró (TU Budapest, Hungary)
Ehrard Weinell (RWTH Aachen University)
Martin Wirsing (Ludwig-Maximilians-Universität München, Germany)
Albert Zündorf (University of Kassel, Germany)

Submissions

The proceedings of this workshop will be published in the journal Electronic Communications of the EASST. A preliminary version of the proceedings will be available at the workshop. Papers should not exceed 12 pages.

For preparing your manuscript, the EASST templates can be downloaded here.

Please submit your abstract and paper using http://www.easychair.org/conferences/?conf=gtvmt09.

PRE-PROCEEDING guidelines: To prepare the camera-ready version of your paper for the pre-proceedings of the workshop, please proceed as follows:

  • Latex sources: substitute the eceasst.cls file by this one
  • Word document: use this template

The resulting document should not containt information about either volume or page numbers. This is an example.

Location

GT-VMT 2009 will be held in York, UK in March 28-29, 2009. It is a satellite workshop of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. For venue, registration and suggested accommodation see the ETAPS 2009 web page:

http://www.cs.york.ac.uk/etaps09/

 

Contact Info

Please do not hesitate to contact the organizers if you have any questions:
Reiko Heckel and Artur Boronat (where [AT] should be substituted with @, as usual nowadays).