OCL 2012 - Program

The workshop took place on Sunday, 30th September, in Innsbruck. The schedule was as outlined below.

A summary of all presentations as well as the breakout discussion can be found in this article from Jordi Cabot's blog.

09:00-10:30 Session 1 - OCL Study and Tools
Tool Supported OCL Refactoring Catalogue (Preproceeding PDF | Presentation Slides)
By: Jan Reimann, Claas Wilke, Birgit Demuth, Michael Muck, and Uwe Aßmann
An extensible OCL Virtual Machine and Code Generator (Preproceeding PDF)
By: Ed Willink
Featherweight OCL: A study for the consistent semantics of OCL 2.3 in HOL (Preproceeding PDF)
By: Achim D. Brucker and Burkhart Wolff
10:30-11:00 Coffee Break
11:00-12:30 Session 2 - Use of high-order functional languages and modeling techniques
On the Use of an Internal DSL for Enriching EMF Models (Preproceeding PDF)
By: Filip Křikava and Philippe Collet
Library for Model Querying lQuery (Preproceeding PDF)
By: Renārs Liepiņš
Ontology Driven Design of EMF Metamodels and Well-formedness Constraints (Preproceeding PDF)
By: Benedek Izsó, Zoltán Szatmári, Gábor Bergmann, Ákos Horváth, István Ráth and Dániel Varró
12:30-14:00 Lunch
14:00-15:30 Session 3 - OCL uses
Modeling and Executing ConcurTaskTrees using a UML-and SOIL-based Metamodel (Preproceeding PDF)
By: Jens Brüning, Martin Kunert and Birger Lantow
Automatic Generation of Test Models and Properties from UML Models with OCL Constraints (Preproceeding PDF | Presentation Slides)
By: Miguel A. Francisco and Laura M. Castro
Transformation rules from UML4MBT meta-model to SMT meta-model for model animation (Preproceeding PDF)
By: Jérôme Cantenot, Fabrice Ambert and Fabrice Bouquet
15:30-16:00 Coffee Break
16:00-17:30 Session 4 - OCL use reports
Model-based formal specification of a DSL library for a qualified code generator (short paper) (Preproceeding PDF)
By: Arnaud Dieumegard, Andres Toom and Marc Pantel
The Secret Life of OCL Constraints (short paper) (Preproceeding PDF)
By: Oliver Hofrichter, Lars Hamann and Martin Gogolla
Experiences using OCL for Business Rules on Financial Messaging (short paper) (Preproceeding PDF | Presentation Slides)
By: David Garry
Breakout discussion