OCL 2010

Workshop on OCL and Textual Modelling

Program - 3rd October


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

Last updated: Jun 1, 2010