Operation Contracts popo Operation Contracts Contracts describe detailed
Operation Contracts popo
Operation Contracts • Contracts describe detailed system behavior in terms of state changes of objects. • The postconditions describe changes in the state of objects in the domain model. popo
Operation Contracts : To make contracts • 1. Identify system operations from the SSDs. • 2. For system operations that are complex, or which are not clear in the use case, construct a contract. • 3. To describe the postconditions, use the following categories: • Instance creation or deletion • Attribute modification • Associations formed and broken popo
Operation Contracts : To make contracts • Write the postconditions in a declarative, passive past tense form (was …) • For give more importance to the observation of a change rather than a design. • For example: • (better) A Sales. Line. Item was created. • (worse) Create a Sales. Line. Item popo
Operation Contracts : Example • Next. Gen POS • System Operations of Process Sale popo
Operation Contracts : Example • Next. Gen POS • System Operations of Process Sale popo
Operation Contracts with UP • Contracts are not created during inception phase. • They are too detailed. • Most contracts will be written during elaboration phase • Only write contracts for the most complex operations. popo
- Slides: 7