Gibt es keine Vorbedingungen, so steht hier „keine“. ; Invarianten: Alle Bedingungen, die innerhalb und durch den Anwendungsfall nicht verändert werden dürfen, also auch in einem Misserfolgs- oder Fehlerszenario immer noch gewährleistet werden müssen.