Fondamenti di sistemi distribuiti

Informazioni generali

Orari delle lezioni

MARTEDI' : 8.30-10.30 (in Sala Lauree)
GIOVEDI' : 8.30-10.30 (in aula Alfa)

Le lezioni inizieranno indicativamente verso le 8.50 e termineranno per le 10.20 circa

Sito del corso

Il sito del corso dovrebbe essere questo: [1]

Materiale didattico

- Slide
- "Designing Concurrent, distributed and real-time application with UML", Addison-Wesley, 2001

Modalità d'esame

Compitino

Dal sito della prof:

"Come detto a lezione, ho deciso di fare un compitino principalmente destinato a coloro che finora hanno frequantao con buona regolarita'. Indicativamente si svolgera' la prima settimana di dicembre e vertera' sulle lezioni fatte fin qui, includendo sicuramente anche i casi d'uso (ancora da finire) e forse lo static modelling (ancora da fare, devo decidere). Coloro che non hanno frequantato regolarmente non ha molto senso che lo 'tentino': lo scritto di febbraio sara' piu' calibrato su chi si e' preparato principalmente sul testo."

Iscrizione

Viene precisato che tutti gli studenti che intendono sostendere l'esame in questo anno accademico dovranno perfezionare un'iscrizione sul sito del corso. Il tutto non avrà alcun valore formale nè ammiistrativo, ma servirà solo alla prof per avere un'idea di quanti frequentaranno il corso ed avere i recapiti mail di tutti gli studenti!

Per iscriversi, seguite le procedure illustrate alla pagina: Iscrizioni

E' necessario formare al più presto dei gruppi di lavoro (2 o 3 persone) e iniziare a pensare a un caso di studio (in seguito verrà spiegato come formalizzare il tutto)

E' vivamente consigliata la frequenza. Per i non prequentanti è possibile tuttavia: - partecipare ai lavori di gruppo e al caso di studio ma BISOGNA APPORTARE UN REALE CONTRIBUTO - oppure studiare autonomamente sul libro E'vivamente SCONSIGLIATO fare una via di mezzo (quindi o decidete di studiare sul libro, oppure decidete subito di unirvi a un gruppo e partecipare attivamente agli sviluppi del vostro caso di studio anche se non frequentate).

L'esame consisterà in una verifica dei concetti (prova scritta) e del caso di studio che si è preparato durante tutto il corso. Verrà inoltre valutata MOLTO la partecipazione durante le lezioni e nella discussioni che verranno intraprese online, sempre sul sito della prof.

CONSIGLIO: cercate di dare subito l'esame, che vi servirà anche per "Sistemi distribuiti" del secondo semestre.

Diario del corso

Lezione di Martedì 4-10-05

La prof. De Cindio ha spiegato le modalità del corso e dell'esame e il grande argomento del corso; i computer-base systems, ovvero i sistemi distribuiti ( in locazioni diverse, in pezzi con il proprio comportamente e funzionamento che però interagiscono tra di loro ), concorrenti ( le parti ogni tanto si coordinano ma ognuna svolge il suo lavoro autonomamente), eterogeni (componeneti molto diversi tra di loro ma integrati). Verrà inoltre molto approfondito l'UML per la progettazione dei sistemi distribuiti.

Iniziate già a cercare una o due persone per il vostro gruppo di esame perchè le esercitazioni partiranno da quasi subito.

COMPITO PER DATA IMPRECISATA (comunque, cercato di farlo il primo possibile) : Formalizzate cosa è per voi un "sistema" e postate la vostra definizione in quest'area: [2]

Lezione di Giovedì 6-10-05

Abbiamo discusso delle varie definizioni di "sistema" postate da noi studenti sul suo forum, evidenziando limiti e cosa da salvare. Scaricatevi pure il file riassuntivo di tutte le definizioni presente sul suo sito! ;) Qua per gli appunti [3]

Lezione di Martedì 11-10-05

Abbiamo visto diverse configurazioni di sistema e analizzato l'importanza dell'INTERAZIONE delle parti, quindi dell'interazione tra i vari componenenti di un sistema. Abbiamo discusso inoltre dell'importanza della comunicazione tra due componeneti (sincrona o asincorna) con particolare riferimento all'esempio del produttore-consumatore.

Lezione di Giovedì 13-10-05

Oggi abbiamo fatto una lezione che ha ripreso in parte gli argomenti trattati martedì; abbiamo affrontato più in dettaglio, tramite i diagrammi a stati finiti, la comunicazione sincrona e asincrona tra una ipotetica classe consumer e una producer.

Lezione di Martedì 18-10-05

Abbiamo visto la configurzione del sistema Producer || Buffer || Consumer e in generale come avvengono le comunicazioni asincrone. Abbiamo visto in generale cosa è un sistema di primo, secondo e terzo livello. Definizione di "automi" e sue caratteristiche generali

Lezione di Giovedì 20-10-05

Concetto di ordinamento causale e parziale dei tempi in un sistema distribuito. Abbiamo inoltre rivisto i concetti di sistemi di primo, secondo e terzo livello

Lezione di Martedì 25-10-05

Situazioni di conflitto e concorrenza; il contatto, la side-condition e la confusione. La proprietà di vivezza dei sistemi e i case graph.

Lezione di Giovedì 27-10-05

Abbiamo visto 3 diverse sincronizzazioni di sistemi e definito le proprietà di vivezza e 1-vivezza.. Introduzione all'analisi e distribuzione dei sistemi distribuiti.

Lezione di Martedì 01-11-05

Lezione sospesa per festività

Lezione di Giovedì 03-11-05

La prof ha spiegato il Comet (concurrent modelling and architectural design method) che è una metodologia. Abbiamo analizzato la problem description in una visione ad alto livello. Abbiamo fatto una prima descrizione dei requisiti funzionali, ovvero cosa il sistema fa per gli utenti, attraverso Use Cases Modelling. La prof ha anche spiegato i vari tipi di "attori" e la descrizione dei casi d'uso in Comet.

Lezione di Martedì 08-11-05

Relazioni tra casi d'uso in Comet/UML. Approfondimenti su Use Case. Esempio di use case: il Bancomat (inserire una carta, il sistema riconosce la carta e l'utente può fare altre operazioni).

Lezione di Giovedi' 10-11-2005

Esercizi in preparazione al compitino.

Lezione di Martedi' 15-11-2005

Analisi del sistema, static modelling (problem domain e system context). Classi del problem domain e relazioni (relazioni di composizione, di aggregazione, di associazione, di generalizzazione/specializzazione). System context class diagram. Classificazione di attori per classi esterne.

Lezione di Giovedi' 17-11-2005

Entity objects, coordinator objects, state dependent control object.

Lezione di Martedi' 22-11-2005

Dynamic Modelling. Classificazione degli oggetti in State Dependent e Non State Dependent. Dynamic analysis non state dependent e dynamic analysis state dependent. Per effettuare determinate analisi Comet/UML mette a disposizione due strumenti: Finite state machine modelling e dynamic modelling.

Lezione di Giovedi' 23-11-2005

Ci doveva essere lezione ma siccome la prof si è resa conto di essere andata troppo in fretta con le spiegazioni ha deciso di non fare lezione oggi.

Lezione di Martedi' 29/11/2005

Validate Pin : use case astratto.Verifiche con modello implicito ed esplicito.

Lezione di Giovedi' 01/12/2005

Ripasso sul contatto,side condition,concorrenza, semantica a step, semantica interleaving e semantica a ordinamenti parziali.

Lezione di Martedi' 13/12/2005

Analisi:aspetti dinamici. Finite state machine modelling e dynamic modelling. Correzione secondo esercizio del 1°compitino. Finite state machine in Comet.Esempi.

Lezione di Giovedi' 15/12/2005

Esempio rappresentazione state chart e semantica a rete. Meccanismi di aggregazione.GuideLine in Comet.

Lezione di Martedi' 20/12/2005

Finite State Machine Modelling. Collaboration Diagram e Sequence Diagram. Esempio del libro del collaboration diagram. Sintassi dei messaggi,come procedere per lo sviluppo dell'analisi dinamica. Verifica consistenza del comportamento eseguito.