Please enable JavaScript.
Coggle requires JavaScript to display documents.
Capitolo 14 - I contratti delle operazioni di sistema - Coggle Diagram
Capitolo 14 - I contratti delle operazioni di sistema
i contratti usano delle pre-condizioni e delle post-condizioni
per descrivere i cambiamenti agli oggetti
Forniscono maggiori dettaglia dell'analisi sull'effetto delle operazioni di sistema implicate nei casi d'uso
possono servire come input per la progettazione a oggetti
descrivono i cambiamenti probabilmente necessari negli oggetti software o nella base di dati
si compongono di
Riferimenti
casi d'uso in cui si può verificare questa operazione
Pre-condizioni
ipotesi significative sullo stato del sistema o degli oggetti
Descrizione sintetica dello stato di avanzamento nel caso d'uso
un elenco degli oggetti rilevanti a quel punto del caso d'uso
operazione
nome e parametri dell'operazione
Post-condizioni
E' la sezione più importante , descrive i cambiamenti di stato degli oggetti
non sono azioni da eseguire nel corso dell'operazioni sono osservazioni
tre cambiamenti di stato
creazione o cancellazione di un oggetto
formazione o rottura di un collegamento
cambiamento del valore di un attributo di un oggetto
di cancellazione sono quelle più rare
linguaggio molto preciso e analitico
è un'operazione di sistema