По ДС.
Это, конечно, не совсем ДС, скорей диаграмма последовательности экранных форм. Но не будем придираться к мелочам, укажем на серьезные недостатки.
1. В целом неплохо
2. Вход - тут можно указать либо как событие, либо как действие на переходе (скорее последнее): открыта сессия, начался сеанс
3. Вести логин и пароль - это внутренняя деятельность в состоянии Форма авторизации. Триггер=событие = Нажата кнопка Submit [Логин + пароль = @Логин + @Пароль]
4. Из этог же состоянию будет переход в само состояние (хотя можно и не указывать) Нажата кнопка Submit [Логин <> @Логин |Пароль<> @Пароль]/showMessage('Нет пользователя с такими учетными данными')
5. все что у тебя в [] - сторожевое условие, или просто УСЛОВИЕ - выражение булевского типа, а не то что у тебя. ТО что у тебя либо триггер либо действие на переходе. Сторожевое условие необязателно, но если есть то говорит возможен ли переход из одного состояния в другое. С.У. обязательно если из состояния есть несколько переходов, в текущий момент времени возможен только один т.е XOR условие
6. Выход должен приводить не к форме авторизации, а к прекращению сеанса и конечному псевдосостоянию. Либо суперсостояние Сайт нужно убить как лишнее и не нужное, только затрудняющее понимание