used in Domain Model as contracts of high-level system operations
used in Design Model for object methods
use a pre and post condition form to describe detailed changes to objects in a domain model as the result of system operation
system operation:
operation that the system as a black box component offers in its public interface
can be identified while sketching SSDs
shows system events
events or I/O messages relative to the system
system interfaces: the entire set of system operations across all use cases
construction
operation name : name of operation and parameters
cross references: use cases this operation can occur with
preconditions: noteworthy assumptions about the state of the system or objects in the Domain Model before execution of the operation. non trivial assumptions the reader should be told
postcondition
the most important section.
changes in the state of objects in the domain model after completion of the operation
instances created/deleted
associations formed/broken
attributes changed
necessary when the outcome of a system operation is not clear from the use case description
when more detail and precision is useful and required
SSD