13.12. Operation Contracts Within the UP
A pre- and postcondition contract is a well-known style to specify an operation in the UML. In the UML, operations exists at many levels, from System down to fine-grained classes, such as Sale. Operation specification contracts for the System level are part of the Use-Case Model, although they were not formally highlighted in the original RUP or UP documentation; their inclusion in this model was verified with the RUP authors.[1]
[1] Private communication.
Phases
Inception— Contracts are not motivated during inception—they are too detailed.
Elaboration— If used at all, most contracts will be written during elaboration, when most use cases are written. Only write contracts for the most complex and subtle ...
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.
