Table of Contents

Objectives

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.

The increasing importance of OCL for model-centric methodologies on one hand and the improving but not perfect tool support for OCL on the other hand naturally raise a lot of questions. Which features should an OCL tool offer to encourage the usage of OCL in practice? Is it feasible to make OCL more executable and to provide an animator for OCL? Which consequences for future tools has the fact that OCL is incorporated in a number of other formalisms? Should we strive for a common architecture of OCL tools which would enable us to reuse standard components? What is the relationship between OCL and similar formalisms such as JML, SQL, or graph-grammar based formalisms? Are there unclear issues in the OCL language descriptions that still prevent a smooth tool support?

back to ToC

Submissions

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 (thomas.baar@epfl.ch). The organizing committee will review the submissions and select papers according to their relevance and interest for the discussions that will take place at the workshop.

All accepted papers will be published as a Technical Report of the EPFL Lausanne, Switzerland.

It is mandatory, that at least one author of each accepted paper attends the workshop and presents the paper there.

back to ToC

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. Following the successful model of its predecessors, this workshop addresses both people from academia and industrial practitioners.

The workshop will include short presentations, parallel sessions of working groups, and a sum-up discussion (see also Final Program).

back to ToC

Important Dates

back to ToC

Final Program

Important: The presentation of each paper should not exceed 25 minutes. Beamer and flipchart will be available at the workshop.

back to ToC

Proceedings

The workshop proceedings are published by the EPFL as Technical Report LGL-REPORT-2005-001. [pdf] [bib]

back to ToC

Summary

The summary of the workshop is published in J-M. Bruel (ed.): Satellite Events at the MoDELS 2005 Conference, Springer, LNCS 3844, 2006. : [pdf] [bib]

Perhaps, the most important outcome of the workshop was to launch a website that manages a repository for all kinds of educational documents on OCL: teaching modules, examples, project descriptions, etc. Please feel free to contribute to this new resource.

back to ToC

Gallery

Some impressions from the workshop (more pictures are welcome, please send yours to Thomas Baar).

back to ToC

Organizers

• 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 Hussmann, LMU Munich, Germany
• Octavian Patrascoiu, University of Kent, United Kingdom
• Peter H. Schmitt, Universität Karlsruhe, Germany
• Jos Warmer, Ordina, The Netherlands

back to ToC

This website is maintained by Thomas Baar , Last update: 12-04-2006 - 22:30