OCL 2016
16th International Workshop on OCL and Textual Modeling

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