Design by Contract (OCL)

Ein Entwurfsmuster, bei dem Schnittstellen als Verträge definiert werden.

• Precondition (pre): Zusicherung des Aufrufers (muss vor Ausführung wahr sein).
• Postcondition (post): Zusicherung des Dienstleisters (muss nach Ausführung wahr sein).
• Verletzt der Aufrufer die Precondition, ist das Verhalten undefiniert. Verletzt der Code die Postcondition, liegt ein Bug vor.