International Workshop on Graph Transformation and Visual Modeling Techniques

A satellite of ETAPS 2004 supported by

SegraVis

March 27 - 28  2004, Barcelona, Spain

A zipped pdf of the pre-proceedings is available here (~ 4MB).

Scope and Objectives
of the Workshop

Effective applications of visual modelling techniques require tool support at a semantic level, e.g., for model analysis, transformation, and consistency management. Due to the variety of languages and methods used in different domains, an engineering approach is required which allows for the generation of such tools from high-level specifications.

Graph transformations provide means to specify, at a conceptual level, complex operations on diagrams. Complementing this by techniques like
  • meta modelling (including OCL)
  • compiler construction
  • logic and algebraic semantics
the workshop aims to bring together researchers from different communities to discuss their respective contributions to different aspects of modelling and modelling languages, like
  • syntax and well-formedness,
  • static and dynamic semantics,
  • analysis and verification,
  • refinement and transformations, and
  • integration and consistency of models.

History

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

Program

Saturday, March 27 at A5 101

14.30 - 15.30 Invited Talk

The xlinkit approach to consistency management: Language, Semantics, and Tools
Wolfgang Emmerich (University College London)

16.00 - 18.00 Joint Session with TACoS on Model-based Testing

Sunday, March 28 at C6 221

09.30 - 10.00: Session on Visual Reasoning and Simulation

Opening

Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets

Juan de Lara (Universidad Autonoma de Madrid), Claudia Ermel, Gabriele Taentzer, Karsten Ehrig (TU Berlin)

10.30 - 12.30: Session on  Model Transformation

Realizing UML Metamodel Transformations with AGG
Fabian Büttner, Martin Gogolla (University of Bremen)

Semantic Translation of Simulink/Stateflow models to Hybrid Automata using GReAT
Aditya Agrawal, Gyula Simon, Gabor Karsai (Vanderbilt University, Nashville)

Towards Inconsistency Handling of Object-Oriented Behavioral Models

Jochen Küster (University of Paderborn)

Graph transformation with incremental updates

Gergely Varró, Dániel Varró (Budapest University of Technology and Economics)

14.30 - 16.00: Session on Architectural and Agent-based Design

Graph Rewriting for Agent Oriented Visual Modeling
Aliaksei Novikau, Anna Perini, Marco Pistore (ITC-Irst, Trento)

Shaped Hierarchical Architectural Design
Dan Hirsch, Ugo Montanari (Universita di Pisa)

An Operational Semantics of CommUnity Based on Graph Transformation Systems

Andrea Corradini, Dan Hirsch (Universita di Pisa)

16.30 - 17.30: Session on Model Checking

Verifying Object-Based Graph Grammars
Osmar Marchi dos Santos, Fernando Luís Dotti (Pontifícia Universidade Católica do Rio Grande do Sul, Porto Allegre),
Leila Ribeiro (Universidade Federal do Rio Grande do Sul, Porto Allegre)

Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time
Szilvia Gyapay, Ákos Schmidt, Dániel Varró (Budapest University of Technology and Economics)

Program Committee

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

Submission

Electronic paper submission is closed.

Authors are invited to submit extended abstracts of 5 to 10 pages in ENTCS format. The submission works in two stages:
  1. register your paper with title, authors, abstract, etc. by December 19, 2003
  2. upload the file to a link sent to you after the registration until December 29, 2003
Contributions should report about ongoing research in the areas of graph transformation and visual modeling techniques according to the scope and objectives of the workshop. Position papers and contributions making methodological statements are strongly encouraged.

Accepted contributions will appear in an issue of Elsevier's Electronic Notes in Theoretical Computer Science. A preliminary version of the issue will be available at the workshop.

Important Dates

December 29, 2003  Extended Submission Deadline
January 23, 2004  Notification of Acceptance
Februar 20, 2004  Camera Ready Version
March 27 - 28
Time of  the Workshop

Organization

Program Committee pages