Call For Papers
Please click below to read the text file of the complete call for papers.
Authors may submit the following types of papers:
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):
- 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.
All submissions should follow the Springer LNCS format and be submitted through the VOLT 2015 EasyChair installation.
- 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.
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.