Да, это правильно с точки зрения соответствия UML для opt части.
Позвольте мне в первую очередь поставить под сомнение существование целого opt.Как я понимаю, вы демонстрируете какое-то поведение, и чтобы выполнить это поведение, актер должен (ранее) войти в систему.Если да, сделайте это ограничением поведения, в этом случае вам вообще не нужно отображать это на диаграмме самого поведения.
Также у меня есть сомнения относительно части alt.Если только условия внутренней обработки (стрелки 1.1.1 и 1.1.2) зависят от условий, только они должны быть внутри opt.Стрелки 1.1.и 1.1.3.остаться вне этого.В общем, ваши стрелки не должны пересекать границы области расширения, если вы действительно не знаете, что делаете.