несколькими исходящими дугами) рассматривается как композиция слияния, сразу за которым следует развилка. В-четвертых, развилки и слияния должны быть сбалансированы.
Правило сбалансированности аналогично правилу вложенности на
диаграммах состояний. Мы определим его следующим образом.
Назовем диаграмму деятельности строго сбалансированной, если ее
можно получить путем декомпозиции одной деятельности, причем на
каждом шаге декомпозиции одна из деятельностей декомпозируется
либо на некоторое количество последовательных деятельностей, либо
на некоторое число параллельных деятельностей. Диаграмма
деятельности является сбалансированной, если ее можно сделать
строго
сбалансированной
путем
введения
промежуточных
деятельностей и синхронизирующих состояний на имеющихся
переходах. Неформально говоря, сбалансированность означает
возможность выполнить блок-схему от начала к концу: потоки
управления не должны возникать "ниоткуда" и исчезать "в никуда".
На рис. 4.49 приведен пример сбалансированной (слева) и не
сбалансированной (справа) диаграмм деятельности.
Подводя итоги параграфа, отметим, что, по нашему мнению,
средства моделирования параллелизма на диаграммах деятельности принадлежат к числу лучших в UML: они интуитивно понятны, наглядны и удобны в использовании.
226
Рис. 4.49. Баланс развилок и слияний
4.5.4. Параллелизм на диаграммах взаимодействия На
диаграммах
коммуникации
графических
средств
моделирования параллелизма,
фактически,
не
предусмотрено.
Параллелизм
указывается
текстуально,
с
помощью
номеров
сообщений. В номера сообщений можно включать не только цифры,
но и буквы. Сообщения, номера которых различаются в последней
