Precondition

A Precondition is a Constraint that the caller must satisfy before invoking an Operation under its contract.

SimpleModeling makes conditions on current State, input values, and related Objects explicit as Preconditions. It does not treat an Operation’s Postconditions as guaranteed for a call that violates its Preconditions.