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

# OCL 2015
OCL and Textual Modeling: Tools and Textual Model Transformations

### Proceedings of the 15th International Workshop on OCL and Textual Modeling
co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015)

### Ottawa, Canada, September 28, 2015.

Edited by

### Achim D. Brucker 1
Marina Egea 2
Martin Gogolla 3
Frédéric Tuong 4, 5

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

Complete workshop proceedings as one file

## Table of Contents

- Frontmatter
- Preface

### Session 1: Challenges of Constraint Languages

- Opportunities and Challenges for Deep Constraint Languages 3-18
  Colin Atkinson, Ralph Gerbig, Thomas Kühne
- An OCL-based Bridge from Concrete to Abstract Syntax 19-34
  Adolfo Sánchez-Barbudo Herrera, Edward Willink, Richard F. Paige

### Session 2: Evaluation

- On the Use of Active Operations for Incremental Bidirectional Evaluation of OCL 35-45
  Frédéric Jouault, Olivier Beaudoux
- Lazy Evaluation for OCL 46-61
  Massimo Tisi, Rémi Douence, Dennis Wagelaar

### Session 3: Tools and Emerging Ideas

- An Adaptable Tool Environment for High-level Differencing of Textual Models 62-72
  Timo Kehrer, Christopher Pietsch, Udo Kelter, Daniel Strüber, Steffen Vaupel
- Recursion and Iteration Support in USE Validator with AnATLyzer 73-80
  Jesús Sánchez Cuadrado
- Safe Navigation in OCL 81-88
  Edward D. Willink
- Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs 89-104
  Arnaud Dieumegard, Marc Pantel, Guillaume Babin, Martin Carton

### Session 4: Extending OCL and Panel Discussion

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

2015-11-12: submitted by Frédéric Tuong, metadata incl. bibliographic data published under Creative Commons CC0
2015-11-13: published on CEUR-WS.org |valid HTML5|