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, [email protected] Jordi Cabot, ICREA - Open University of Catalonia, Spain, [email protected] Adolfo Sánchez-Barbudo Herrera, University of York, UK, [email protected]
Organizers
Achim D. Brucker The University of Sheffield (UK)
Jordi Cabot ICREA – Open University of Catalonia (Spain)
Adolfo S´anchez-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´anchez-Barbudo Herrera University of York (UK)
Massimo Tisi Ecole des Mines de Nantes (France)
Fr´ed´eric 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´as 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
A Comparison of Textual Modeling Languages: OCL, Alloy, FOML . . . . 57 Mira Balaban, Phillipa Bennett, Khanh Hoang Doan, Geri Georg, Martin Gogolla, Igal Khitron, and Michael Kifer
Modeling and Reasoning with Multirelations, and their encoding in Alloy . . . . .
73 Peiyuan Sun, Zinovy Diskin, Michal Antkiewicz, and Krzysztof Czarnecki
Integrating UML/OCL Derived Properties into Validation and Verification Pro- cesses . . . .
89 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´ed´eric 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:
An Experience Report . . . .
149 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´anchez-Barbudo Herrera, Frank Hilken, Fr´ed´eric Tuong, Edward D. Willink, and Burkhart Wolff
