OCL 2011

International Workshop on OCL and Textual Modelling
Colocated with TOOLS Europe 2011, ICMT 2011,
TAP 2011 and SC 2011

Zurich - Switzerland, 29 June 2011

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.

The workshop will be organized as a part of TOOLS Europe 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.

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/DSL
• 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

Top

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 and be uploaded 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 webpage. It is planned that polished versions of accepted papers will be published in the Electronic Communications of the EASST.

A volume in Springer's Lecture Notes in Computer Science (LNCS) compiling the best papers of the TOOLS workshops is currently under consideration. Further information will be provided in this website.

• Paper submission: April 10, 2011 *Extended* (Submission link: EasyChair)
• Author notification: May 13, 2011
• Workshop date: June 29, 2011

Top

• 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

• Michael Altenhofen, SAP, Germany
• Thomas Baar, Tech@Spree, Germany
• Mariano Belaunde, Orange Labs, France
• Behzad Bordbar, University of Birmingham, UK
• Achim D. Brucker, SAP, Germany
• Tony Clark, Thames Valley University, UK
• Manuel Clavel, IMDEA Software, Spain
• Dan Chiorean, University of Cluj, Romania
• Joanna Chimiak-Opoka, University of Innsbruck, Austria
• Birgit Demuth, Technical University of Dresden, Germany
• Miguel García, Swiss Federal Institute of Technology, Switzerland
• Geri Georg, Colorado State University, USA
• 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

Top

Workshop welcome

• Introduction

[ Slides(PPT) ]

Session #1: OCL

• 11:00-11:20 Axel Uhl, Thomas Goldschmidt and Manuel Holzleitner. Using an OCL Impact Analysis Algorithm For View-Based Textual Modelling

[ PDF, Slides (PPTX) ]

• 11:20-11:40 Matthias P. Krieger and Achim D. Brucker. Extending OCL Operation Contracts with Objective Functions

[ PDF, Slides (PDF) ]

• 11:40-12:00 Manuel Roldán and Francisco Durán. Dynamic validation of OCL constraints with mOdCL

[ PDF, Slides (PDF) ]

• 12:00-12:20 Edward Willink. Modeling the OCL Standard Library

[ PDF, Slides (ODP) ]

• 12:20-12:40 Claas Wilke and Birgit Demuth. UML is still inconsistent! How to improve OCL Constraints in the UML 2.3 Superstructure

[ PDF, Slides (PDF) ]

• 12:40-13:00 Edward Willink. Aligning OCL with UML

[ PDF, Slides (ODP) ]

Session #2: Textual modelling and applications

• 14:30-14:50 Guillaume Savaton, Jean-Luc Béennec, Rola Kassem and Mikael Briday. An Architecture Description Language for Embedded Hardware Platforms

[ PDF, Animated slides (SVG), Static slides (PDF) ]

• 14:50-15:10 Lars Hamann, Martin Gogolla and Mirco Kuhlmann. OCL-based Runtime Monitoring of JVM hosted Applications

[ PDF, Slides (PPTX) ]

• 15:10-15:30 Jens Bruning, Lars Hamann and Andreas Wolff. Extending ASSL: Making UML Metamodel-based Workflows executable

[ PDF, Slides(PPTX) ]

Session #3: Community and discussion

• 16:00-16:20 Joanna Chimiak-Opoka, Birgit Demuth, Andreas Awenius, Dan Chiorean, Sebastien Gabel, Lars Hamann and Edward Willink. OCL Tools Report based on the IDE4OCL Feature Model

[ PDF, Slides (PDF) ]

• 16:20-17:30 Discussion

Meeting minutes: [ PDF ]

Top

The TOOLS Europe 2011 conference and workshops will be colocated with ICMT 2011, TAP 2011 and SC 2011, and hosted at the premises of the ETH in Zurich during the week of June 27 - July 1, 2011. TOOLS Europe will happen between Tuesday 28 and Thursday 30.

For further details about the location and the accommodation available for the conference visit http://tools.ethz.ch/

All TOOLS Europe 2011 participants should register in advance for the event. Further information about the registration is available at http://tools.ethz.ch/.

Top

News:
- Feb. 23, 2011: First call for papers.
- April 3, 2011: Deadline extended (until April 10, 2011).
- April 17, 2011: Author notification postponed (until May 10, 2011).
- May 8, 2011: Author notification postponed (until May 13, 2011).
- May 13, 2011: Author notifications sent.
- May 23, 2011: Final program announced.
- June 14, 2011: Camera ready papers published online.
- July 15, 2011: Slides and discussion available onilne.

For further information
contact us at:
  rclariso[at]uoc.edu

OCL 2011 is co-located with: TOOLS Europe 2011,  ICMT 2011,  TAP 2011 and SC 2011.

Last updated: May 23, 2011