VOLT 2014

Home

Program

Call For Papers

Submission

Committees

Important Dates

Previous Editions

STAF 2014

Contacts


News

-- 28.02.2014 --
VOLT 2014 website is online

VOLT Program

Session 1 11:00 - 12:30

Welcome & Introduction 11:00 - 11:10

Checking Transformation Model Properties with a UML and OCL Model Validator
Martin Gogolla, Lars Hamann and Frank Hilken 11:10 - 11:35
paper,slides

Language-independent model transformation verification
Kevin Lano, Shekoufeh Kolahdouz Rahimi and Tony Clark 11:35 - 12:00
paper,slides

Null considered harmful (for transformation verification)
Kevin Lano 12:00 - 12:25
paper,slides

Short summary & discussion 12:25 - 12:30

Lunch Break & STAF Keynote 12:30-16:00


Session 2 16:00 - 18:00

MocOCL: A Model Checker for CTL-Extended OCL Specifications
Sebastian Gabmeyer, Robert Bill, Petra Kaufmann and Martina Seidl 16:00 - 16:25
paper,slides

Towards Domain Completeness for Model Transformations Based on Triple Graph Grammars
Nico Nachtigall, Frank Hermann, Benjamin Braatz and Thomas Engel 16:25 - 16:50
paper,slides

Brainstorming & Summary 16:50 - 18:00