Scheda insegnamento
-
Docente Andrea Omicini
-
Crediti formativi 6
-
SSD ING-INF/05
-
Modalità didattica Convenzionale - Lezioni in presenza
-
Lingua di insegnamento Italiano
-
Campus di Cesena
-
Corso Laurea Magistrale in Ingegneria e scienze informatiche (cod. 8614)
Anno Accademico 2017/2018
Conoscenze e abilità da conseguire
Al termine del corso, lo studente conosce le questioni fondamentali che riguardano i sistemi distribuiti, i modelli computazionali che ne catturano l'essenza, e le tecnologie che correntemente consentono di affrontarle nella maniera più efficace e sistematica. In particolare, lo studente conosce le soluzioni, le tecnologie, le architetture e le Metodologie più idonee ad affrontare il progetto di un sistema distribuito, ed è in grado di: - individuare le criticità di un sistema computazionale derivanti dalla caratteristica distribuzione fisica - determinare le soluzioni metodologicamente più appropriate - selezionare le tecnologie più adatte per implementare le soluzioni individuate.
Contenuti
Generalità sui sistemi distribuiti
- Alle radici dei sistemi distribuiti: spazio, tempo e computazione
- Scopi e problemi dei sistemi distribuiti
- Tipi di sistemi distribuiti
Temi centrali dei sistemi distribuiti
- Architetture software
- Middleware
- Computazione e tempo
- Computazione e spazio
- Proprietà della distribuzione
Paradigmi per sistemi distribuiti
- Programmazione logica distribuita / Logica e computazione
- Calcolo basato su agenti / Agenti e sistemi multi-agente
- Sistemi basati sulla coordinazione / Coordinazione di sistemi distribuiti
Tecnologie per sistemi distribuiti
- Programmazione logica in Prolog con tuProlog
- Agenti e sistemi multi-agente con Jade
- Coordinazione basata su tuple con TuCSoN
- Programmare l'interazione con ReSpecT
- Servizi standard per sistemi distribuiti: Web Service
- Computazione senza spazio: Cloud Computing
Testi/Bibliografia
La bibliografia è resa disponibile tramite il sito del corso.
Metodi didattici
- Lezioni teoriche in aula con uso di lucidi
- Esempi discussi e costruiti in aula al computer dal docente e
da esperti
- Laboratorio
Modalità di verifica e valutazione dell'apprendimento
- Prova orale
- Possibile discussione di un progetto individuale o di gruppo
Strumenti a supporto della didattica
- Sito web del docente
- Pagina web del corso con PDF dei lucidi, altro materiale e link utili
Link ad altre eventuali informazioni
http://apice.unibo.it/xwiki/bin/view/Courses/Sd
Orario di ricevimento
Consulta il sito web di Andrea Omicini