OCL 2015 - 15th International Workshop on OCL and Textual Modeling: Tools and Textual Model Transformations Workshop Proceedings

-

© 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:

Workshop Chairs

Achim D. Brucker Marina Egea Martin Gogolla Frédéric Tuong

Program Committee

SAP SE (Germany) Indra Sistemas S.A. (Spain) University of Bremen (Germany) LRI, Univ. Paris-Sud, CNRS, Université Paris-Saclay (France) — IRT SystemX (France)

Mira Balaban

Tricia Balfe Achim D. Brucker Fabian Büttner Jordi Cabot Dan Chiorean Robert Clariso Tony Clark Manuel Clavel Carolina Dania Birgit Demuth Marina Egea Geri Georg Martin Gogolla Shahar Maoz István Ráth Bernhard Rumpe Frédéric Tuong Additional Reviewers Javier Luis Cánovas Izquierdo

Klaus Müller Opportunities and Challenges for Deep Constraint Languages . . . . . . . . . . . . . . . . . . . . . . . . Colin Atkinson, Ralph Gerbig, and Thomas Kühne An OCL-based Bridge from Concrete to Abstract Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Adolfo Sánchez-Barbudo Herrera, Edward Willink, and Richard F. Paige On the Use of Active Operations for Incremental Bidirectional Evaluation of OCL . . . . Frédéric Jouault, and Olivier Beaudoux Lazy Evaluation for OCL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Massimo Tisi, Rémi Douence, and Dennis Wagelaar An Adaptable Tool Environment for High-level Differencing of Textual Models . . . . . . . Timo Kehrer, Christopher Pietsch, Udo Kelter, Daniel Strüber, and Steffen Vaupel Recursion and Iteration Support in USE Validator with AnATLyzer . . . . . . . . . . . . . . . . . . Jesús Sánchez Cuadrado Safe Navigation in OCL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Edward D. Willink Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs . . . Arnaud Dieumegard, Marc Pantel, Guillaume Babin, and Martin Carton 1 3 19 35 46 62 73 81 89 Tool Paper: Combining Alf and UML in Modeling Tools - An Example with Papyrus Ed Seidewitz, and Jérémie Tatibouet 105

References