The workshop will be run the 2nd of October, in the room Lamennais 1. The program is the following:
Session 1: 9:00 - 10:30
- 09:00 - 09:15: Opening.
- 09:15 - 09:40: On the Support of Qualified Associations in OCL, by Lars Hamann, Martin Gogolla and Nisha Desai. PDF Slides
- 09:40 - 10:05: Extending OCL with Encapsulation, Operator Overloading, and Error Class Mechanisms, by Vincent Bertram, Bernhard Rumpe and Michael von Wenckstern. PDF Slides
- 10:05 - 10:30: On the Functional Interpretation of OCL, by Daniel Calegari and Marcos Viera. PDF Slides
Coffee Break (10:30 - 11:00)
Session 2: 11:00 - 12:30
- 11:00 - 11:15: Extendable Toolchain for Automatic Compatibility Checks, by Vincent Bertram, Alexander Roth, Bernhard Rumpe and Michael von Wenckstern. PDF Slides
- 11:15 - 11:40: A Comparison of Textual Modeling Languages: OCL, Alloy, FOML, by Mira Balaban, Phillipa Bennett, Khanh Hoang Doan, Geri Georg, Martin Gogolla, Igal Khitron and Michael Kifer. PDF Slides
- 11:40 - 12:05: Modeling and Reasoning with Multirelations, and their encoding in Alloy, by Peiyuan Sun, Zinovy Diskin, Michal Antkiewicz and Krzysztof Czarnecki. PDF Slides
- 12:05 - 12:30: Integrating UML/OCL Derived Properties into Validation and Verification Processes, by Frank Hilken, Marcel Schuster, Karsten Sohr and Martin Gogolla. PDF Slides
Lunch Break (12:30 - 14:00)
Session 3: 14:00 - 15:30
- 14:00 - 14:25: Declarative Model Transformation Execution Planning, by Horacio Hoyos and Dimitris Kolovos. PDF Slides
- 14:25 - 14:50: Efficient OCL-based Incremental Transformations, by Frédéric Jouault and Olivier Beaudoux. PDF Slides
- 14:50 - 15:15: Models from code, or code as models?, by Antonio Garcia-Dominguez and Dimitris Kolovos. PDF Slides
- 15:15 - 15:30: Re-Implementing Apache Thrift using Model-Driven Engineering, by Sina Madani and Dimitris Kolovos. PDF Slides
Coffee Break (15:30 - 16:00)
Session 4: 16:00 - 17:30
- 16:00 - 16:30: Invited Talk: OCL Specification Progress Report, by Edward D. Willink Slides.
- 16:30 - 17:20: Lightning Talks (5 Minutes !!) / Open Session.
- 17:20 - 17:30: Closing.