Università di Padova Facoltà di Scienze MM.FF.NN Informatica - anno Corso di Ingegneria del Software - B UML

Transcript

1 v. 2.3 Università di Padova Facoltà di Scienze MM.FF.NN Informatica - anno Corso di Ingegneria del Software - B UML Diagramma di macchina a stati (state machine diagram) Renato Cte - UML Diagrammi di stato - 1/30 Diagramma di stato <=> macchina a stati Diagramma di stato (o macchina a stati ) è un grafo di stati e transizii Di solito è associato ad una classe Descrive la risposta di un istanza della classe agli eventi che riceve Può essere associato ad altre entità di modellazie (use-case, attori, sottosistemi, operazii, o metodi) Renato Cte - UML Diagrammi di stato - 2/30 Diagramma di macchina a stati (Statechart Diagram) Specifica il ciclo di vita degli oggetti di una classe, definendo le regole che lo governano. Quando un oggetto si trova in un certo stato può essere interessato da determinati eventi (e n da altri) Come risultato di un evento l oggetto può passare ad un nuovo stato (transizie) Utilizzato in situazii dove le transizii di stato so provocate da eventi asincri, per esempio da eventi esterni. Renato Cte - UML Diagrammi di stato - 3/30 Diagramma di macchina a stati Una macchina il cui comportamento n è solo una diretta cseguenza dell evento corrente (input), ma anche della sua storia passata E caratterizzata da uno stato interno che rappresenta la sua passata esperienza ON ON OFF Renato Cte - UML Diagrammi di stato - 4/30

2 Uscite e azii On Off ON OFF Come la macchina cambia di stato, puo generare un uscita On On print( o Lam p Off Mealy /print( ) Moore n ) Lam p Off Renato Cte - UML Diagrammi di stato - 5/30 Renato Cte - UML Diagrammi di stato - 6/30 Extended State Aggiunta di variabili (extended state) Una macchina estesa (modello Mealy) è definita da: ctr : Integer On un insieme di segnali di input (input alphabet) un insieme di segnali di output (output alphabet) un insieme di stati /ctr := ctr + 1 un insieme di transizii Off triggering signal acti un insieme di variabili di stato estese uno stato iniziale un insieme di stati finali (se vi è terminazie) Renato Cte - UML Diagrammi di stato - 7/30 Renato Cte - UML Diagrammi di stato - 8/30

3 Esempio di diagramma di stato Initial pseudostate top top state State Trigger Ready Transiti Final state stop/ctr := 0 Do ne stop Acti Renato Cte - UML Diagrammi di stato - 9/30 Renato Cte - UML Diagrammi di stato - 10/30 esempio Comportamento download course erings unscheduled make a different selecti sign schedule scheduled downloading make a course selecti selecting verify selecti verifying select another course check schedule checking schedule Una macchina a stati è un modello di tutte le possibili tracce di un oggetto La macchina reagisce esclusivamente agli eventi sentiti dall oggetto (inviati all oggetto) La reazie csiste nel cambiamento di stato ed una eventuale esecuzie di un azie Renato Cte - UML Diagrammi di stato - 11/30 Renato Cte - UML Diagrammi di stato - 12/30

4 Diagramma di stato: esempio oggetto telefo Renato Cte - UML Diagrammi di stato - 13/30 Comportamento pilotato dagli eventi Evento = un tipo di occorrenza osservabile interazii: invocazii di operazii sincre su oggetti (call event) ricezie di segnali asincri (signal event) occorrenze di istanti di tempo (time event) terminazie di intervalli di tempo (interval expiry) calendario / clock il cambiamento del valore di una entità (change event) Instanza d evento: capita ad un particolare istante e n ha durata Renato Cte - UML Diagrammi di stato - 14/30 Evento Una gerarchia di eventi: InputEvent name Un evento è l occorrenza di un fenomeno collocato nel tempo Un evento occorre istantaneamente Un istanza (occorrenza) di un evento è chiamata istanza di un evento Un evento può avere dei parametri che lo caratterizzano Parametri dei segnali Mouse Butt Down Mouse Butt locati Mouse Butt Up UserInput device Keyboard Butt character Renato Cte - UML Diagrammi di stato - 15/30 Renato Cte - UML Diagrammi di stato - 16/30

5 Stato Uno stato descrive un periodo di tempo durante la vita di un oggetto Può essere caratterizzato come: Un insieme di valori qualitativamente simili Un periodo di tempo durante il quale un oggetto attende il verificarsi di un evento Un periodo di tempo durante il quale un oggetto svolge un attività Uno stato può essere opzialmente suddiviso in scomparti: Scomparto del nome Questa sezie ctiene il nome dello stato Inserisci password entry / set echo invisibile exit / set echo normale digit / elabora carattere Scomparto delle transizii interne Questa sezie ctiene una lista di azii o attività interne che so effettuate in quello stato. Renato Cte - UML Diagrammi di stato - 17/30 Renato Cte - UML Diagrammi di stato - 18/30 Esempio di stati e transizii Altri tipi di stato Iniziale Finale ccurrent composite state sequential composite state Renato Cte - UML Diagrammi di stato - 19/30 Renato Cte - UML Diagrammi di stato - 20/30

6 Transizie Esempi di transizii Una transizie collega tra loro due stati L uscita da uno stato definisce la risposta dell oggetto all occorrenza di un evento Una transizie è associata a un evento, una cdizie (opziale), un azie (opziale), e uno stato di arrivo. ricevi ordine [ ammtare > 25$] rifiuta in attesa valuta accetta /addebita( ) ricevi ordine [ ammtare < 25$] processa l ordine evento cdizie Sintassi: evento [cdizie] / azie cancella ordine azie Renato Cte - UML Diagrammi di stato - 21/30 Renato Cte - UML Diagrammi di stato - 22/30 Tipi di transizie Azie di ingresso: un azie eseguita all ingresso in uno stato Azie di uscita: azie eseguita all uscita di uno stato Transizie esterna: risposta a un evento che causa un cambio di stato e l esecuzie delle opportune azii Transizie interna: risposta a un evento che causa solo l esecuzie di opportune azii Esempi di transizii e azii Azie di ingresso Azie di uscita Transizii interne Inserisci password entry / set echo to star; password.reset( ) exit / set echo normal digit / handle character clear / password.reset( ) help / dispay help Renato Cte - UML Diagrammi di stato - 23/30 Renato Cte - UML Diagrammi di stato - 24/30

7 Tipi di stato Esempio: prenotazie di un libro nome dello stato Semplice Not reserved entry: reservatis.clear() Nome stato Composto removereservati( R : Reservati ) [ reservatis.size() == 1 ] / reservatis.remove( R ) addreservati( R : Reservati ) / reservatis.add( R ) sott.st.1 sott.st.2 sequenziale: uno attivo per ogni istante Reserved sottostato 1 sottostato 2 Composto parallelo: i sottostati so attivi removereservati( R : Reservati ) [ reservatis.size() > 1 ] / reservati.remove ( R ) addreservati( R : Reservati ) / reservatis.add( R ) ctemporaneamente Renato Cte - UML Diagrammi di stato - 25/30 Renato Cte - UML Diagrammi di stato - 26/30 Esempio: ccorrenza Esempio: ccorrenza Renato Cte - UML Diagrammi di stato - 27/30 Renato Cte - UML Diagrammi di stato - 28/30

8 Esempio: splitting e joining cdiziati Bibliografia e riferimenti: - Reference manual UML 1.5 e Slide UML Tutorial Series tratte dal sito: documento: ppt Renato Cte - UML Diagrammi di stato - 29/30 Renato Cte - UML Diagrammi di stato - 30/30