Scaricare la presentazione
La presentazione è in caricamento. Aspetta per favore
1
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
2
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
3
Buffered producer-consumer
4
Esempio: produttore-magazzino- consumatore
5
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
Presentazioni simili
