MODELS 2009
OCL 2009 Workshop - The Pragmatics of OCL and other textual specification languages

Home

Program

Call for papers

Important Dates

Submission

Organizers

Venue

Travel

Contacts

Call for papers

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, the modeling community is continuously pushing forward the OCL. Now, OCL is used 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 will focus on the challenges of using OCL on these new domains and how the language needs to evolve to be successfully applied on them.

In particular, we are interested in discussing alternative notations/representations for OCL that simplify its application, new textual/graphical languages that can complement/replace OCL, new ways of writing OCL expressions (e.g., patterns, templates and libraries), sharing OCL expressions and OCL know-how, new domain-dependent evaluation and optimization strategies, mappings from OCL to other languages and formalisms (Java, SQL, Alloy, Maude, constraint programming, ...) and, of course, the tools that will make all of this possible. In addition, all other aspects that may facilitate a wider adoption and support of OCL or its usability are also welcome.

Workshop topics

Topics of interest include (but are not limited to):
  • New and/or succesful applications of the OCL
  • Mappings between OCL and other languages/formalisms (e.g., Java, SQL, Alloy, Maude, constraint programming)
  • New algorithms, evaluation strategies and optimizations for OCL for
    • validation, verification, and testing,
    • model transformation and code generation,
    • metamodeling/DSLs,
    • query and constraint specifications
  • Alternative graphical/textual notations for OCL
  • Evolution, transformation and simplification of OCL expressions
  • Libraries, templates and patterns for OCL
  • Complexity results for the OCL language
  • Quality models and benchmarks for comparing and evaluating OCL tools and algorithms
  • Case studies on industrial applications of OCL
  • Experience reports:
    • usage of OCL and OCL tools in complex domains,
    • usability of the OCL and of the OCL tools for end-users
  • Empirical studies about the benefits and drawbacks of OCL
  • Innovative OCL tools

Workshop Format

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

Submission Process

Short papers (up to 5 pages) and full papers (up to 15 pages) can be submitted to the workshop. All papers must follow LNCS style guidelines and be uploaded to the Submission system (see below).

The program committee will review the submissions (minimum 2 reviews per paper) and select papers according to their relevance and interest for discussions that will take place at the workshop. Accepted papers will be published at http://www.metamodel.com/ and the OCL Portal.

As in previous editions, it is planned that polished versions of accepted papers will be published in cooperation with an international publisher, e.g., the Electronic Communications of the EASST. Moreover the two best papers will appear in the planned MoDELS'09 LNCS Workshop Proceedings.

Papers must be uploaded to the OCL 2009 submission site (EasyChair)

Important dates

Paper submission: (extended deadline) July 26, 2009
Author notification: August 28, 2009
Camera-ready papers: September 20, 2009

What's New?

June 26 Two best papers will appear in a LNCS Workshop Proc. (planned)

June 20 Submission site is up

May 20 Workshop web page is up


Last updated: May 20, 2009