Modelli per Sistemi Distribuiti Cooperativi - a.a. 2014-15
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 14.30 alle 16.30 - 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
Aggiornamenti e Avvisi
- 3 dicembre 2014 Nella pagina del programma
sono pubblicate le dispense relative al parallelismo con il CSP e alla modellazione di
protocolli di sicurezza con il CSP.
- 26 novembre 2014 Nella pagina del programma
sono pubblicate le dispense relative all'introduzione al CSP. Sono inoltre disponibili
le dispense sui seminari del Dott. Gennaro Vessio.
- 7 novembre 2014 Nella pagina del programma
sono pubblicate le dispense relative all'analisi di proprietà mediante ASM
e ad alcuni esempi di applicazione.
- 29 ottobre 2014 Nella pagina del programma
sono pubblicate le dispense relative all'introduzione delle ASM, ai concetti basilari del formalismo,
al metodo di sviluppo basato su ASM e alle Distributed ASM.
- 23 ottobre 2014 Nella pagina del programma
sono pubblicate le dispense relative alla rappresentazione algebrica delle PN.
- 14 ottobre 2014 Nella pagina del programma
sono pubblicate le dispense relative all'analisi di proprietà mediante reti di Petri,
e alla modellazione di alcuni protocolli di routing per MANET.
- 9 ottobre 2014 Nella pagina del programma
sono pubblicate le dispense relative all'introduzione alle reti di Petri,
ad alcuni esempi generali di applicazione e ad alcune loro estensioni.
- 30 settembre 2014 Nella pagina del programma
sono pubblicate le dispense relative all'introduzione alle MANET
e ai sistemi Grid.
- 16 settembre 2014 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.