News

-- 23.10.2009 --
Presentations and Fotos are online (see Program)

-- 14.09.2009 --
The Workshop Program is online

-- 26.07.2009 --
Deadline Extension
New Submission Deadline is August 1

-- 16.07.2009 --
Deadline Extension
New Submission Deadline is July 26

-- 25.06.2009 --
Submission site is open

-- 15.03.2009 --
MoDeVVa site is online

Program

Download Presentations (14,1 MB): presentationsMoDeVVa09.zip
Download Fotos (2,5 MB): fotosMoDeVVa09.zip

Room: Wind River, Date: October 5, 2009

For each presentation, there will be 20 minutes for the talk and 10 minutes for discussion.

1st Session: Keynote + Satisfiability (08:30 - 10:00)

08:30 : Foreword
08:40 : Keynote by Sudipto Ghosh about testing UML design models with the UML Animation and Testing Approach (UMLAnT)
09:30 : Victor Makarenkov, Pavel Jelnov, Azzam Maraee and Mira Balaban. Finite Satisfiability of Class Diagrams: Practical Occurrence and Scalability of the FiniteSat Algorithm

Coffee Break (10:00 - 10:30)

2nd Session: Transformations (10:30 - 12:30)

10:30 : Mark Asztalos, Laszlo Lengyel and Tihamer Levendovszky. A Formalism for Describing Modeling Transformations for Verification
11:00 : Zekai Demirezen, Marjan Mernik, Jeff Gray and Barrett Bryant. Verification of DSMLs Using Graph Transformation: A Case Study with Alloy
11:30 : Seyyed Shah, Kyriakos Anastasakis and Behzad Bordbar. From UML to Alloy and Back Again
12:00 : Siamak Haschemi. Model Transformations to Satisfy All-Configurations-Transitions on Statecharts

Lunch (12:30 - 14:00)

3rd Session: Verification (14:00 - 15:30)

14:00 : Beatriz Pérez Lamancha, Pedro Reales Mateo, Ignacio García, Macario Polo and Mario Piattini. Automated Model-based Testing using the UML Testing Profile and QVT
14:30 : Michael Mlynarski, Baris Güldali, Melanie Späth and Gregor Engels. From Design Models to Test Models by Means of Test Ideas
15:00 : Ivan Porres and Irum Rauf. Generating Class Contracts from UML Protocol Statemachines

Coffee Break (15:30 - 16:00)

4th Session: Verification + Discussion (16:00 - 18:00)

16:00 : Anne Keller, Hans Schippers and Serge Demeyer. Supporting Inconsistency Resolution through Predictive Change Impact Analysis
16:30 : Group Discussions
17:00 : Presentations
18:00 : Best Paper Award