| Vol-1092 urn:nbn:de:0074-1092-2 Copyright © 2013 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# OCL 2013
Object Constraint Language 2013

### Proceedings of the MODELS 2013 OCL Workshop
co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013)

### Miami, USA, September 30, 2013.

Edited by

### Jordi Cabot (A)
Martin Gogolla (B)
István Ráth (C)
Edward D. Willink (D)

(A) INRIA-Ecole des Mines de Nantes, France
(B) University of Bremen, Germany
(C) Budapest University of Technology and Economics, Hungary
(D) Willink Transformations Ltd., UK

## Table of Contents

- Preface

- Quality Assurance of Textual Models within Eclipse using OCL and Model Transformations 1-12
  Thorsten Arendt, Gabriele Taentzer, Alexander Weber
- OCL meets CTL: Towards CTL-Extended OCL Model Checking 13-22
  Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl
- On the Semantics of Object-Oriented Data Structures and Path Expressions 23-32
  Achim D. Brucker, Delphine Longuet, Frédéric Tuong, Burkhart Wolff
- OCL Pattern Matching 33-42
  Tony Clark
- Extracting UML/OCL Integrity Constraints and Derived Types from Relational Databases 43-52
  Valerio Cosentino, Salvador Martínez
- OCL2FOL+: Coping with Undefinedness 53-62
  Carolina Dania, Manuel Clavel
- Experiences Developing a Requirements Language Based on the Psychological Framework Activity Theory 63-72
  Geri Georg, Lucy Troup
- Tool-Supported Step-By-Step Debugging for the Object Constraint Language 73-82
  Lars Schütze, Claas Wilke, Birgit Demuth
- Improving the Usability of OCL as an Ad-hoc Model Querying Language 83-92
  Harald Störrle
- OCL as a Constraint Generation Language 93-102
  Bastian Ulke, Friedrich Steimann
- Report on the Aachen OCL Meeting 103-111
  Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Berhard Rumpe, Edward D. Willink, Burkhart Wolff

2013-11-25: submitted by Martin Gogolla
2013-11-25: published on CEUR-WS.org |valid HTML5|