13.3. Contract Sections

A description of each section in a contract is shown in the following schema.

Operation:Name of operation, and parameters
Cross References:(optional) Use cases this operation can occur within
Preconditions:Noteworthy assumptions about the state of the system or objects in the Domain Model before execution of the operation. These will not be tested within the logic of this operation, are assumed to be true, and are non-trivial assumptions the reader should know were made.
Postconditions:

- The state of objects in the Domain Model after completion of the operation. Discussed in detail in a following section.

Get Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process, Second Edition now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.

Start your free trial