Трансформация «выделение составного состояния» для конечных автоматов UML
Автоматы, содержащие составные состояния, составляют менее 2 % от всех исследованных в [] автоматов, что позволяет сделать вывод об их достаточно редком использовании, несмотря на их выразительную мощность. Причиной тому может служить тот факт, что составные состояния не являлись частью языка SDL до его версии SDL-2000. Таким образом, можно предположить, что многим разработчикам моделей, работавшим ранее на языке SDL, недостаточно известна эта конструкция.
Тем не менее, введение «составных» или «иерархических» состояний является достаточно важным методом композиции, используемым для создания легко воспринимаемого описания автомата.
В следующих параграфах описываются способы выделения составных состояний в конечных автоматах UML.
