Operationskontrakt (OC)
En operationskontrakt er en kontrakt for en systemoperation fra systemsekvensdiagrammet. Kontrakten indeholder en nedbrydning af en systemhændelse, som bliver til en systemoperation.
- Før-tilstand (precondition) er det som skal være forberedt eller klart inden systemoperationen kan blive fuldført.
- Efter-tilstand (postcondition) er det som sker efter systemoperationen er blevet fuldført. Denne condition, må ikke skrives i nutid.
- Instance creation
- Attribute modification
- Associations (formed and broken)
- Output er returbeskeden til den pågældende systemhændelse/systemoperation i systemsekvensdiagrammet.
Eksempel:
| Operation | sleep() |
|---|---|
| Cross reference | Use case: random use case |
| Precondition | - Person is laying in bed |
| Postcondition | - User state is set to "asleep" |
| Output | None |