Recent Developments in OCL and Textual Modelling

The panel session of the 16th OCL workshop featured a lightning talk session for discussing recent developments and open questions in the area of OCL and textual modelling. During this session, the OCL community discussed, stimulated through short presentations by OCL experts, tool support, potential future extensions, and suggested initiatives to make the textual modelling community even more successful. This collaborative paper, to which each OCL expert contributed one section, summarises the discussions as well as describes the recent developments and open questions presented in the lightning talks.

[1]  Frédéric Tuong,et al.  Constructing Semantically Sound Object-Logics for UML/OCL Based Domain-Specific Languages. (Construction de Logiques-Objet Sémantiquement Correct pour des Langages à Domaines Spécifiques Basés sur UML/OCL) , 2016 .

[2]  Tobias Nipkow,et al.  A Proof Assistant for Higher-Order Logic , 2002 .

[3]  Martin Gogolla,et al.  On better understanding OCL collections or an OCL ordered set is not an OCL set , 2009, MODELS'09.

[4]  Heinrich Hußmann,et al.  Using UML/OCL Constraints for Relational Database Design , 1999, UML.

[5]  Martin Gogolla,et al.  Model Validation and Verification Options in a Contemporary UML and OCL Analysis Tool , 2016, Modellierung.

[6]  Jordi Cabot,et al.  UMLtoGraphDB: Mapping Conceptual Schemas to Graph Databases , 2016, ER.

[7]  Jordi Cabot,et al.  Mogwaï: A framework to handle complex queries on large models , 2016, 2016 IEEE Tenth International Conference on Research Challenges in Information Science (RCIS).

[8]  Achim D. Brucker,et al.  HOL-OCL: A Formal Proof Environment for UML/OCL , 2008, FASE.

[9]  Achim D. Brucker,et al.  An Extensible Encoding of Object-oriented Data Models in hol , 2008, Journal of Automated Reasoning.

[10]  Martin Gogolla,et al.  USE: A UML-based specification environment for validating UML and OCL , 2007, Sci. Comput. Program..

[11]  Paolo Atzeni,et al.  Database Design for NoSQL Systems , 2014, ER.

[12]  Achim D. Brucker,et al.  Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5 , 2014, Arch. Formal Proofs.

[13]  Martin Gogolla,et al.  Initiating a Benchmark for UML and OCL Analysis Tools , 2013, TAP@STAF.