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 Jordi Cabot Adolfo Sánchez-Barbudo Herrera The University of Sheffield (UK) ICREA Open University of Catalonia (Spain) University of York (UK) Program Committee Thomas Baar Mira Balaban Tricia Balfe Domenico Bianculli Achim D. Brucker Jordi Cabot Dan Chiorean Robert Clariso Tony Clark Manuel Clavel Birgit Demuth Marina Egea Geri Georg Martin Gogolla Shahar Maoz Istvan Rath Bernhard Rumpe Adolfo Sánchez-Barbudo Herrera Massimo Tisi Frédéric Tuong Edward Willink Burkhart Wolff Steffen Zschaler University of Applied Sciences Berlin (Germany) Ben-Gurion University of the Negev (Israel) Nomos Software (Ireland) University of Luxembourg (Luxembourg) The University of Sheffield (UK) ICREA Open University of Catalonia (Spain) Babes-Bolyai University (Romania) Universitat Oberta de Catalunya (Spain) Sheffield Hallam University (UK) IMDEA Software Institute (Spain) Technische Universitat Dresden (Germany) Indra Sistemas S.A. (Spain) Colorado State University, Fort Collins (USA) University of Bremen (Germany) Tel Aviv University (Israel) Budapest University of Technology and Economics (Hungary) RWTH Aachen (Germany) University of York (UK) Ecole des Mines de Nantes (France) Univ Paris-Sud (France) Willink Transformations Ltd. (UK) Univ Paris-Sud (France) 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 Wenckstern 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 Processes......................................................................... Frank Hilken, Marcel Schuster, Karsten Sohr, and Martin Gogolla 89 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: An Experience Report........................................................ Sina Madani and Dimitris S. Kolovos 149 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