Postcondition

A Postcondition is a Constraint that the provider guarantees after an Operation that began with its Preconditions satisfied completes according to its contract.

SimpleModeling expresses result values, State changes, emitted Events, and consistency with related Objects as Postconditions. When successful and failed Outcomes differ, it distinguishes the guarantees for each Outcome.