ACM/IEEE 18th International Conference on
Model Driven Engineering Languages and Systems
September 27 – October 2, 2015 • Ottawa (Canada)




OCL 2015 – 15th International Workshop on
OCL and Textual Modeling:
Tools and Textual Model Transformations
Workshop Proceedings
Achim D. Brucker, Marina Egea, Martin Gogolla, and Frédéric Tuong (Eds.)




Published on Oct 2015 v1.0
© 2015 for the individual papers by the papers’ authors. Copying permitted for private and academic
purposes. Re-publication of material from this volume requires permission by the copyright owners.



Workshop URL: http://ocl2015.lri.fr

Editors’ addresses:

Achim D. Brucker
SAP SE (Germany)
achim.brucker@sap.com

Marina Egea
Indra Sistemas S.A. (Spain)
msegeo@indra.es

Martin Gogolla
University of Bremen (Germany)
gogolla@informatik.uni-bremen.de

Frédéric Tuong
Univ. Paris-Sud – IRT SystemX – LRI (France)
frederic.tuong@{u-psud, irt-systemx, lri}.fr
Workshop Chairs

Achim D. Brucker   SAP SE (Germany)
Marina Egea        Indra Sistemas S.A. (Spain)
Martin Gogolla     University of Bremen (Germany)
Frédéric Tuong     LRI, Univ. Paris-Sud, CNRS, Université Paris-Saclay (France) —
                   IRT SystemX (France)


Program Committee

Mira Balaban       Ben-Gurion University of the Negev (Israel)
Tricia Balfe       Nomos Software (Ireland)
Achim D. Brucker   SAP SE (Germany)
Fabian Büttner     Inria (France)
Jordi Cabot        ICREA (Spain)
Dan Chiorean       Babes, -Bolyai University (Romania)
Robert Clariso     Universitat Oberta de Catalunya (Spain)
Tony Clark         Middlesex University (UK)
Manuel Clavel      IMDEA Software Institute (Spain)
Carolina Dania     IMDEA Software Institute (Spain)
Birgit Demuth      Technische Universität Dresden (Germany)
Marina Egea        Indra Sistemas S.A. (Spain)
Geri Georg         Colorado State University (USA)
Martin Gogolla     University of Bremen (Germany)
Shahar Maoz        Tel Aviv University (Israel)
István Ráth        Budapest University of Technology and Economics (Hungary)
Bernhard Rumpe     RWTH Aachen (Germany)
Frédéric Tuong     LRI, Univ. Paris-Sud, CNRS, Université Paris-Saclay (France) —
                   IRT SystemX (France)
Claas Wilke        Technische Universität Dresden (Germany)
Edward Willink     Willink Transformations Ltd. (UK)
Burkhart Wolff     LRI, Univ. Paris-Sud, CNRS, Université Paris-Saclay (France)
Steffen Zschaler   King’s College (UK)
Additional Reviewers
Javier Luis Cánovas Izquierdo
Klaus Müller
Table of Contents
Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .    1

Opportunities and Challenges for Deep Constraint Languages . . . . . . . . . . . . . . . . . . . . . . . .                                                             3
Colin Atkinson, Ralph Gerbig, and Thomas Kühne

An OCL-based Bridge from Concrete to Abstract Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . .                                                        19
Adolfo Sánchez-Barbudo Herrera, Edward Willink, and Richard F. Paige

On the Use of Active Operations for Incremental Bidirectional Evaluation of OCL . . . .                                                                               35
Frédéric Jouault, and Olivier Beaudoux

Lazy Evaluation for OCL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .                       46
Massimo Tisi, Rémi Douence, and Dennis Wagelaar

An Adaptable Tool Environment for High-level Differencing of Textual Models . . . . . . .                                                                             62
Timo Kehrer, Christopher Pietsch, Udo Kelter, Daniel Strüber, and Steffen Vaupel

Recursion and Iteration Support in USE Validator with AnATLyzer . . . . . . . . . . . . . . . . . .                                                                   73
Jesús Sánchez Cuadrado

Safe Navigation in OCL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .                    81
Edward D. Willink

Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs . . .                                                                                    89
Arnaud Dieumegard, Marc Pantel, Guillaume Babin, and Martin Carton

Tool Paper: Combining Alf and UML in Modeling Tools - An Example with Papyrus -                                                                                       105
Ed Seidewitz, and Jérémie Tatibouet