In conjunction with MoDELS

2nd MoDeVa workshop - Model design and Validation

8:30 - 8:45 Welcome from the organizers
8:45 - 9:05 The conformance testing tool: AGATHA
Alain Faivre, Christophe Gaston
9:05 - 9:25 Testing UML Designs (Generating Test Data to test UML Design Models and A Taxonomy of Faults for UML Models)
Trung Dinh-Trong, Sudipto Ghosh, Robert France, Benoit Baudry, Franck Fleurey
9:25 - 9:45 Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Muller, Bernard Thirion
9:45 - 10:05 On the Definition of UML Refinement Patterns
Claudia Pons
10:05 -10:30 Conference coffee break
10:30 - 10:50 A Modelling Method for Embedded Systems
Ed Brinksma, Angelika Mader, Jelena Marincic, Roel Wieringa
10:50 - 11:10 Model Transformations Should Be More Than Just Model Generators
Jon Whittle and Borislav Gajanovic
11:10 - 11:30 Automated Analysis of Natural Language Properties for UML Models
Sascha Konrad, Betty H.C. Cheng
11:30 - 11:50 Interaction-Based Scenario Integration
Rabeb Mizouni, Aziz Salah, Rachida Dssouli
11:50 - 12:30 Definition of the agenda for discussion (identify questions and groups of attendees to address each question)
12:30 - 2:00 Lunch
2:00 - 3:30 Group discussion
3:30 - 4:00 Conference coffee break
4:00 - 4:30 Each group prepares a presentation
4:30 - 6:00 Groups present their work to the attendees

The following papers have also been accepted at the MoDeVa workshop with no presentation

Automatic generation of symbolic test purposes
Assia Touil , Christophe Gaston and Pascale Le Gall

A Formal V&V Framework for UML Models Based on Model Transformation Techniques
Soon-Kyeong Kim and David Carrington

Adapting a UML Modeling Tool to a Real-Time Environment, an Experience Paper
Andrei Girenkov and Brian Berenbach

Model-Based Test Criteria definition for Validating Annotated Web Applications
Jonatan Alava Peter Clarke

Model-driven System Testing for Interactive Applications
Marlon Vieira and Johanne Leduc