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, 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 BitTorrent mediante ASM
• Esempio di applicazione 2: Modellazione di Grid mediante ASM
• Possibili approfondimenti sulle ASM

Altri formalismi per la comunicazione:

• Introduzione a CSP
• Operatori per il parallelismo in CSP
• Introduzione al π-calculus
• Esempio di applicazione: Introduzione alla sicurezza in CSP