CfP: MoDELS'05 -- Workshop on OCL and Related Formalisms

CfP: MoDELS'05 -- Workshop on OCL and Related Formalisms

From: Thomas Baar ^lt;>
Date: Wed 06 Jul 2005 - 14:53:41 BST
Message-ID: <>
================ CALL FOR PAPERS =================

Workshop on
Tool Support for OCL and Related Formalisms - Needs and Trends
Montego Bay, Jamaica, October 4, 2005

Held in conjunction with
ACM/IEEE 8th International Conference on Model Driven Engineering 
Languages and Systems



In the last years, model-centric methodologies could attract a lot of 
attention both in academia and in industry. Since they propagate a shift 
from implementation code to more abstract but nevertheless detailed and 
precise models, their successful application in industrial projects 
heavily depends on matured tools support.

OCL is often the language of choice to make models more precise. 
Fortunately, the tool support for OCL has improved considerably over the 
last years and most tools are compliant with the OCL2.0 meta-model now. 
However, despite the compliance with the OCL language standard, only few 
tools share components for recurring tasks, as parsing or type checking. 
Moreover, compared to similar tools supporting other textual languages, 
e.g. integrated development environments (IDEs) for Java, tools for OCL 
are still rather archaic.


This workshop solicits research contributions and experience reports 
having an impact on the usability of OCL in practice. Topics of interest 
include (but are not restricted to):

    * Deficiencies in the current OCL specification preventing proper 
tool support
    * OCL as a family of languages (core OCL, XOCL, temporal OCL)
    * Relationships between OCL and other specification languages (JML, QVT)
    * Executable specifications
    * Experience reports on development of tools
    * Experience reports on usage of tools
    * User-friendly specifications (visualization, refactoring, etc.)
    * Guidelines on writing elegant OCL specifications
    * Libraries of reusable OCL specifications (including profiles)
    * Comparison of OCL with other formalisms

Submitted papers should be 8-15 pages in length. Papers must be 
submitted by email as postscript or pdf documents to Thomas Baar 

All accepted papers will be published as a Technical Report of the EPFL 
Lausanne, Switzerland. In addition, it is planned to publish revised 
version of the two best papers (page limit 10 pages) in the 
post-conference satellite proceedings (published by Springer in LNCS 
series). However, for the satellite proceedings there is no formal 
confirmation from the publisher, yet.

Workshop Format

The workshop is organized as a part of MoDELS/UML conference 2005 in 
Montego Bay, Jamaica. It continues a series of OCL workshops held at 
previous UML conferences: York 2000, Toronto 2001, San Francisco 2003, 
and Lisbon 2004. The workshop will include short presentations, parallel 
sessions of working groups, and a sum-up discussion. The concrete 
schedule as well as the exact length of the talks will depend on the 
number of accepted papers (see workshop website for updated information).

Important Dates

    Deadline for Submissions        August 15, 2005
    Notification of Authors         September 2, 2005
    Deadline for Final Version      September 16, 2005
    Workshop Date                   October 4, 2005


    * Thomas Baar, EPFL Lausanne, Switzerland  (contact)
    * Dan Chiorean, University of Cluj-Napoca, Romania
    * Alexandre Correa, University of Rio de Janeiro, Brazil
    * Martin Gogolla, University of Bremen, Germany
    * Heinrich Hußmann, University of Munich, Germany
    * Octavian Patrascoiu, University of Kent, United Kingdom
    * Peter H. Schmitt, Universität Karlsruhe, Germany
    * Jos Warmer, Ordina, The Netherlands
Received on Wed Jul 06 14:54:15 2005