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