Комментарии или примечания

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

22. Диаграммы коммуникации.

- это способ описания поведения, семантически эквивалентный диаграмме последовательности. Применяется один тип сущностей - экземпляры взаимодействующих классификаторов, и один тип отношений - связи. Акцент делается на структуре связей между конкретными экземплярами. Коммуникационные диаграммы имеют свободный формат упорядочивания объектов и связей как в диаграмме объектов. Чтобы поддерживать порядок сообщений при таком свободном формате, их хронологически нумеруют. Чтение диаграммы коммуникации начинается с сообщения 1.0 и продолжается по направлению пересылки сообщений от объекта к объекту. Диаграмма коммуникации показывает во многом ту же информацию, что и диаграмма последовательности, но из-за другого способа представления информации какие-то вещи на одной диаграмме видеть проще, чем на другой. Диаграмма коммуникаций нагляднее показывает, с какими элементами взаимодействует каждый элемент, а диаграмма последовательности яснее показывает в каком порядке происходят взаимодействия.

23. Модели параллелизма.

Параллельность - возможность одновременного выполнения двух и более видов деятельности в течении некоторого интервала времени. Параллельное программирование - мощный способ моделирования поведения, и взаимодействующие конечные автоматы - великолепное средство параллельного программирования. На диаграммах автомата параллельное выполнение моделируется с помощью ортогональных (параллельных) составных состояний. Переход в ортогональное составное состояние означает одновременный переход в начальные состояния всех областей данного состояния (т.е. фактически параллельный запуск всех вложенных машин состояний); в случае наличия перехода в ортогональное состояние каждая область должна иметь единственное начальное состояние, в противном случае - модель противоречива. Переход по событию и/или со сторожевым условием из ортогонального состояния означает завершение всех вложенных состояний. Для описания переходов, пересекающих границу ортогонального составного состояния, вводится специальное понятие - составной переход.

Составной переход - это переход, который начинается и/или заканчивается в нескольких состояниях.

- если переход имеет одно исходное или несколько целевых состояний, то это соответствует разветвлению потока управления на несколько параллельных потоков.

- если переход имеет несколько исходных и одно целевое состояние, то это означает слияние нескольких потоков управления в один.

- если переход имеет несколько исходных и несколько целевых состояний, то это соответствует синхронизации нескольких потоков управления.

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

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

Развилки и слияния- это средства визуализации составных переходов. Составной переход по завершении на диаграмме деятельности имеет следующие особенности.

1. Развилка, слияние, линейка синхронизации - составные переходы по завершении.

2. Развилки и слияния должны быть сбалансированы. Назовем диаграмму деятельности сбалансированной, если ее можно получить путем декомпозиции одной деятельности, причем на каждом шаге декомпозиции одна из деятельностей декомпозируется либо на некоторое число последовательных деятельностей, либо на число параллельных. То есть если ее можно сделать строго сбалансированной путем введения промежуточных деятельностей и синхронизирующих состояний на имеющихся переходах.

Параллелизм на диаграммах взаимодействия.

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