Wat zijn operatiecontracten?

In het rijk van computerprogrammering en informatica zijn bewerkingscontracten een manier om op te geven of te documenteren hoe een bepaalde functie verschillende elementen binnen een programma zal veranderen.In tegenstelling tot een abstracte programmeerinterface (API) of een interface -besturingsdocument, worden bewerkingscontracten gebruikt om te helpen tijdens de ontwikkelings- en modelleringsfase van het maken van een computertoepassing of -systeem.Op het meest elementaire niveau definieert het contract vier kenmerken van de bewerking, met name de naam van de bewerking, alle verwijzingen naar de bewerking in andere gebieden van het ontwerp, alle vereisten voor invoer of status voordat de bewerking wordt uitgevoerd, en de staat vanHet systeem of de variabelen na de bewerking is uitgevoerd.Het contract definieert niets specifieks over hoe de bewerking intern functioneert en gaat in plaats daarvan alleen om hoe de status van een programma wordt beïnvloed door het gebruik ervan.

Bewerkingscontracten worden in het algemeen niet gebouwd voor elke bewerking binnen een programmamodel.In plaats daarvan zijn ze gereserveerd voor bewerkingen die bijzonder complex zijn of moeilijk te volgen zijn.zijn de naam van de bewerking, wat alles kan zijn, en eventuele kruisverwijzingen.Een kruisverwijzing is een lijst van andere bewerkingen of gebieden van een programmamodel die de bewerking gebruiken die wordt gedefinieerd of die de bewerking zal gebruiken bij de verwerking ervan.Dit helpt om te zien hoe een algemeen ontwerp op elkaar inwerkt en is vooral nuttig om te zien hoe veranderingen in het ene gebied van het model andere gebieden zullen beïnvloeden.

Operatiecontracten definiëren vervolgens de voorwaarden die nodig zijn om de operatie uit te voeren.Dit kan inhouden dat bepaalde variabelen moeten worden geladen met geschikte waarden, of het kan vereisen dat bepaalde delen van het programma zich in een bepaalde status bevinden.Als niet aan de voorwaarden wordt voldaan wanneer de bewerking wordt uitgevoerd, zal de bewerking niet plaatsvinden of mogelijk volledig mislukt.Het contract wordt gebruikt als een abstracte hulpmiddel, dus de voorwaarden zijn meestal vrij algemeen en zijn meer betrokken bij de status van het programma dan specifieke variabelen.

Het uiteindelijke deel van de bedieningscontracten definieert eventuele post-condities.Post-condities zijn een lijst met items in het programmamodel die zijn gewijzigd vanwege de uitvoering van de bewerking.Dit kan wijzigingen in een gegevensstructuur of wijzigingen in de status van het programma opgeven, zoals het verplaatsen van controle naar een afzonderlijke module.Door het gebruik van goed gedefinieerde bedieningscontracten kunnen programma's worden gemodelleerd en effectief worden gewijzigd voordat de werkelijke implementatie begint.