Для описания операций или сообщений можно использовать OCL.
У Крэга Лармана я подчерпнул такую вот спецификацию
Операция
Имя операции и ее параметры
Ссылки
Варианты использования, в рамках которых может выполняться эта операция
Предусловия
Предположение о состоянии системы или объектов модели предметной области до выполнения операции. Выполнение этих условий не проверяется в рамках логики выполнения данной операции, а предполагается, что они истины. Это нетривиальные условия, на которые читатель должен обратить внимание
Постусловия
Это самый важный раздел. Состояние объектов модели предметной области после завершения операции
С примером
Операция
выполнитьНовуюПродажу()
makeNewSale()
Ссылки
Варианты использования: Оформить продажу
Предусловия
Отсутствуют
Постусловия
Создан экземпляр s объекта Sale (создание экземпляра)
Экземпляр объекта Sale связан с объектом Register (формирование ассоциации)
Инициализированы атрибуты экземпляра s