Descriveremo, adesso, elementi che non abbiamo ancora mai esaminato. Tali elementi sono detti elementi comportamentali e mostrano come varie parti di un diagramma UML possano cambiare nel tempo.
Allo stesso modo in cui un sistema interagisce con gli utenti e,
possibilmente, con altri sistemi, così gli oggetti che costituiscono il
sistema stesso passano attraverso i necessari cambiamenti che servono a
favorire le interazioni.
Se si sta modellando un sistema, è necessario avere un meccanismo che
gestisca le modifiche all'interno del modello stesso. Tale meccanismo,
in UML, è rappresentato dagli State Diagrams.
Per esempio, quando si preme un interruttore, una lampada cambia il suo
stato da spento ad acceso (o viceversa). Oppure, ancora, quando si
preme un tasto della tastiera o si muove il mouse durante il
funzionamento di uno screen saver sul computer, il computer abbandona
la modalità di screen saver e ritorna a funzionare regolarmente in modo
attivo.
Gli State Diagrams visualizzano gli stati che un oggetto può
attraversare e i passaggi transitori che intercorrono tra questi stati.
Inoltre gli State Diagrams mostrano il punto di partenza e il punto di
arrivo di una sequenza di cambi di stato.
Definizione: Uno State Diagram mostra gli stati di un singolo oggetto.
Veniamo alla rappresentazione grafica. Gli stati di uno State Diagram
sono rappresentati con un rettangolo con gli angoli arrotondati. Il
simbolo che mostra la transizione da uno stato ad un altro viene
disegnato utilizzando una linea continua che termina con una freccia.
Un cerchio nero pieno rappresenta il punto di partenza di una sequenza
di stati mentre il punto di arrivo viene rappresentato da due cerchi
concentrici in cui il più interno è riempito di nero (tale figura viene
anche definita "occhio di bue").
Nella figura precedente si può vedere un
esempio di quanto detto. Inoltre, come si può notare, è possibile
aggiungere maggiori dettagli alla figura stessa dividendo il rettangolo
in tre aree separate.
L'area in alto contiene il nome dello stato, l'area centrale contiene
le variabili di stato (timers, contatori, date, ecc.) e l'area in basso
rappresenta le attività (cioè quello che accade quando il sistema entra
in un determinato stato e cosa, invece, succede quando il sistema
abbandona quello stato.
