The workshop will be run the 20th of July, from 11:00 am to 6:00 pm in the first floor, room Newton at the Technologie- und Tagungszentrum Marburg (Softwarecenter 3, Marburg). The preliminary program is the following:
Session 1: 11:00 - 12:30
Lunch Break (12:30 - 14:00)
Session 2: 14:00 - 15:30
- 14:00 - 14:30: Deterministic Lazy Mutable OCL Collections, by Edward Willink [pdf]
- 14:30 - 15:00: Improving Incremental and Bidirectional Evaluation with an Explicit Propagation Graph, by Frédéric Jouault, Olivier Beaudoux, Matthias Brun, Fabien Chhel and Mickael Clavreul
- 15:00 - 15:30: Step 0: An Idea for Automatic OCL Benchmark Generation, by Hao Wu [pdf]
Coffee Break (15:30 - 16:00)
Session 3: 16:00 - 18:00
- Open Discussion and Lightning Talks. We have received the following topics:
- Commutative Short Circuit Operators, by Ed Willink
- Managing MATLAB Simulink models with Epsilon by Dimitris Kolovos
- Non-Determinateness vs. Randomness in OCL or How to Write Crazy OCL Postconditions by Martin Gogolla and Antonio Vallecillo