AnimUML is a web application that can animate partial UML models. It can also verify these models by connecting to OBP2 over a WebSocket.

NOTE: The following slides are interactive. Do not hesitate to follow the links.

Try it yourself online at


paper F. Jouault, V. Besnard, T. Le Calvar, C. Teodorov, M. Brun, J. Delatour, “Designing, Animating, and Verifying Partial UML Models”, 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Oct 2020, Virtual event, Canada. [DOI]

source code :