Please enable JavaScript.
Coggle requires JavaScript to display documents.
Operazioni di sistema e contratti delle operazioni Lez. 6 - Coggle…
Operazioni di sistema
e contratti delle operazioni
Lez. 6
Operazioni
di sistema
Eventi
Qualcosa accaduto importante e degno di nota
Di sistema
Interazioni degli utenti verso il sistema per chiedere esecuzione di operazioni
Evento esterno di input generato da attore
Modo formale di rappresentare le operazioni
Operazione
Trasformazione/interrogazione
che un oggetto può eseguire
Trasformazione ->
cambio di stato
Di sistema
Che il sistema
può eseguire
Interfaccia pubblica
Identificate tramite
analisi linguistica
Diagramma di
sequenza (SSD)
Eventi/operazioni di sistema
in ordine in uno specifico scenario
X -> Attori
T -> Tempo
Contratti delle operazioni
Descrivono come avviene l'aggiornamento interno degli stati del sistema
(Es. scarico magazzino)
Formato
Operazione
Breve descrizione
e parametri
Pre-condizioni
Ipotesi significative e non banali prima dell'esecuzione dell'operazione (di sistema)
Post-condizioni
Cambiamenti di stato negli
oggetti del modello di dominio
Descrivono differenze
prima e dopo operazione
Se ci sono sia differenze sia interrogazioni, si descrivono solo le differenze
Cambiamenti
di stato
Creazione o
distruzione oggetto
Formazione o rottura collegamento
Modifica valore
di un attributo
Scritti dal punto
di vista concettuale
Non sw
