|
Program - 3rd October
SUMMARY OF THE WORKSHOP AVAILABLE HERE
09.15-09.30 Introductions
09.30-10.30 Session: OCL Integration and Tooling
- 09.30-09.50 Re-engineering Eclipse MDT/OCL for Xtext. Edward Willink. PDF , Presentation
- 09.50-10.10 Integrating OCL and Textual Modelling Languages. Florian Heidenreich, Jendrik Johannes, Mirko Seifert, Michael Thiele, Christian Wende and Claas Wilke. PDF, Presentation
- 10.10-10.30 A Feature Model for an IDE4OCL. Joanna Chimiak-Opoka and Birgit Demuth. PDF, Presentation
10.30-11.00 Coffee
11.00-12.30 Session: OCL Foundations and Applications
- 11.00-11.20 A Specification-based Test Case Generation Method for UML/OCL. Achim D. Brucker, Matthias P. Krieger, Delphine Longuet and Burkhart Wolff. PDF , Presentation
- 11.20-11.40 MySQL-OCL: A Stored Procedure-Based MySQL Code Generator for OCL. Marina Egea, Carolina Dania and Manuel Clavel. PDF ,, Presentation
- 11.40-12.00 Navigating Across Non-Navigable Ecore References via OCL. Martin Hanysz, Tobias Hoppe, Axel Uhl, Andreas Seibel, Holger Giese, Philipp Berger and Stephan Hildebrandt. PDF
- 12.00-12.20 Towards a Conceptual Framework Supporting Model Compilability. Dan Chiorean and Vladiela Petrascu. PDF ,, Presentation
12.30-14.00 Lunch
14.00-15.30 Session: Textual Modelling
- 14.00-14.20 Verified Visualisation of Textual Modelling Languages. Fintan Fairmichael and Joseph Kiniry. PDF , Presentation
- 14.20-14.40 Support for Bidirectional Model-to-Text Transformations. Anthony Anjorin, Marius Lauder, Michael Schlereth and Andy Schürr. PDF , Presentation
- 14.40-15.00 An Overview of F-OML: An F-Logic Based Object Modeling Language. Mira Balaban and Michael Kifer. PDF , Presentation
- 15.00-15.10 Short Presentation: On the Need of User-defined Libraries in OCL. Thomas Baar. PDF , Presentation
15.30-16.00 Tea
16:00-17:30 Discussion session
|
