Linguaggi concorrenti e mobili (2007/2008)

Corso a esaurimento

Codice insegnamento
4S00058
Docente
Massimo Merro
crediti
5
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano
Periodo
3° Q dal 7-apr-2008 al 13-giu-2008.

Orario lezioni

3° Q
Giorno Ora Tipo Luogo Note
martedì 9.30 - 11.30 lezione Aula I  
mercoledì 10.30 - 11.30 lezione Aula D  
mercoledì 14.30 - 15.30 lezione Aula A  
giovedì 11.30 - 13.30 lezione Aula I  

Obiettivi formativi

L'obiettivo del corso e' quello di fornire i concetti e principi fondamentali che sono alla base di una corretta programmazione concorrente, con o senza mobilita' di codice. A tal scopo verranno considerati dei modelli algebrici, vale a dire dei linguaggi molto semplici, che racchiudono tutte le caratteristiche principali dei linguaggi concorrenti reali. Tali modelli, chiamati calcoli di processo(quali CCS, Pi-calcolo, Mobile Ambient), essendo piu semplici dei linguaggi reali, ben si prestano allo studio delle problematiche tipiche della concorrenza. Durante il corso verrano forniti vari esempi ed applicazioni. Nell'ultima parte del corso verrano accennati nozioni di linguaggi distribuiti, in cui agenti concorrenti migrano all'interno di reti di calcolatori.

Programma

-Definizione di sistemi trasformazionali, reattivi, concorrenti e distribuiti
-Sistemi reattivi e richiami di teoria degli automi
-Semantica operazionale per sistemi reattivi: Sistema a transizioni etichettate
-Semantica comportamentale per sistemi reattivi: bisimulazione forte
-Processi sequenziali: sintassi, semantica operazionale, bisimulazione
-Processi concorrenti (CCS): sintassi, semantica operazionale, bisimulazione
-Esempi di sistemi concorrenti in CCS
-Bisimulazione debole
-Tecniche di prova di equivalenza tra processi
-Specifica e verifica di proprieta': Hennessy-Milner Logic
-Sistemi Mobili
-Pi-calcolo: sintassi e semantica operaizionale
-Esempi di sistemi mobili in pi-calcolo
-Bisimulazione forte e debole in pi-calcolo
-Accenni di modelli concorrenti e distribuiti.

Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
Robin Milner Communicating and Mobile Systems: the pi-calculus (Edizione 1) Cambridge University Press 1999 0521658691

Modalità d'esame

Il candidato dovra' sostenere una prova scritta. Voti minori o uguali a 26 possono essere confermati. Per voti dal 27 in su' e' richiesto un colloquio orale con il docente.

Statistiche per i requisiti di trasparenza (Attuazione Art. 2 del D.M. 31/10/2007, n. 544)

Statistiche esiti
Esiti Esami Esiti Percentuali Media voti Deviazione Standard
Positivi 74.19% 26 3
Respinti 3.22%
Assenti 19.35%
Ritirati 3.22%
Annullati --
Distribuzione degli esiti positivi
18 19 20 21 22 23 24 25 26 27 28 29 30 30 e Lode
4.3% 0.0% 0.0% 8.6% 4.3% 13.0% 4.3% 0.0% 8.6% 4.3% 13.0% 4.3% 13.0% 21.7%

Valori relativi all'AA 2007/2008 calcolati su un totale di 31 iscritti. I valori in percentuale sono arrotondati al numero intero più vicino.