Вы можете использовать формальные / фактические параметры в сообщениях и блоки действий на конкретном канале жизни, заполненные вашим собственным языком спецификаций, например, Задания в стиле Java. Пример ниже для диаграмм последовательности сообщений, но работает примерно так же для диаграмм последовательности UML, я просто не смог найти скриншот в спешке: