Уточнение семантики композиции - часть 2

в активности, в которой он находится, выполнены все взаимодействия;

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

Предусловие зависит от вида такого события следующим образом:

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

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

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

Рассмотрим теперь следующие методы описания композиции поведения в различных ролях

использование специальных меток для «склейки» поведения;
использование параметризуемых по осям диаграмм;
задание потоков объектов на обзорных диаграммах взаимодействий.

Содержание Назад Вперед