Как смоделировать этот процесс, используя диаграмму состояния?

Question

Я моделирую процесс, используя диаграмму состояний UML. Вот некоторые псевдо-код, который определяет текущее состояние:

function getAccountState(customer) { 

    if (authorizationRequired(customer)) { 
     return State.AUTHORIZATION_REQUIRED 
    } 

    if (updateRequired(customer)) { 
     return State.UPDATE_REQUIRED 
    } 

    return State.DRAFT 
} 

Ближайший я получил эту диаграмму:

Однако, я думаю, что это несколько странно, что каждый переход содержится в два раза. Приказ имеет значение, хотя это означает, что проверка авторизации всегда должна быть первой.

Как можно моделировать этот процесс?

EDIT:

фона позади этого процесса является службой REST. Учетная запись моделируется как ресурс и может проходить через различные состояния. Каждый раз, когда запрашивается ресурс, служба выполняет проверки в порядке, описанном псевдо-кодом выше, для генерации соответствующего представления. В зависимости от ответа, он включает в себя также:

• ссылку для авторизации учетной записи, если учетная запись требует авторизации
• ссылку, чтобы обновить профиль, если обновление необходимо (это, однако, может произойти только после того, как счет разрешено или не должно быть санкционировано)
• ссылка для окончательной доработки учетной записи, если профиль обновлен (либо потому, что он должен быть обновлен и обновлен клиентом, либо он никогда не должен обновляться в первое место)

Код, приведенный выше, является просто экзаменом но все же. Служба также может использовать поле базы данных, хранящее «состояние», хотя это анти-шаблон не является? Более целесообразно «выводить» текущее состояние, применяя бизнес-правила к сохраненным данным вместо (избыточно), сохраняя состояние в отдельном поле. Это то, что должен указывать псевдокод.

Answer 1

Согласно правки, я придумал следующий подход:

Вы достигнете Draft состояния через (по желанию) авторизации и обновления. Если они не работают, конечный автомат сбрасывается.

Answer 2

Я бы предложил одно замечание о точке «несколько странно, что каждый переход содержится дважды», я понял, что из одного состояния вы можете иметь несколько переходов, инициированных одним и тем же событием, но в этом случае переходы имеют разные охранники , Как я помню, обозначение evt [guard]. Надеюсь, эта помощь.