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 animuml.obpcdl.org
|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 : github.com/fjouault/AnimUML