Определение постусловий и предусловий

Можно использовать свойства Локальные постусловия и Локальные предусловия, чтобы подробно описать результаты действия. Эти свойства описывают результат действия, не описывая способ достижения этого результата.

Чтобы установить эти свойства, щелкните правой кнопкой мыши действие и нажмите кнопку Свойства. Введите значения свойств в окне свойств.

Локальные постусловия

Постусловие — это условие, которое должно выполняться, прежде чем действие может считаться завершенным. В примере действия Confirm Order (подтверждение заказа) постусловием может быть, например, следующее.

Клиент предоставил полные сведения в допустимом формате, которые необходимы для обработки данных кредитной карты пользователя.

Постусловие может выражать отношение между состояниями до и после выполнения действия. Пример.

Процентная ставка удвоилась.

Можно писать постусловия в более формальном стиле, ссылаясь на определенные атрибуты данных, с которыми работают действия. Пример.

InvoiceTotal == Sum(OrderItem.MenuItem.Price)

Локальные предусловия

Предусловие — это условие, которое должно быть удовлетворено в момент начала действия. Например, у действия Confirm Order (подтверждение заказа) может быть следующее предусловие.

Пользователь выбрал хотя бы один элемент из меню.