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

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

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

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

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

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

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