OCL Concepts and Tools: From Implementation to Evaluation and Comparison

MODELS'2008 Workshop

Toulouse, France

http://www.fots.ua.ac.be/events/ocl2008/

=======================================================================

In recent years, MDA and associated MDE methodologies, approaches and
languages (like QVT) emphasized the role that OCL has to play in MDE
development. Moreover, beyond using OCL in specifying assertions and
operations, new approaches and visions reveal beneficial usage of OCL
in quite different applications domains (e.g.,domain-specific languages,
web semantics) and for various purposes (e.g., model verification and
validation, code-generation, test-driven development, transformations).

This workshop pretends to consolidate and expand the role of OCL among
the modeling community by creating a road map for research and development
that could potentially drive the building of a new generation of OCL tools,
able to support all these new OCL applications, extensions and usages.

Topics
------

This workshop solicits research contributions and experience reports
related to the development, application, evaluation and comparison of
the OCL language and of all kinds of OCL-related tools.

Topics of interest include (but are not limited to):

- Innovative OCL tools:
* validation, verification, and testing,
* model transformation and code-generation,
* tool specific solutions to open problems in the OCL standard.
- Useful algorithms, libraries and patterns for OCL.
- Complexity results for the OCL language.
- Quality models for comparing and evaluating OCL tools.
- Benchmarks for OCL tools:
* input/output tests for compilers/interpreters,
* performance tests.
- New requirements for OCL tools.
- Reuse and interoperability of OCL tools.
- Experience reports:
* usage of OCL and OCL tools in complex domains,
* usability of the OCL and of the OCL tools for end-users.

Venue
-----

The workshop will be organized as a part of MODELS/UML 2008 Conference
in Toulouse, France. It continues the series of OCL workshops held
at previous UML/MODELS conferences: York (2000), Toronto (2001), San
Francisco (2003), Lisbon (2004), Montego Bay (2005), Genova
(2006) and Nashville (2007). Similar to its predecessors, the workshop
addresses both people from academia and industry. The aim is to provide
a forum for exchanging views on OCL and OCL tools wrt. the visions of MDA and MDE,
languages and methodologies. Furthermore, the workshop calls out to
research groups working on important research domains like Semantic Web
or Business Process Modeling to consider the usage of OCL and to specify
OCL tools functionalities and features needed.

Workshop Format
---------------

The workshop will include short (about 15 min) presentations, parallel
sessions of working groups, and sum-up discussions.

Submissions
-----------

Full papers should be 5-15 pages in length in LNCS style. Papers must
be submitted by email in PDF format to jcabot@uoc.edu. All submissions
will be acknowledged.

The program committee will review the submissions and select papers
according to their relevance and interest for the discussions that
will take place at the workshop.

Accepted papers will be made available well before the workshop,
on the workshop web page as well as in the http://www.metamodel.com and
http://www-st.inf.tu-dresden.de/ocl/ (the OCL Portal) web sites.

Polished versions of accepted papers will be published in the
Electronic Communications of the EASST, eceasst.cs.tu-berlin.de.

The best two contributions will be included in the MODELS 2008 Satellite
Event Proceedings, published by Springer in the LNCS series.

Important Dates
---------------

Submissions of papers: July 14, 2008
Notification of acceptance: August 29, 2008
Camera-Ready paper versions: September 19, 2008

Organisers
----------

Jordi Cabot, Open University of Catalonia, Spain, jcabot@uoc.edu (primary contact)
Margin Gogolla, University of Bremen, Germany, gogolla@informatik.uni-bremen.de
Pieter Van Gorp, University of Antwerp, Belgium, pieter@pietervangorp.com

Programme Committee
-------------------

David H. Akehurst, Thales, UK
Thomas Baar, Tech@Spree, Germany
Jean Bezivin, University of Nantes, France
Behzad Bordbar, University of Manchester,UK
Achim Brucker, SAP, Germany
Dan Chiorean, University of Cluj, Romania
Tony Clark, Ceteva, UK
Birgit Demuth, Technical University of Dresden, Germany
Remco Dijkman, Eindhoven University of Technology, The Netherlans
Robert France, University of Fort Collins, USA
Heinrich Hussmann, University of Munich, Germany
Richard Mitchell, Inferdata, UK
Mark Richters, Astrium Space Transportation, Germany
Shane Sendall, IBM, Switzerland
Burkhart Wolff, Technical University of Zuerich, Switzerland
Steffen Zschaler, Technical University of Dresden, Germany

------------------------------------------------------------------------