OCL 2010

Workshop on OCL and Textual Modelling

Call for papers

Modelling started out with UML and its precursors as a graphical notation. However, graphical notations were found to have limitations in terms of specifying detailed aspects of a system design and in terms of processing and managing models. Limitations in using graphical languages include: specifying detailed behaviour; linking models to other traditional languages; making models executable; model transformation; extensions to modelling languages; model management. Many of these limitations have been addressed in recent years by proposals for textual modelling languages (e.g. theres is a growing number of tools to textually define UML models ) that either integrate with or replace graphical notations for modelling. Typical examples of such languages are OCL, textual MOF, Epsilon, Alloy etc.

The motivation for this workshop is to bring together researchers and practitioners in textual modelling to report advances in the field, to share results, to identify common areas and potential for integration, and to identify common tools for developing textual modelling languages, with a view to advancing the state-of-the art. In particular the workshop will provide a forum for existing textual modelling standards such as OCL to be debated and the intention is that the workshop will engage with the appropriate standards bodies to disseminate practitioner requirements and to report research results.

Workshop topics

Topics of interest include (but are not limited to):
  • New and/or succesful applications of textual modelling languages
  • Mappings between textual modelling languages and other languages/formalisms
  • New algorithms, evaluation strategies and optimizations for textual modelling languages for
    • validation, verification, and testing,
    • model transformation and code generation,
    • metamodeling/DSLs,
    • query and constraint specifications
  • Alternative graphical/textual notations for textual modelling languages
  • Evolution, transformation and simplification of textual modelling expressions
  • Libraries, templates and patterns for textual modelling languages
  • Complexity results for textual modelling languages
  • Quality models and benchmarks for comparing and evaluating textual modelling tools and algorithms
  • Case studies on industrial applications of textual modelling languages
  • Experience reports:
    • usage of textual modelling languages and tools in complex domains,
    • usability of textual modelling languages and tools for end-users
  • Empirical studies about the benefits and drawbacks of textual modelling languages
  • Innovative textual modelling 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 (EasyChair): http://www.easychair.org/conferences/?conf=ocl10

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 in cooperation with an international publisher, e.g., the Electronic Communications of the EASST, eceasst.cs.tu-berlin.de. Accepted papers will also appear at http://www.metamodel.com and the OCL Portal .

Moreover the two best papers will appear in the MoDELS'10 LNCS Workshop Proceedings (to be confirmed) as in previous editions of the workshop.

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

Important dates

Paper submission: July 30, 2010
Author notification: August 23, 2010
Camera-ready papers: September 15, 2010

Last updated: Jun 1, 2010