Перехід

Простий переходом (simple transition) є відношення між двома послідовними станами, яке указує на факт зміни одного стану об'єкту іншим. Якщо перебування модельованого об'єкту в першому стані супроводжується виконанням деяких дій, то перехід в другий стан буде можливий тільки після завершення цих дій і, можливо, після виконання деяких додаткових умов, званих сторожовими умовами.

На діаграмі станів перехід зображається суцільною лінією із стрілкою, яка направлена в цільовий стан. Кожен перехід може бути помічений рядком тексту, який має наступний загальний формат:

<сигнатура события>'['<сторожевое условие>']' <вираз дії>.

При цьому сигнатура події описує деяку подію з необхідними аргументами:

<ім'я события>'('<список параметрів, розділених запятыми>')'.

Подія (event) є специфікацією деякого факту, що має місце в просторі і в часі. Про події говорять, що вони «відбуваються», при цьому окремі події повинні бути впорядковані в часі.

Ім'я події ідентифікує кожен окремий перехід на діаграмі станів і може містити рядок тексту, що починається з рядкової букви. В цьому випадку прийнято вважати перехід трігером, тобто таким, який специфікує подію-трігер. Якщо поряд із стрілкою переходу не вказаний ніякий рядок тексту, то відповідний перехід є нетрігером, і в цьому випадку з контексту діаграми станів повинно слід, після закінчення якої діяльності він виконується. Після імені події можуть слідувати круглі дужки для явного завдання параметрів відповідної події-трігера.

Сторожова умова (guard condition), якщо воно є, завжди записується в прямих дужках після події-трігера і є деяким булевим виразом. Кожна із сторожових умов необхідно обчислювати всякий раз при настанні відповідної події-трігера.

Выражение действия (action expression) выполняется только при срабатывании перехода. Оно представляет собой атомарную операцию, выполняемую сразу после срабатывания соответствующего перехода до начала каких бы то ни было действий в целевом состоянии.