13th International Workshop on OCL,Model Constraint and Query Languages
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
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.
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
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.
- Submission of papers: July 15, 2013
- Notification: August 15, 2013
- Workshop date: September 30 2013
- 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.
Websites of the previous edtions can be found as enlisted below.
- OCL 2012, Innsbruck
- OCL 2011, Zurich
- OCL 2010, Oslo
- OCL 2009, Colorado
- OCL 2008, Toulouse
- OCL 2007, Nashville
- OCL 2006, Genova
- OCL 2005, Montego Bay
- OCL 2004, Lisbon
- OCL 2003, San Francisco
- OCL 2001, Toronto
- OCL 2000, York
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.
OCL as a Constraint Generation Language.
Friedrich Steimann, University Hagen, Germany;
Bastian Ulke, University Hagen, Germany.
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.
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.
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.
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.
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.
Improving OCLs Usability as an Ad-hoc Model Querying Language.
Harald Störrle, Technical University of Denmark, Lyngby, Denmark.
OCL Pattern Matching.
Tony Clark, Middlesex University, London, UK.
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.
15:00 - 15:30 Coffee break
15:30 - 15:45 OCL 2.4. Short overview by Ed Willink.
15:45 - 17:00 Open Session