ACM/IEEE 19th International Conference on
Model Driven Engineering Languages and Systems
October 2 – October 7, 2016  Saint-Malo (France)




OCL 2016 – 16th International Workshop on
OCL and Textual Modeling


Workshop Proceedings
Achim D. Brucker, Jordi Cabot, and Adolfo Sánchez-Barbudo Herrera (Eds.)




Published on Dec 2016 v1.0
© 2016 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.



Editors’ addresses:

Achim D. Brucker, The University of Sheffield, UK, a.brucker@sheffield.ac.uk

Jordi Cabot, ICREA - Open University of Catalonia, Spain, jordi.cabot@icrea.cat

Adolfo Sánchez-Barbudo Herrera, University of York, UK, asbh500@york.ac.uk
Organizers

Achim D. Brucker                  The University of Sheffield (UK)
Jordi Cabot                       ICREA – Open University of Catalonia (Spain)
Adolfo Sánchez-Barbudo Herrera   University of York (UK)


Program Committee

Thomas Baar                       University of Applied Sciences Berlin (Germany)
Mira Balaban                      Ben-Gurion University of the Negev (Israel)
Tricia Balfe                      Nomos Software (Ireland)
Domenico Bianculli                University of Luxembourg (Luxembourg)
Achim D. Brucker                  The University of Sheffield (UK)
Jordi Cabot                       ICREA – Open University of Catalonia (Spain)
Dan Chiorean                      Babes-Bolyai University (Romania)
Robert Clariso                    Universitat Oberta de Catalunya (Spain)
Tony Clark                        Sheffield Hallam University (UK)
Manuel Clavel                     IMDEA Software Institute (Spain)
Birgit Demuth                     Technische Universitat Dresden (Germany)
Marina Egea                       Indra Sistemas S.A. (Spain)
Geri Georg                        Colorado State University, Fort Collins (USA)
Martin Gogolla                    University of Bremen (Germany)
Shahar Maoz                       Tel Aviv University (Israel)
Istvan Rath                       Budapest University of Technology and Economics
                                  (Hungary)
Bernhard Rumpe                    RWTH Aachen (Germany)
Adolfo Sánchez-Barbudo Herrera   University of York (UK)
Massimo Tisi                      Ecole des Mines de Nantes (France)
Frédéric Tuong                  Univ Paris-Sud (France)
Edward Willink                    Willink Transformations Ltd. (UK)
Burkhart Wolff                    Univ Paris-Sud (France)
Steffen Zschaler                  King’s College London (UK)
Additional Reviewers
Vincent Bertram
Carolina Dania
Robert Heim
András Szabolcs Nagy
Table of Contents
Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .      1

On the Support of Qualified Associations in OCL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .                                                 3
Lars Hamann, Martin Gogolla, and Nisha Desai

Encapsulation, Operator Overloading, and Error Class Mechanisms in OCL . . . .                                                                             17
Vincent Bertram, Bernhard Rumpe, and Michael von Wenckstern

On the Functional Interpretation of OCL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .                                          33
Daniel Calegari and Marcos Viera

Extendable Toolchain for Automatic Compatibility Checks . . . . . . . . . . . . . . . . . . . .                                                            49
Vincent Bertram, Alexander Roth, Bernhard Rumpe, and Michael von Wenck-
stern
                                                                                                                                                            57
A Comparison of Textual Modeling Languages: OCL, Alloy, FOML . . . . . . . . . . .
Mira Balaban, Phillipa Bennett, Khanh Hoang Doan, Geri Georg, Martin
Gogolla, Igal Khitron, and Michael Kifer
                                                                                                                                                            73
Modeling and Reasoning with Multirelations, and their encoding in Alloy . . . . .
Peiyuan Sun, Zinovy Diskin, Michal Antkiewicz, and Krzysztof Czarnecki

Integrating UML/OCL Derived Properties into Validation and Verification Pro-                                                                                89
cesses . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Frank Hilken, Marcel Schuster, Karsten Sohr, and Martin Gogolla

Declarative Model Transformation Execution Planning . . . . . . . . . . . . . . . . . . . . . . . .                                                        105
Horacio Hoyos Rodriguez and Dimitrios S. Kolovos

Efficient OCL-based Incremental Transformations . . . . . . . . . . . . . . . . . . . . . . . . . . . . .                                                  121
Frédéric Jouault and Olivier Beaudoux

Models from Code, or Code as Models? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .                                         137
Antonio Garcia-Dominguez and Dimitris S. Kolovos

Re-Implementing Apache Thrift using Model-Driven Engineering Technologies:                                                                                 149
An Experience Report . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Sina Madani and Dimitris S. Kolovos

Recent Developments in OCL and Textual Modelling . . . . . . . . . . . . . . . . . . . . . . . . . .                                                       157
Achim D. Brucker, Jordi Cabot, Gwendal Daniel, Martin Gogolla, Adolfo
Sánchez-Barbudo Herrera, Frank Hilken, Frédéric Tuong, Edward D. Willink,
and Burkhart Wolff