StateMachines（状态机）包使用一个有限状态机形式模型定义了一组可用于对离散事件驱动的行为进行建模的概念。除了表达一个系统的部分行为（例如，分类符实例的行为），状态机还可以表达系统某部分的有效的交互序列，称为协议。这两种状态机分别被称为行为状态机和协议状态机。
UML中使用的特定有限状态自动机基于的是David Harel的状态图形式模式的一个面向对象的变体。（然而，对此形式模式熟悉的读者可能注意到UML中的版本与原始模式中的一些细微语义差别。）