Формальная модель машин состояний UML

Работа посвящена развитию техник построения больших программных систем на основе объектно-ориентированного подхода, использовании языка моделирования UML (Unified Modeling Language) и семейства процессов разработки программного обеспечения RUP (Rational Unified Process). Описана формальная модель машин состояний языка UML и перечислены некоторые трудности, возникающие при реализации машин состояний UML в виде исполняемого кода на процедурных языках программирования.