Each software modeling tool typically supports only a few tasks among model creation, simulation, debugging, analysis, transformation, deployment, and monitoring. Therefore, multiple tools must generally be jointly used. However, few guarantees are generally provided regarding their semantic compatibility. This paper presents AnimUML, a UML modeling tool supporting most modeling tasks, and helping users from early model creation to deployment. Semantic compatibility between tasks is ensured by leveraging a single semantics implementation. AnimUML is successfully used as a framework on which to build research activities. It is also used to teach embedded UML modeling, as well as UML model verification.

每个软件建模工具通常仅支持模型创建、仿真、调试、分析、转换、部署和监控中的少数任务。因此，一般必须联合使用多种工具。然而，对于它们的语义兼容性，通常提供很少的保证。本文介绍了 AnimUML，这是一种 UML 建模工具，支持大多数建模任务，并帮助用户从早期模型创建到部署。通过利用单一语义实现来确保任务之间的语义兼容性。AnimUML 被成功用作构建研究活动的框架。它还用于教授嵌入式 UML 建模以及 UML 模型验证。