Call for Papers

13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)

Aims and Scope

GT-VMT 2014 is the thirteenth workshop of a series that serves as a forum for all researchers and practitioners interested in the use of visual notations (especially graph-based), 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 syntactic as well as semantic level (e.g., for model specification, model analysis, model transformation, and model consistency management) in different domains, such as UML, Petri Nets, Graph Transformation or Business Process/Workflow Models.

 

Theme of the Year:

This year’s special theme is “Reliability” and we particularly encourage submissions that address the following questions:

  • How can graph transformation and visual modelling support the modelling, analysis and/or verification of functional requirements?
  • How can these techniques ensure a certain level of robustness of systems?

 

Topics of Interest

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

  • visual languages definition and syntax (incl. meta-modelling, grammars and graphical parsing);
  • static and dynamic semantics of visual languages (incl. OCL, graph constraints, simulation, animation, compilation);
  • visual/graph-based analysis in software engineering (incl. testing, verification & validation, static & dynamic analysis techniques);
  • visual/graph constraints (incl. definition, expressiveness, analysis techniques involving constraints);
  • model transformations and their application in model-driven development (incl. in particular, transformations between graphical and textual formalisms);
  • visual modeling techniques and graph transformations applied to patterns;
  • visual modeling techniques and graph transformations for systems with quality properties like performance, real-time, safety, reliability, energy consumption;
  • case studies and novel application areas (e.g. within engineering, biology, etc);
  • tool support and efficient algorithms.

 

Invited Speakers

  • Philippe Palanque (University Paul Sabatier, Toulouse, France):
    Model-Based Engineering of Resilient Interactive Systems

  • Dániel Varró (Budapest University of Technology and Economics, Hungary):
    Distributed Incremental Model Queries

 

Submissions

For preparing your manuscript, you can use the ECEASST templates (Event: GTVMT2014) for Latex and Word or, alterternatively, you can use Springer's LNCS style.

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

Please submit your abstract and paper using the EasyChair page for the workshop.

 

Special Issue

TBA.

 

Important Dates

 

Abstract Submission Friday, January 31, 2014
Paper Submission Monday, February 03, 2014
Notification to Authors Friday, February 28, 2014
Camera Ready Submission Friday, March 14, 2014
Workshop Dates Saturday, April 05, 2014
  Sunday, April 06, 2014

 

Downloads

Click to download a PDF poster call for papers.

Event Supported by