Vol-1511⫷ Vol-1512 ⫸Vol-1513
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 ¹
Marina Egea ²
Martin Gogolla ³
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

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 |