13th International Workshop on OCL,
Model Constraint and Query Languages
(OCL 2013)

Miami, Florida - USA
30 September 2013

Co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013)

Call for Papers

UML and its precursors exemplify the use of a graphical notation for modeling. Such visual representations enable direct intuitive capturing of reality, but some of their features are difficult to formalize and lack the level of precision required to create complete and unambiguous specifications. Limitations of the graphical notations encouraged the development of text-based modeling languages that either integrate with or replace graphical notations for modeling. Typical examples of such languages are OCL, textual MOF, Epsilon, and Alloy. Textual modeling languages have their roots in formal language paradigms like logic, programming and databases.

The goal of this workshop is create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation.


Topics of interest include (but are not limited to):

  • Mappings between textual modeling languages and other languages/formalisms
  • Algorithms, evaluation strategies and optimizations in the context of textual modeling languages for
    • validation, verification, and testing,
    • model transformation and code generation,
    • metamodeling and DSLs, and
    • query and constraint specifications
  • Alternative graphical/textual notations for textual modeling languages
  • Evolution, transformation and simplification of textual modeling expressions
  • Modularization, libraries, APIs, templates and patterns for textual modeling languages
  • Complexity results for textual modeling languages
  • Quality models and benchmarks for comparing and evaluating textual modeling tools and algorithms
  • Successful applications of textual modeling languages
  • Case studies on industrial applications of textual modeling languages
  • Experience reports
    • usage of textual modeling languages and tools in complex domains,
    • usability of textual modeling languages and tools for end-users
  • Empirical studies about the benefits and drawbacks of textual modeling languages
  • Innovative textual modeling tools
  • Comparison, evaluation and integration of modeling languages
  • Correlation between modeling languages and modeling tasks
  • Extending or realizing the OCL analysis tool benchmark

If there are any questions concerning the CfP, please contact one of the organizers.

Workshop Format

The workshop will include short (about 15 min) presentations followed by discussions after each group of similarly themed papers.


Two types of papers will be considered: Short papers (up to 6 pages) and full papers (up to 10 pages) in LNCS format (guidelines). Additionally, camera ready publication constraints impose a minimum length of 3 pages for short papers and 8 pages for full papers.

Submissions should be uploaded to the Submission system in EasyChair. The program committee will review the submissions (minimum 2 reviews per paper, usually 3 reviews) and select papers according to their relevance and interest for discussions that will take place at the workshop. Accepted papers will be published online in the workshop web page. Publication of all workshop proceedings will be in CEUR, which is indexed by DBLP. Each workshop will have its own volume, with the common ISSN of the CEUR series.

Important Dates

  • Submission of papers: July 15, 2013
  • Notification: August 15, 2013
  • Workshop date: September 30 2013


Programme Committee

  • Thomas Baar, University of Applied Sciences Berlin, Germany
  • Mira Balaban, Ben-Gurion University of the Negev, Israel
  • Tricia Balfe, Nomos Software, Ireland
  • Fabian Buettner, Ecole des Mines de Nantes, France
  • D. Achim Brucker, SAP Research, Germany
  • Yoonsik Cheon, University of Texas, USA
  • Dan Chiorean, Babes-Bolyai University, Romania
  • Robert Clariso, Universitat Oberta de Catalunya, Spain
  • Tony Clark, Middlesex University, UK
  • Manuel Clavel, Universidad Complutense de Madrid, Spain
  • Birgit Demuth, Technische Universitat Dresden, Germany
  • Marina Egea, Atos Research, Madrid, Spain
  • Pieter Van Gorp, Eindhoven University of Technology, The Netherlands
  • Heinrich Hussmann, LMU Munchen, Germany
  • Tihamer Levendovszky, Vanderbilt University, USA
  • Shahar Maoz, Tel Aviv University, Israel
  • Shane Sendall, Snowie Research SA, Switzerland
  • Michael Wahler, ABB Switzerland Ltd Corporate Research, Switzerland
  • Claas Wilke, Technische Universitat Dresden, Germany
  • Burkhart Wolff, Univ Paris-Sud, France
  • Steffen Zschaler, King's College, London, UK


The workshop will be organized as a part of MODELS 2013 Conference in Miami, USA. 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), Oslo (2010), Zurich (2011, at the TOOLs conference) and Innsbruck (2012). 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 modeling languages, as well as tools for textual modeling, and for disseminating good practice and discussing the new requirements for textual modeling.

Previous Editions

Websites of the previous edtions can be found as enlisted below.


As the OCL 2013 Workshop belongs to the MODELS 2013 satellite events, the registration is organized via the conference web site. Fur further information please check out the MODELS 2013 conference web site. For each paper accepted to the workshop it is required that at least one author registers for the workshop (it may be the student fee).


Each paper will have 15 minutes of presentation and 10 minutes of discussion time. All submissions in a single ZIP archive can be downloaded from here.

The planned program for OCL2013 is the following:

8:30 - 10:00 Session 1

  • Quality Assurance of Textual Models within Eclipse using OCL and Model Transformations. Thorsten Arendt, Philipps University Marburg, Germany; Gabriele Taentzer, Philipps University Marburg, Germany; Alexander Weber, Philipps University Marburg, Germany. PDF
  • OCL as a Constraint Generation Language. Friedrich Steimann, University Hagen, Germany; Bastian Ulke, University Hagen, Germany. PDF
  • Tool-Supported Step-By-Step Debugging for the Object Constraint Language. Lars Schütze, Technical University Dresden, Germany; Claas Wilke, Technical University Dresden, Germany; Birgit Demuth, Technical University Dresden, Germany. PDF

10:00 - 10:30 Coffee break

10:30 - 12:00 Session 2

  • OCL2FOL+: Coping with Undefinedness. Carolina Dania, IMDEA Software Institute, Madrid, Spain; Manuel Clavel, Universidad Complutense de Madrid, Madrid, Spain. PDF
  • OCL meets CTL: Towards CTL-Extended OCL Model Checking. Sebastian Gabmeyer, Vienna University of Technology, Austria; Petra Brosch, Vienna University of Technology, Austria; Martina Seidl, Vienna University of Technology, Austria; Robert Bill, Vienna University of Technology, Austria. PDF
  • On the Semantics of Object-oriented Data Structures and Path Expressions. Achim D. Brucker, SAP AG, Germany; Delphine Longuet, University Paris-Sud, France; Frédéric Tuong, University Paris-Sud, France; Burkhart Wolff, University Paris-Sud, France. PDF

12:00 - 13:30 Lunch

13:30 - 15:00 Session 3

  • Experiences Developing a Requirements Language Based on the Psychological Framework Activity Theory. Geri Georg, Colorado State University, Fort Collins, USA; Lucy Troup, Colorado State University, Fort Collins, USA. PDF
  • Improving OCLs Usability as an Ad-hoc Model Querying Language. Harald Störrle, Technical University of Denmark, Lyngby, Denmark. PDF
  • OCL Pattern Matching. Tony Clark, Middlesex University, London, UK. PDF
  • Extracting UML/OCL Integrity Constraints and Derived Types from Relational Databases. Valerio Cosentino, Ecole de Mines, Nantes, France; Salvador Martinez Perez, Ecole de Mines, Nantes, France. PDF

15:00 - 15:30 Coffee break

15:30 - 15:45 OCL 2.4. Short overview by Ed Willink.

15:45 - 17:00 Open Session


16th September, 2013.

Detailed program published.

25th August, 2013.

List of accepted papers published.

16th May, 2013.

Submission formatting requirements updated.

15th April, 2013.

OCL2013 website is online.