Call For Papers
Please click below to read the text file of the complete call for papers.
Submission
Authors may submit the following types of papers:
- Full papers oriented to present elaborated research results. They should be not more than 10 pages long in Springer LNCS format.
- Short papers oriented to briefly present early research results or ongoing work. They should be 8 pages long in Springer LNCS format.
- Tool/Demo papers oriented to present model transformation verification tools. They should be 6 pages long in Springer LNCS format.
To comply with STAF's special theme of reproducibility, we strongly encourage solutions to the following model transformation verification challenges to be used as running examples or case studies for VOLT 2015 submissions
(for more information see VOLT 2015 case studies):
- a purely structural translation (aka. structural bridge) consisting of the classical UML2RDMS transformation;
- an operational semantics of a Domain-Specific Language allowing to play to the well-known PacMan game;
- a translational semantics providing executability of (a significant portion of) Activity Diagrams in terms of Petri Nets.
All submissions should follow the Springer LNCS format and be submitted through the VOLT 2015 EasyChair installation.
A pre-workshop version of the papers will be available on the workshop website and a post-workshop version will be published as CEUR workshop proceedings.
|
