| Vol-1756 urn:nbn:de:0074-1756-1 Copyright © 2016 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 2016
16th International Workshop on OCL and Textual Modeling

### Proceedings of the 16th International Workshop on OCL and Textual Modelling
co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016).

### Saint-Malo, France, October 2, 2016.

Edited by

### Achim D. Brucker (A)
Jordi Cabot (B)
Adolfo Sánchez-Barbudo Herrera (C)

(A) The University of Sheffield, Sheffield, UK
(B) ICREA - Open University of Catalonia, Barcelona, Spain
(C) University of York, York, UK

## Table of Contents

- Frontmatter
- Preface

- On the Support of Qualified Associations in OCL 3-15
  Lars Hamann, Martin Gogolla, Nisha Desai
- Encapsulation, Operator Overloading, and Error Class Mechanisms in OCL 17-32
  Vincent Bertram, Bernhard Rumpe, Michael von Wenckstern
- On the Functional Interpretation of OCL 33-48
  Daniel Calegari, Marcos Viera
- Extendable Toolchain for Automatic Compatibility Checks 49-56
  Vincent Bertram, Alexander Roth, Bernhard Rumpe, Michael von Wenckstern
- A Comparison of Textual Modeling Languages: OCL, Alloy, FOML 57-72
  Mira Balaban, Phillipa Bennett, Khanh Hoang Doan, Geri Georg, Martin Gogolla, Igal Khitron, Michael Kifer
- Modeling and Reasoning with Multirelations, and their encoding in Alloy 73-88
  Peiyuan Sun, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki
- Integrating UML/OCL Derived Properties into Validation and Verification Processes 89-104
  Frank Hilken, Marcel Schuster, Karsten Sohr, Martin Gogolla
- Declarative Model Transformation Execution Planning 105-120
  Horacio Hoyos Rodriguez, Dimitrios S. Kolovos
- Efficient OCL-based Incremental Transformations 121-136
  Frédéric Jouault, Olivier Beaudoux
- Models from Code, or Code as Models? 137-148
  Antonio Garcia-Dominguez, Dimitris S. Kolovos
- Re-Implementing Apache Thrift using Model-Driven Engineering Technologies: An Experience Report 149-156
  Sina Madani, Dimitris S. Kolovos
- Recent Developments in OCL and Textual Modelling 157-165
  Achim D. Brucker, Jordi Cabot, Gwendal Daniel, Martin Gogolla, Adolfo Sánchez-Barbudo Herrera, Frank Hilken, Frédéric Tuong, Edward D. Willink, Burkhart Wolff

2016-12-08: submitted by Achim D. Brucker, metadata incl. bibliographic data published under Creative Commons CC0
2016-12-09: published on CEUR-WS.org |valid HTML5|