The toolset manual can be downloaded from https://nms.kcl.ac.uk/kevin.lano/uml2web/umlrsds19.pdf
There are also specialised manuals for the analysis of QVT-R:
and for synthesis of model transformations:
These are also available from the GitHub repository.
Library files for OCL in Java versions, C#, C++, C and Python are also available in files ocl.py, etc.
The toolset supports the agile specification of systems in UML and OCL and the automated generation of code from these specifications. Applications are defined as executable specifications using class diagrams (or equivalently,KM3 text) and OCL. Specifications may be analysed and refactored, and complete executable code generated in Java, C#, C++. C and Python. Options are also available to generate web applications.