OCL 2016 - 16th International Workshop on OCL and Textual Modeling Workshop Proceedings

-

© 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 Jordi Cabot Adolfo Sanchez-Barbudo Herrera

The University of She eld (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

Additional Reviewers

On the Support of Quali ed Associations in OCL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Lars Hamann, Martin Gogolla, and Nisha Desai Encapsulation, Operator Overloading, and Error Class Mechanisms in OCL . . . . Vincent Bertram, Bernhard Rumpe, and Michael von Wenckstern On the Functional Interpretation of OCL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Daniel Calegari and Marcos Viera Extendable Toolchain for Automatic Compatibility Checks . . . . . . . . . . . . . . . . . . . . Vincent Bertram, Alexander Roth, Bernhard Rumpe, and Michael von Wenckstern 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 Modeling and Reasoning with Multirelations, and their encoding in Alloy . . . . . Peiyuan Sun, Zinovy Diskin, Michal Antkiewicz, and Krzysztof Czarnecki Declarative Model Transformation Execution Planning . . . . . . . . . . . . . . . . . . . . . . . . Horacio Hoyos Rodriguez and Dimitrios S. Kolovos E cient OCL-based Incremental Transformations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Frederic Jouault and Olivier Beaudoux Models from Code, or Code as Models? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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 Recent Developments in OCL and Textual Modelling . . . . . . . . . . . . . . . . . . . . . . . . . . Achim D. Brucker, Jordi Cabot, Gwendal Daniel, Martin Gogolla, Adolfo Sanchez-Barbudo Herrera, Frank Hilken, Frederic Tuong, Edward D. Willink, and Burkhart Wol 1 3 17 33 49 57 73 89 105 121 137 149 157

References