UPPAAL models can be created, loaded, saved, simulated and properties checked using libs/model.jar library. There is also javadoc documentation included in libs/model-javadoc.jar.
A demonstrating example is included in the demo/ModelDemo.java file of UPPAAL distribution.