Editing Object Constraint Language (section)

== External links ==
* [http://www.omg.org/spec/OCL/ OMG OCL specification]
* [http://www-st.inf.tu-dresden.de/ocl/ OCL Portal - The center for OCL related information]
* [http://www.csci.csusb.edu/dick/samples/ocl.html OCL page of Computer Science Dept. of CSUSB] (brief OCL 2.0 syntax)
* [http://octopus.sourceforge.net/ Octopus: OCL Tool for Precise Uml Specifications] (OCL checker)
* {{usurped|1=[https://archive.today/20121225102952/http://www.dresden-ocl.org/index.php/DresdenOCL Dresden OCL Toolkit]}} (OCL Toolkit, various OCL related publications)
* [http://www.brucker.ch/projects/hol-ocl/ HOL-OCL] (An interactive theorem proof environment for OCL, various OCL related publications)
* [https://web.archive.org/web/20060220003552/http://www.parlezuml.com/tutorials/umlforjava/java_ocl.pdf OCL for Java tutorial on ParlezUML] 
* [http://www.eclipse.org/articles/article.php?file=Article-EMF-Codegen-with-OCL/index.html Article on using EMF's OCL in Java code]
* [https://web.archive.org/web/20060831031409/http://www.cetus-links.org/oo_uml.html UML link page on cetus-links.org]
* [http://sourceforge.net/projects/useocl/ USE (UML-based Specification Environment)] (OCL Tool for model validation, various OCL related publications)
* [http://modeling-languages.com/ocl-tutorial/ OCL tutorial]
* [https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5630350/ NL2OCL] (OCL Tool for invariant generation from NL)

{{Query languages}}
{{ISO standards}}

[[Category:Unified Modeling Language]]
[[Category:Formal specification languages]]
[[Category:ISO standards]]