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

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