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 |
|
