| Der skal altid være én kop kaffe på kanden |
| | Invarianter kendes også fra vores ikke-tekniske hverdag. Det er f.eks.
en regel, at kanden på afdelingens kaffemaskiner altid skal indeholde
mindst én krus kaffe. Alle transaktioner på kaffemaskinen skal
overholde denne invariant. Bemærk at handlingerne, der beståer i at
tømme kaffekanden samt at lave ny kaffe er at betragte som én
transaktion i denne model. På et tidspunkt er kanden tom, men da dette
tidspunkt ikke forekommer mellem to (eksterne) transaktioner på
maskinen, bryder vi ikke invarianten. |