11.2. Definition: What are the Sections of a Contract?
A description of each section in a contract is shown in the following schema.
Operation: | Name of operation, and parameters |
Cross References: | 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 are non-trivial assumptions the reader should be told. |
Postconditions: | This is the most important section. The state of objects in the Domain Model after completion of the operation. Discussed in detail in a following section. |