Deployed Installations

Several public servers offer different AnimUML versions for users who just want to try it, without deploying a server themselves:

• v20221216:
  • https://animumlv20221216.kher.nl/ (without remote engine or external tool)
• v20201022:
  • https://animuml.kher.nl/ (without remote engine or external tool)
  • https://animuml.obpcdl.org/ (with the OBP2 external tool, but no remote engine)

Some of these AnimUML servers are deployed without the OBP2 model verification server. It can however be run locally by downloading OBPServer.zip, and following the instructions given in the README.en file it contains. Moreover, even for AnimUML servers deployed with OBP2, latency may make verification slow. Running the model verification server locally can significantly speed it up.