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.
- 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
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.
|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|
Click to download a PDF poster call for papers.
Event Supported by