Диаграммы состояния: как представлять и анализировать программные модули