Ingegneria del software Modulo 1 -Introduzione al processo software Unità didattica 3 - Modelli di fase d’analisi Ernesto Damiani Università degli Studi di Milano Lezione 4 – Automi
Uso degli automi Automa FSA : quadrupla (S, s 0 S, I, f: SxI->S) Deterministici, non-deterministici o stocastici Ottimi per modellare attività costituite da sequenze di operazioni Problemi nel modellare la concorrenza e la sincronizzazione multiutente
Buffered producer-consumer
Esempio: produttore-magazzino- consumatore
Composizione di automi Costruzione dell’automa composto sul prodotto cartesiano degli insiemi degli stati degli automi componenti C’è il problema della proliferazione degli stati FINE