Cosa sono i contratti operativi?

Nel regno della programmazione informatica e dell'informatica, i contratti operativi sono un modo per specificare o documentare come una particolare funzione cambierà elementi diversi all'interno di un programma.A differenza di un'interfaccia di programmazione astratta (API) o di un documento di controllo dell'interfaccia, i contratti operativi vengono utilizzati per aiutare durante la fase di sviluppo e modellazione della creazione di un'applicazione o sistema di computer.Al livello più elementare, il contratto definisce quattro caratteristiche dell'operazione, in particolare il nome dell'operazione, tutti i riferimenti all'operazione in altre aree della progettail sistema o le variabili dopo l'operazione è stata eseguita.Il contratto non definisce nulla di specifico su come funzionano l'operazione internamente e invece si occupa solo di come lo stato di un programma è influenzato dal suo utilizzo. I contratti operativi, in generale, non sono costruiti per ogni operazione all'interno di un modello di programma.Invece, sono riservati alle operazioni particolarmente complesse o difficili da tracciare.Diversi linguaggi di modellazione di computer, come il linguaggio di modellazione unificato (UML), di supporto ai contratti operativi e hanno modi per aiutare a visualizzare come lo stato di un programma può cambiare una volta eseguita l'operazione.

Le prime due definizioni necessarie per creare contratti operativisono il nome dell'operazione, che può essere qualsiasi cosa e qualsiasi riferimenti incrociati.Una referenza incrociata è un elenco di altre operazioni o aree di un modello di programma che utilizza l'operazione da definire o che l'operazione utilizzerà nella sua elaborazione.Ciò aiuta a vedere come un design complessivo interagisce ed è particolarmente utile nel vedere come le modifiche a un'area del modello influenzeranno altre aree.

Contratti operativi Definiscono successivamente i preliminari necessari per eseguire l'operazione.Ciò può comportare la carica di caricare determinate variabili con valori appropriati, oppure può richiedere che alcune parti del programma siano in uno stato particolare.Se i preliminari non vengono soddisfatti quando l'operazione viene eseguita, l'operazione non avrà luogo o potrebbe fallire completamente.Il contratto viene utilizzato come strumento astratto, quindi i precondizioni di solito sono abbastanza generali e coinvolgono più lo stato del programma rispetto alle variabili specifiche.

La parte finale dei contratti operativi definisce eventuali post-condizioni.Le post-condizioni sono un elenco di elementi all'interno del modello di programma che sono stati modificati a causa dell'esecuzione dell'operazione.Ciò può specificare le modifiche a una struttura di dati o modifiche allo stato del programma, come il trasferimento del controllo su un modulo separato.Attraverso l'uso di contratti operativi ben definiti, i programmi possono essere modellati e modificati in modo efficace prima dell'inizio dell'implementazione effettiva.