Modelli per Sistemi Distribuiti Cooperativi - a.a. 2011-12
Corso di Laurea Magistrale in Informatica
Docente
Alessandro Bianchi
Dipartimento di Informatica - V Piano
Tel. 080 544 2283
Email bianchi@di.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:
- martedì dalle 14.30 alle 18.30 - Aula A1 - primo piano
- giovedì dalle 17.00 alle 19.00 - Aula A1 - primo 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
- Articoli e lucidi riferiti / distribuiti durante le lezioni.
Strumenti software utili
Aggiornamenti e Avvisi
- 22 novembre 2011 Nella pagina del programma sono disponibili
i lucidi relativi a tutti gli argomenti trattati nel corso.
- 7 novembre 2011 Nella pagina del programma sono disponibili
i lucidi relativi alle Distributed ASM e a un esempio di applicazione nell'ambito del Grid computing.
- 31 ottobre 2011 Nella pagina del programma sono disponibili
i lucidi relativi ad alcune estensioni e alle proprietà delle Reti di Petri e
a un esempio di applicazione nell'ambito delle MANET.
- 19 ottobre 2011 Nella pagina del programma sono disponibili
i lucidi relativi all'introduzione al formalismo ASM e all'introduzione a CSP.
- 13 ottobre 2011 Nella pagina del programma sono disponibili
i lucidi relativi al metodo basato su ASM.
- 7 ottobre 2011 Nella pagina del programma sono disponibili
i lucidi relativi all'introduzione alle reti di Petri e ad alcuni esempi tipici.
- 4 ottobre 2011 Nella pagina del programma è disponibile
una nuova versione dei lucidi precedentemente pubblicati e sono pubblicati
i lucidi relativi alle MANET e ai sistemi Grid. Inoltre nella presente
pagina è stato aggiornato l'orario del corso
- 26 settembre 2011 Nella pagina del programma sono disponibili
i lucidi relativi all'introduzione al corso e alle principali proprietà di interesse per il corso.
- 7 settembre 2011 Sono state apportate modifiche e correzioni al sillabo e al programma del corso.
- 5 settembre 2011 Questa pagina è on line.