Как мы знаем для разветвления потоков управления в диаграммах видов деятельности используется decision. Переход осуществляется в результате выполнения некоторого условия, которое задается guard condition. Очевидно, что каждая ветвь перехода должна содержать взаимоисключающие условия. guard condition, таким образом, есть аналог условного оператора или оператора выбора., либо то, что в IDEF3 понимается под XOR.
разделение потоков на паралельные незавивисимо исполняемые ветви достигается использование concurence или синхронизации.
Возникла кулуарная дискусси, что и когда использовать.
Золотухина пишет, что concurence можно использовать для множественного выбора, тогда на ветви перехода ставиться guard. Но что она под этим понимает?
Оппонент мой считает что разницы в использовании concurence и decision типа нет, если мы ставим guard.
Мое же мнение, что добавление guard при использовании concurence позволяет тонко регулировать суть распараллеливания, которая достигается в IDEF3 использованием OR и AND.
Т.е. при использовании gurad в concurenceмы не утвержадем, что все условия на ветви должны быть взаимоисключающими, а говорим лишь, что ветвь может запуститься, если условие выполняется. Но возможно выполнение сразу нескольких условий.
Т.е. по сути это моделирует OR - один или несколько паралельных потоков могуть быть запущены и не обязательно одновременно.
Т.е. UML не дает разницы такой как асинхронные или синхронные процессы, она может быть передана путем добавления заметок, пояснений, возможно.
Прошу собственно высказаться в пользу или анти моего мнения.
Разница между decision и concurence