Presentazione
Programma
Esami
Programma del Corso
Presentazione del Corso:
Contesto, problemi, obiettivi
;
Proprietà computazionalmente interessanti dei Sistemi Distribuiti Cooperativi
.
Esempi di sistemi distribuiti cooperativi complessi:
Mobile Ad-hoc NETwork
e
Sistemi Grid
.
Reti di Petri - PN:
Introduzione
Alcuni esempi di applicazioni tipiche
Estensioni
Proprietà
Esempio di applicazione: Modellazione di protocolli di routing di una Mobile Ad-hoc NETwork
Possibili approfondimenti sulle PN
Abstract State Machine - ASM:
Introduzione
Concetti di base
Il metodo ASM
Distributed Abstract State Machine - DASM
Analisi di proprietà di sistemi mediante ASM
Esempio di applicazione 1:
Modellazione di Grid mediante ASM
Esempio di applicazione 2:
Modellazione di BitTorrent mediante ASM
Possibili approfondimenti sulle ASM
CSP
Introduzione a CSP
Operatori per il parallelismo in CSP
Esempio di applicazione: Introduzione alla sicurezza in CSP
Presentazione
Programma
Esami