Modelli per Sistemi Distribuiti Cooperativi - a.a. 2013-14

Corso di Laurea Magistrale in Informatica

Docente

Alessandro Bianchi
Dipartimento di Informatica - V Piano
Tel. 080 544 2283
Email alessandro.bianchi@uniba.it
Pagina Web http://www.di.uniba.it/~bianchi/

Ricevimento studenti:

• mercoledì dalle 15.30 alle 17.30 - Dipartimento di Informatica - Bari;
• ora e luogo definiti per appuntamento.

Il Corso

Orario:

• lunedì dalle 16.30 alle 18.30 dalle 15.00 alle 17.00 - Aula ICD - secondo piano
• martedì dalle 14.30 alle 16.30 - Aula ICD - secondo piano

Obiettivi: Il corso intende sviluppare le competenze culturali di base su alcuni metodi innovativi, adatti a modellare la struttura e il funzionamento di sistemi distribuiti particolarmente complessi. Ha inoltre lo scopo di fornire le competenze fondamentali per applicare i concetti nella risoluzione dei problemi.
E' richiesto che gli studenti abbiano le conoscenze di base fornite nei corsi triennali della classe di Informatica, e abbiano sviluppato capacità di astrazione e formalizzazione. Condizione necessaria per seguire proficuamente il corso è il desiderio di applicare le conoscenze per indagare fenomeni che si presentano in pratica.
Per ulteriori dettagli, si rimanda al Sillabo del corso.

Bibliografia

• E. Börger, R. Stärk, Abstract State Machine, Springer 2003
• C.A.R. Hoare, Communicating Sequential Processes, Prentice Hall International, 1985 (disponibile in http://www.usingcsp.com./cspbook.pdf)
• R. David, H. Alia, Discrete, Continuous, and Hybrid Petri Nets, Springer 2003
• R. Milner, Communication and Concurrency, Prentice Hall International 1995
• AA.VV. The Go Programming Language, (disponibile sul sito http://golang.org)
• AA.VV. Erlang Programming Language, (disponibile sul sito http://www.erlang.org)
• Articoli e lucidi riferiti / distribuiti durante le lezioni.

Strumenti software utili

• CPN Tools;
• COREAsm.

Aggiornamenti e Avvisi

• 4 dicembre 2013 Nella pagina del programma sono pubblicate le dispense relative al parallelismo in CSP e a un esempio di applicazione del CSP nella specifica di protocolli di sicurezza.
• 27 novembre 2013 Nella pagina del programma sono pubblicate le dispense relative alle proprietà delle ASM, e a due esempi di applicazione. Sono inoltre pubblicate le dispense relative all'introduzione al CSP.
• 18 novembre 2013 Si comunica che, a causa di impegni istituzionali del docente, la lezione di martedì 26 NON si terrà. Al fine di recuperare le lezioni perse:
  • si terrà una lezione straordinaria giovedì 21 alle 15.00;
  • la lezione di lunedì proseguirà oltre l'orario stabilito per un'ora circa.
• 30 ottobre 2013 Nella pagina del programma sono pubblicate le dispense relative all'introduzione alle ASM, ai loro elementi di base, al metodo basato su ASM e alle ASM distribuite.
• 23 ottobre 2013 Si comunica che a causa di impegni istituzionali del docente, la lezione del 28 ottobre NON si terrà.
• 17 ottobre 2013 Nella pagina del programma sono pubblicate le dispense relative alle estensioni delle reti di Petri, all'analisi di alcune proprietà mediante PN, all'applicazione delle PN per la modellazione di protocolli di routing per MANET e ad alcuni possibili approfondimenti sulle PN.
• 10 ottobre 2013 Si comunica che a partire dalla lezione del 14 ottobre compresa la lezione del lunedì si terrà dalle ore 15.00 alle ore 17.00. Si comunica inoltre che a causa della concomitante seduta di laurea, NON si terrà la lezione del 15 ottobre.
• 8 ottobre 2013 Nella pagina del programma sono pubblicate le dispense relative all'introduzione alle reti di Petri e ad alcuni esempi tipici.
• 3 ottobre 2013 Nella pagina del programma sono pubblicate le dispense relative all'introduzione alle MANET e ai sistemi Grid.
• 26 settembre 2013 Questa pagina è on line. Inoltre, nella pagina del programma sono pubblicate le dispense relative all'introduzione al corso e alle proprietà dei sistemi distribuiti cooperativi.