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) [email protected] Marina Egea
Indra Sistemas S.A. (Spain) [email protected]
Martin Gogolla
University of Bremen (Germany) [email protected] 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