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|