Modelli per Sistemi Distribuiti Cooperativi - a.a. 2010-11
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:
- lunedì dalle 14.30 alle 17.30 - Aula B1 - primo piano
- martedì dalle 14.30 alle 17.30 - Aula A1 - primo piano
Obiettivi: Il corso intende sviluppare le
competenze culturali di base su metodi, modelli e tecniche per la
specifica, analisi e valutazione della comunicazione tra processi.
Ha 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 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.
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.
Aggiornamenti e Avvisi
- 20 dicembre 2010 Nella pagina del programma sono disponibili
le dispense relative al seminario sulla modellazione di GRID mediante ASM.
- 15 dicembre 2010 Nella pagina del programma sono disponibili
le dispense relative al parallelismo con il CSP e a un esempio di applicazione del CSP per
la modellazione di alcuni protocolli di sicurezza.
- 10 dicembre 2010 Nella pagina del programma sono disponibili
le dispense relative all'esempio di modellazione del protocollo BitTorrent mediante ASM
e all'introduzione al CSP.
- 26 novembre 2010 Nella pagina del programma sono disponibili
le dispense relative alle DASM e all'analisi delle proprietà per ASM.
- 17 novembre 2010 Nella pagina del programma sono disponibili
le dispense relative al metodo di sviluppo basato sulle ASM.
- 15 novembre 2010 Nella pagina del programma sono disponibili
le dispense relative all'introduzione alle ASM e ai concetti di base delle ASM.
- 8 novembre 2010 Nella pagina del programma sono disponibili
le dispense relative ai possibili approfondimenti sulle Reti di Petri.
- 3 novembre 2010 Nella pagina del programma sono disponibili
le dispense relative all'applicazione di Reti di Petri nella modellazione di MANET.
- 29 ottobre 2010 Nella pagina del programma sono disponibili
le dispense relative alle proprietà analizzabili con Reti di Petri, e alcuni esempi generali.
- 25 ottobre 2010 Nella pagina del programma sono disponibili
le dispense relative alle estensioni delle Reti di Petri.
- 21 ottobre 2010 Questa pagina è on line. Inoltre, nella pagina del programma sono disponibili
le dispense relative alla presentazione del corso e alla introduzione alle Reti di Petri.