OCL 2011 - OCL 2011 International Workshop on OCL and Textual Modelling

CALL FOR PAPERS

OCL 2011

International Workshop on OCL and Textual Modeling

Co-located with TOOLS Europe 2011, ICMT 2011, TAP 2011 and SC 2011

June 29, 2011

Zurich, Switzerland

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

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. It continues the series of OCL workshops held at
UML/MODELS conferences: York (2000), Toronto (2001), San Francisco (2003),
Lisbon (2004), Montego Bay (2005), Genova (2006), Nashville (2007),
Toulouse (2008), Denver (2009) and Oslo (2010). Similar to its predecessors,
the workshop addresses both people from academia and industry. The aim is to
provide a forum for addressing integration of OCL and other textual modelling
languages, as well as tools for textual modelling, and for disseminating good
practice and discussing the new requirements for textual modelling.

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 20 pages). All papers must follow the
Lecture Notes in Computer Science (LNCS) guidelines
(http://www.springer.com/computer/lncs) and be uploades to the
Submission system (EasyChair).

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). Furhtermore,
a volume in Springer's Lecture Notes in Computer Science (LNCS) compiling
the best papers of the TOOLS workshops is currently under consideration.

Important Dates


Submissions of papers: April 10, 2011 *Extended*
Notification of acceptance: May 3, 2011
Workshop date: June 29, 2011

Organisers


Jordi Cabot, Ecole des Mines de Nantes, France, jordi.cabot-AT-inria.fr
Robert Clariso, Universitat Oberta de Catalunya, Spain, rclariso-AT-uoc.edu
Martin Gogolla, University of Bremen, Germany, gogolla-AT-informatik.uni-bremen.de
Burkhart Wolff, Universite de Paris-Sud, France, Burkhart.Wolff-AT-lri.fr

Programme Committee (to be completed)


Michael Altenhofen, SAP, Germany
Thomas Baar, Tech-AT-Spree, Germany
Mariano Belaunde, Orange Labs, France
Behzad Bordbar, University of Birmingham, UK
Achim 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