A. D. Brucker and B. Wolff, hol-ocl-A Formal Proof Environment for uml/ocl, Fundamental Approaches to Software Engineering (fase08, pp.97-100, 2008.

A. D. Brucker and B. Wolff, An extensible encoding of object-oriented data models in hol, Journal of Automated Reasoning, vol.41, pp.219-249, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01214567

F. Bugiotti, L. Cabibbo, P. Atzeni, and R. Torlone, Database design for NoSQL systems, Proc. of the 33rd ER Conference, pp.223-231, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01092440

F. Büttner, M. Gogolla, L. Hamann, M. Kuhlmann, and A. Lindow, On Better Understanding OCL Collections *or* An OCL Ordered Set is not an OCL Set, Workshops and Symposia 12th Int. Conf. Model Driven Engineering Languages and Systems (MODELS'2009), vol.6002, pp.276-290, 2010.

G. Daniel, G. Sunyé, and J. Cabot, Mogwaï: a framework to handle complex queries on large models, Proc. of the 10th RCIS Conference, pp.225-237, 2016.

G. Daniel, G. Sunyé, and J. Cabot, UMLtoGraphDB: Mapping conceptual schemas to graph databases, Proc. of the 35th ER Conference
URL : https://hal.archives-ouvertes.fr/hal-01344015

. Springer, Available Online at, 2016.

B. Demuth and H. Hussmann, Using UML/OCL constraints for relational database design, «UML»'99-The Unified Modeling Language, pp.598-613, 1999.

M. Gogolla, F. Büttner, and J. Cabot, Initiating a benchmark for UML and OCL analysis tools, Proc. of 7th Int. Conf. on Tests and Proofs, vol.7942, pp.115-132, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00815040

M. Gogolla, F. Büttner, and M. Richters, USE: A UML-Based Specification Environment for Validating UML and OCL, Science of Computer Programming, vol.69, pp.27-34, 2007.

M. Gogolla and F. Hilken, Model Validation and Verification Options in a Contemporary UML and OCL Analysis Tool, Proc. Modellierung (MODELLIERUNG'2016), vol.254, pp.203-218, 2016.

T. Nipkow, L. C. Paulson, and M. Wenzel, Isabelle/hol-A Proof Assistant for Higher-Order Logic, lncs, vol.2283, 2002.

F. Tuong, Constructing semantically sound object-logics for UML/OCL based domain-specific languages, 2016.
URL : https://hal.archives-ouvertes.fr/tel-01318156