Università degli studi dell'Insubria

ALGEBRE DI PROCESSI

A.A. di erogazione 2014/2015

Laurea Magistrale in INFORMATICA
 (A.A. 2014/2015)
Anno di corso: 
1
Tipologia di insegnamento: 
Affine/Integrativa
Settore disciplinare: 
INFORMATICA (INF/01)
Crediti: 
6
Ciclo: 
Primo Semestre
Ore di attivita' frontale: 
48
Dettaglio ore: 
Lezione (48 ore)

Obiettivi dell’insegnamento e risultati di apprendimento attesi
Il corso tratta le Algebre di Processi, un formalismo inizialmente pensato per la descrizione formale dei sistemi concorrenti, e che ha in seguito trovato impiego nella specifica dei sistemi distribuiti, dei sistemi mobili e, recentemente, dei sistemi biologici. Le Algebre di Processi forniscono i meccanismi per descrivere, ad alto livello, le interazioni, le comunicazioni e le sincronizzazioni tra processi/agenti indipendenti. Durante il corso verranno mostrate possibili applicazioni del formalismo, dalla specifica di noti protocolli di comunicazione alla specifica di sistemi biologici multiscala. Verrà introdotta la Semantica Operazionale Strutturata, che consente di descrivere il comportamento di un sistema concorrente mediante sequenze di passi computazionali. Verranno discusse alcune nozioni di equivalenza tra processi, vale a dire concetti che consentono di stabilire quando due processi sintatticamente diversi sono in grado di simularsi a vicenda e, pertanto, specificano, di fatto, il medesimo sistema. Al termine del corso lo studente sarà in grado di usare il formalismo nei contesti opportuni.

Modalità di verifica dell’apprendimento
È prevista una prova orale. Di norma lo studente esporrà un approfondimento di un argomento non trattato a lezione, concordato col docente, la cui preparazione richiede la conoscenza degli argomenti trattati nel corso. In alternativa è possibile sostenere una prova orale classica in cui lo studente è tenuto a rispondere a quesiti posti dal docente.

Prerequisiti: 

Aver seguito il corso di programmazione.

Il corso tratta i seguenti argomenti:
- Costrutti di base per descrivere le interazioni, le comunicazioni e le sincronizzazioni tra processi indipendenti.
- Specifiche di protocolli di comunicazione.
- Specifiche di sistemi biologici multiscala.
- Semantica Operazionale Strutturata: costruzione del sistema di transizioni mediante regole di inferenza.
- Equivalenze comportamentali tra processi.

Il materiale didattico consiste in dispense ed articoli scientifici che verranno distribuiti dal docente.

clicca sulla scheda dell'attività mutataria per vedere ulteriori informazioni, quali il docente e testi descrittivi.

corso di studio in: MATEMATICA