Dankwoord - martes

18 HOOFDSTUK 3. METHODOLOGIE
Een contract beschrijft de diensten die door een object aangeboden worden. Voor elke dienst
speciceert het contract:
• Onder welke voorwaarden de dienst zal aangeboden worden.
• De specicatie van het resultaat van de aangeboden dienst gegeven dat alle voorwaarden
voldaan zijn.
Elk object kan een aantal operaties uitvoeren. Deze operaties zijn te vinden in de interface
van het object zelf. Voor elke van deze operaties kan een contract geëxpliciteerd worden.
De rechten van het object komen met precondities overeen en de verplichten van het object
corresponderen met de postcondities.
Indien minstens een van beide partijen de voorwaarden van het contract niet respecteren, is
het contract geschonden. Als dat gebeurt dan is het duidelijk wie aan de voorwaarden van
het contract niet voldeed. Ofwel heeft de klant de aangeboden diensten niet correct gebruikt,
ofwel heeft de leverancier de aangeboden dienst niet correct uitgevoerd. De programmeertaal
EIFFEL [19] is de enige taal die een implementatie van DBC voorziet. DBC kan gebruikt
worden binnen de context van object-georiënteerde ontwikkeling.
In volgende sectie zullen we bespreken wat klasse-invarianten, pre- en postcondities zijn.
3.1.1 Klasse-invarianten
Klasse-invariant - is een booleaanse expressie die een conditie vaststelt. Deze conditie moet
altijd voldaan zijn voor alle instanties waarvoor deze conditie gedenieerd is. Een invariant
moet juist na de afhandeling van een constructor of na de afhandeling van elke publieke
operatie waar zijn maar niet noodzakelijk tijdens het uitvoeren van de operatie. Anders
gezegd, een klasse-invariant moet waar zijn op eender welke consistente toestand van een
systeem. Indien het systeem bijvoorbeeld een operatie uitvoert dan is ons systeem niet in een
consistente toestand en bijgevolg moet de invariant niet meer waar zijn. Uiteraard moet na
de uitvoering van de operatie de invariant opnieuw waar zijn.
3.1.2 Precondities en postcondities
Pre- en postcondities zijn gebruikt om operaties te speciceren. Deze vervolledigen de interface
van een operatie. Pre- en postcondities speciceren niet hoe het lichaam van een operatie
geimplementeerd moet worden. Hieronder zijn deze concepten gedenieerd:
Preconditie - is een booleaanse expressie die op het moment dat het uitvoeren van de operatie
begint waar moet zijn.
Postconditie - is een booleaanse expressie dat op het moment dat het uitvoeren van de operatie
eindigt waar moet zijn.
Met andere woorden pre- en postcondities moeten alleen op bepaalde tijdstippen (respectievelijk
voor en na het uitvoeren van operaties) waar zijn in tegenstelling tot invarianten die
altijd waar moeten zijn.