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 progettazione, tutti i requisiti per l'input o lo stato prima dell'esecuzione dell'operazione e lo stato del sistema o le variabili dopo che l'operazione è stata eseguita. Il contratto non definisce nulla di specifico su come le operazioni funzionano 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. InsTead, sono riservati per operazioni particolarmente complesse o difficili da tracciare. Diversi linguaggi di modellazione per computer, come Unified Modeling Language (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 operativi sono il nome dell'operazione, che può essere qualsiasi cosa e qualsiasi riferimento incrociato. 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 interagisce un design generale ed è particolarmente utile nel vedere come le modifiche a un'area del modello influenzerà altre aree.
Contratti operativi Definire successivamente i preliminari necessari per eseguire l'operazione. Ciò può comportare richiedere determinate variabili aessere caricato con valori appropriati o può richiedere che alcune parti del programma siano in un determinato stato. 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.