A satellite event of

ETAPS 2010 logo

GT-VMT 2010

GT-VMT 2010 logo

9th International Workshop on Graph Transformation and Visual Modeling Techniques

March 20-21  2010, Paphos, Cyprus

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

Supported by

The electronic version of the preliminary workshop proceedings is downloadable from here in pdf.
The programme in PDF is here.


[ aims | programme | pre-proceedings | program committee | location | history | call for papers | contact ]


Aims and Scope

GT-VMT 2010 is the ninth 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 visualization, simulation, and verification of concurrent and distributed systems.
Concurrency and distribution are among the most vital concerns to nowadays computing due to the importance of interconnected systems and the increased diffusion of multi-core architectures. Nevertheless, concurrent and distributed systems are hard to specify, design, verify and implement.
Visual and graph-based techniques may be exploited to cope with the complexity in engineering of and reasoning about concurrent and distributed systems. In fact, graph-based approaches have recently been successfully applied to represent several computational aspects of different classes of distributed systems ranging from mobile systems a-la pi-calculus, to coordination in service-oriented systems, to communication networks. The aim of the workshop is to promote graph- and visual-based approaches for modelling, designing, implementing and reasoning about concurrent and distributed systems. The general areas of interest range from non-functional aspects (e.g., security, quantitive aspects), to (semi)formal modelling frameworks, to visual techniques for distributed and concurrent systems.

Besides the traditional topics of the GT-VMT series like

  • visual language definition (incl. metamodelling, grammars, graphical parsing, etc.)
  • syntax and semantics of visual languages (incl. OCL, graph patterns, simulation, animation, compilation, verification & validation, static analysis techniques, etc.)
  • model transformations
  • graph transformations and visual modeling techniques in engineering, biology, and medicine
  • case studies and novel application areas
  • tool support and efficient algorithms

more focused topics of interest include but are not limited to

  • visual and graph-based languages for distributed systems
  • graph models of distributed computations
  • verification and validation of distributed systems with visual techniques
  • graphical static & dynamic analysis of distributed systems
  • graphs for architectural design languages for distributed systems
  • visual techniques for modeling process choreographies and distributed workflows
  • visual/graph-based approaches to distributed coordination mechanisms
  • graph-based semantics models of novel distributed architectures (e.g., service oriented, GRID, P2P computing, and context aware/adaptive distributed applications)
  • model transformations of graphical into textual formalisms for distributed systems
  • model transformations and their application in model-driven development of distributed and concurrent systems
  • relating models/visual tools for concurrency/distribution
  • ...

Suggested topics of interest include but are not limited to

  • visual and graph-based languages for distributed systems
  • graph models of distributed computations
  • verification and validation of distributed systems with visual techniques
  • graphical static & dynamic analysis of distributed systems
  • graphs for architectural design languages for distributed systems
  • visual techniques for modeling process choreographies and distributed workflows
  • visual/graph-based approaches to distributed coordination mechanisms
  • graph-based semantics models of novel distributed architectures (e.g., service oriented, GRID, P2P computing, and context aware/adaptive distributed applications)
  • model transformations of graphical into textual formalisms for distributed systems
  • model transformations and their application in model-driven development of distributed and concurrent systems
  • relating models/visual tools for concurrency/distribution
  • case studies and novel application areas
  • tool support and efficient algorithms
  • ...

Invited speaker

We are glad to announce that Fernando Orejas has accepted to give an invited speech at GT-VMT 2010

Programme

SATURDAY 20 MARCH 2010
9:00-9:15 Opening
&nbsp Invited talk: Fernando Orejas
9:15-10:30 Symbolic Attributed Graphs and Attributed Graph Transformation
Abstract&nbsp&nbsp In this talk we will present a new approach to deal with attributed graphs and attributed graph transformation. The approach is based on working with what we call symbolic graphs, which are graphs labelled with variables together with formulas that constrain the possible values that we may assign to these variables. In particular, we will see several advantages of using this new approach.
10:30-11:00 Break
11:00-12:30 Session on Foundations (Chair: Reiko Heckel)
Maarten de Mol and Arend Rensink. A Graph Representation for Ordered Edges.
Davide Grohmann and Marino Miculan. Graph Algebras for Bigraphs.
Christoph Blume, Sander Bruggink, and Barbara König. Recognizable Graph Languages for Checking Invariants.
12:30-14:00 Lunch
14:00-15:30 Session on Modeling and Modeling Environments (Chair: Claudia Ermel)
Frank Hermann, Andrea Corradini, Hartmut Ehrig, and Barbara König. Efficient Process Analysis of Transformation Systems Based on Petri nets.
Berthold Hoffmann and Mark Minas. Defining Models - Meta Models versus Graph Gammars.
Torsten Strobl and Mark Minas. Specifying and generating editing environments for interactive animated visual models.
15:30-16:00 Break
16:00-17:00 Session on Interactions (Chair: Arend Rensink)
Vojtech Rehak, Petr Slovak, Jan Strejcek, and Loic Helouet. Decidable Race Condition and Open Coregions in HMSC.
Abubakar Hassan, Ian Mackie, and Shinya Sato. A light-weight abstract machine for interaction nets.
17:00-17:30 Discussion
SUNDAY 21 MARCH 2010
9:30-11:00 Session on Model Transformation (Chair: Gabriele Taentzer)
Eugene Syriani and Hans Vangheluwe. De-/Re-constructing Model Transformation Languages.
Bernhard Schaetz. Verification of Model Transformations.
Paolo Bottoni, Andrew Fish, and Francesco Parisi-Presicce. Preserving constraints in horizontal model transformations.
11:00-11:30 Break
11:30-12:30 Session on Foundations (Chair: Mark Minas)
Paolo Torrini, Reiko Heckel, Istvan Rath, and Gabor Bergmann. Stochastic Graph Transformation with Regions.
Wolfram Kahl. Cotabulations, Bicolimits and Van-Kampen Squares in Collagories.
12:30-14:00 Lunch

The electronic pre-proceedings can be downloaded here.

Call for Papers

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

History

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

Important Dates

December 23, 2009   Abstract Submission
December 27, 2009   Paper Submission
January 28, 2010   Notification of Acceptance
February 23, 2010   Camera ready version for on-line pre-proceedings
March 20-21, 2010   Workshop
April 11, 2010   Camera ready version for post-proceedings

Programme Committee

Paolo Baldan (University of Padova, Italy) 
Artur Boronat (University of Leicester, UK)
Andrea Corradini (University of Pisa, Italy) 
Claudia Ermel (TU Berlin, Germany)
Gregor Engels (University of Paderborn, Germany)
Reiko Heckel (University of Leicester, UK)
Thomas Hildebrandt (ITU)
Holger Giese (HPI Potsdam, Germany)
Barbara König (University of Duisburg-Essen) 
Jochen Küster (IBM Research - Zurich) [co-chair]
Alberto Lluch Lafuente (IMT Institute for Advanced Studies Lucca, Italy) 
Juan de Lara (Universidad Autónoma de Madrid, Spain) 
Mark Minas (Universität der Bundeswehr München, Germany)
Francesco Parisi-Presicce (University of Rome, Italy)
Arend Rensink (University of Twente, Netherlands)
Gabriele Taentzer (University of Marburg, Germany)
Emilio Tuosto (University of Leicester) [co-chair]
Dániel Varró (TU Budapest, Hungary)
Erhard Weinell (RWTH Aachen University)
Albert Zündorf (University of Kassel, Germany)

Submissions

The proceedings of this workshop will be published in the journal Electronic Communications of the EASST. 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=gtvmt10.

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 contain information about either volume or page numbers. This is an example.

Put all the files necessary to generate the pdf in a directory and submit a gzipped tarball of this directory through easychair (go to the easychair page of your paper and click on 'Submit a new version').

For conditionally accepted papers only: Please include in the directory a letter for reviewers changes.pdf as required by the notification email.

Location

GT-VMT 2010 will be held in Cyprus in March 20-21, 2010. It is a satellite workshop of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. For venue, registration and suggested accommodation see the ETAPS 2010 web page.

Contact Info

Please do not hesitate to contact the organizers if you have any questions: