Program

The two workshops, MoDeVVA and MoVaH, will be held in the same room, Laagen. MoVaH papers will be presented before lunch and MoDeVVA papers will be presented after lunch.

Schedule

9:00 - 9:30 Opening MoVaH + MoDeVVa

MoVaH session 1

9:30 - 10:00 Mihai Codescu and Till Mossakowski. Heterogeneous colimits.

10:00 - 10:30 Break with coffee/tea/cookies

MoVaH session 2

10:30 - 11:00 Christophe Jacquet and Dominique Marcadet. Checking Properties on the Control of Heterogeneous Systems.

11:00 - 11:20 Christian Attiogbe. Mastering Specification Heterogeneity with Multifacet Analysis.

11:30 - 12:00 Olaf Muliawan, Pieter Van Gorp, Anne Keller and Dirk Janssens. Executing a Standard Compliant Transformation Model on a Non-standard Platform.

12:00 - 13:30 Lunch

MoDeVVA session 1: Verification

13:30 - 14:00 Philippe Dhaussy, Julien Auvray, Stéphane de Belloy, Frédéric Boniol. Using context descriptions and property definition patterns for software formal verification.

14:00 - 14:30 Jordi Cabot, Robert Clarisó and Daniel Riera. Verification of UML/OCL Class Diagrams Using Constraint Programming.

14:30 - 15:00 Audrey Occello, Anne-Marie Dery-Pinna and Michel Riveill. Validation and Verification of an UML/OCL Model with USE and B: Case Study and Lessons Learnt.

15:00 - 15:30 Break with coffee/tea/cookies

MoDeVVA session 2: Testing and Performance

15:30 - 16:00 Dimitrios S. Kolovos, Richard Paige, Louis Rose and Fiona Polack. Unit Testing Model Management Operations.

16:00 - 16:30 Jean-Marie Mottu, Benoit Baudry and Yves Le Traon. Model transformation testing: oracle issue.

16:30 - 17:00 Joanna Chimiak-Opoka, Michael Felderer, Chris Lenz and Christian Lange. Querying UML Models using OCL and Prolog: A Performance Study.

17:15 - 18:30 Discussions.