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

CALL FOR PAPERS


OCL and Textual Modelling 2011

June 29, Zurich, Switzerland (co-located with TOOLS 2011)

http://gres.uoc.edu/OCL2011

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

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 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.

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

Venue
-----

The workshop will be organized as a part of TOOLS 2011 Conference in
Zurich, Switzerland.

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

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

Submissions
-----------
Two types of papers will be considered: short papers (up to 10 pages)
and full papers (up to 15 pages). All papers must follow the LNCS
guidelines and be uploaded to the Submission system (EasyChair):

http://www.easychair.org/conferences/?conf=ocl2011

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 first published online in the workshop web page.

It is planned that polished versions of accepted papers will be
published in the Electronic Communications of the EASST
(http://journal.ub.tu-berlin.de/index.php/eceasst).


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

Submissions of papers: April 5, 2011
Notification of acceptance: May 3, 2011

Organisers
----------

Jordi Cabot, Ècole des Mines de Nantes, France,
Robert Clarisó, Universitat Oberta de Catalunya, Spain
Martin Gogolla, University of Bremen, Germany,
Burkhart Wolff, Université de Paris-Sud, France


Programme Committee (to be completed)
-------------------

Michael Altenhofen, SAP, Germany
Thomas Baar, Tech@Spree, Germany
Mariano Belaunde, Orange Labs, France
Achim D. Brucker, SAP, Germany
Dan Chiorean, University of Cluj, Romania
Joanna Chimiak-Opoka, University of Innsbruck, Austria
Birgit Demuth, Technical University of Dresden, Germany
Alexander Knapp, University of Augsburg, Germany
Richard Paige, University of York, UK
Mark Richters, Astrium Space Transportation, Germany
Pieter Van Gorp, University of Eindhoven
Ed Willink, Thales, UK
Steffen Zschaler, King's College London, UK
------------------------------------------------------------------------