Коллеги,

прошу указать на ошибки в диаграмме состояний и помочь разобраться со следующими вопросами:
1. Как корректно отобразить для состояния «Сформировано», что Exit/заблокировать на редактирование произойдет только при переходе в статус «Отправлено»?
2. При переходе из статуса «Отправлено» в статус «Возвращено» для переходов «[подтвердить формирование РПРО]» и «[отклонить формирование РПРО]» нужно ли каким-либо образом указывать, что такие переходы возможны только если уведомление №14. Если нужно, то как это возможно отобразить?

См. https://drive.google.com/file/d/1nWpscVUFWoQpNQ4RzAX8XWokCmRf8L8m/view?usp=sharing
Пояснения к диаграмме:
1. При сохранении уведомления о наличии налоговой задолженности (уведомление) система проверяет наличие ошибок
2. Инспектор может сохранить уведомление с ошибками (статус Ошибочное) или без ошибок (статус Сформировано)
3. Инспектор может отредактировать уведомление в любом из вышеперечисленных статусов и сохранить его, опять же система проверит наличие ошибок и уведомление возможно будет сохранить с ошибками либо без ошибок
4. Инспектор может удалить уведомление в обоих статусах Ошибочное либо Сформировано
5. Инспектор отправляет уведомление со статусом «Сформировано» налогоплательщику одним из трех способов: заказной почтой, нарочно или по электронному каналу (ЭК) (статус Отправлено).
6. Если уведомление было направлено по ЭК информационную систему (ВИС), т.е. параллельно направляет запросы в две системы ПЭП и КНП и ждет получение ответа о доставке хотя бы от одной из них.
7. При получении ответа о доставке от ВИС присваивает уведомлению статус в зависимости от того из какой системы первым получен ответ о доставке (статус Доставлено в КНП или статус «Доставлено в ПЭП»).
8. Система ожидает получение сообщения об ознакомлении (в установленные сроки) от ВИС, из которой был получен первый ответ о доставке. При истечении установленного времени и получении или НЕ получении сообщения об ознакомлении от ВИС , а также, если инспектор в период ожидания получения сообщения об ознакомлении отмечает доставку уведомления система присваивает уведомлению статус «Доставлено»
9. В процессе доставки в ВИС уведомление в любом статусе может быть отменено (статус Отменено) 
10. Для доставленного уведомления (статус Доставлено) инспектор может сделать отметку об исполнении (статус «Исполнено») либо отметку о неисполнении (статус Не исполнено)
11. Для уведомления в статусе «Отправлено» инспектор может выполнить одно из следующих действий: [подтвердить формирование РПРО], [отметить возврат уведомления], [отклонить формирование РПРО], что приведет к смене статуса уведомления на «Возвращено»

1. Как корректно отобразить для состояния «Сформировано», что Exit/заблокировать на редактирование произойдет только при переходе в статус «Отправлено»?

Не используйте действие по выходу, т. к. оно выполняется при любом выходе. Вы можете это действие приписать на те переходы, для которых оно актуально.
[В сторону] невполне ясно, как строится модель. Так как события "отредактировать" игнорятся вне "создать извещение", то независимо от того, заблокируете или нет, отредактировать в "Отправить" и проч. не выйдет.

2. При переходе из статуса «Отправлено» в статус «Возвращено» для переходов «[подтвердить формирование РПРО]» и «[отклонить формирование РПРО]» нужно ли каким-либо образом указывать, что такие переходы возможны только если уведомление №14. Если нужно, то как это возможно отобразить?

Можно указать сторожевое условие на части составного перехода, ведущей в верхний правый ромбик.

Неясно, зачем всюду "подвесочки" с финальными состояниями. Они обессмысливают, на мой взгляд, состояния "Не использовано", "Использовано" и др.. Но это если стандартно читать. Если у Вас в ходу свои правила чтения, то и славно.

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

Если написать название в виде действия "Создать извещение", то это не означает, вообще говоря, что что-то будет делаться. Мысленно заменив такое называние на State0, получаем диаграмму с тем же смыслом (если стандартно читать).

Неясно, зачем событие и do-деятельность названы одинаково: "Отредактировать".  [Если у Вас в ходу свои правила чтения/составления UML-диаграмм состояний, то и славно.]

Неясно, зачем некоторые события взяты в прямоугольные скобочки: [получен ответ...]. [Если у Вас в ходу свои правила чтения/составления UML-диаграмм состояний, то и славно.]

anastazya, можете сюда в тему фотографии вашей диаграммы приложить?
Не получается в drive.google войти.

anastazya, можете сюда в тему фотографии вашей диаграммы приложить?
Не получается в drive.google войти.

Раньше получалось. Может удалила, решив все нужные вопросы. Дискуссии не возникло.

Раньше получалось.

Оно может и сейчас получается у того, у кого есть Google-аккаунт.
А у меня нету Google-аккаунта, поэтому я не могу посмотреть.

Доступ, видимо, закрыт теперь.
Может быть тон моего коммента передался неверно.