Sistemi distribuiti cooperativi

Docente: Franco Arcieri

Comunicazioni


Lezioni


Materiale didattico

Informazioni

Anno accademico2015-2016
Crediti9
SettoreINF/01
Anno1
Semestre2
PropedeuticitàNessuna

Programma

Cooperazione tra processi: peer e scambi informativi in ambiente distribuito

Modello di flussi di cooperazione

Ruolo di una terza parte "fidata"

Intrusività della terza parte "fidata"

L'albero di cooperazione

Certificazione della cooperazione

Cooperazione su protocolli di sicurezza (HTTPS)

Process mining: verifica "on line" dell'evoluzione di processi cooperativi distribuiti

Process mining: ricostruzione dell'evoluzione di processi cooperativi distribuiti

 

Esercitazioni:

Per le esercitazioni è previsto l'uso del linguaggio SCHEME/GUILE

 


Testi di riferimento

Communicating Sequential Processes, C. A. R. Hoare

Process mining manifesto, Wil van der Aalst

The Guile Reference Manual, GNU OSF


Ricevimento studenti

Studio: lunedi' e venerdi' dalle 10 alle 11 su appuntamento

 


Modalità di esame

presentazione di un progetto e relativa discussione