Un grafico di Stati e transizioni che descrive la risposta di un oggetto di una determinata classe alla ricezione di stimoli esterni. Una macchina a stati è associata a una classe o un metodo. Un diagramma di stato rappresenta una macchina a stati.