Linguaggi e modelli per sistemi concorrenti e distribuiti, in
particolare:
- Calcoli di processi e loro proprietà: studio di calcoli per la
modellazione di sistemi concorrenti e distribuiti, con particolare
enfasi sui sistemi orientati ai servizi e sulle transazioni di
lunga durata. Studio di nuovi calcoli (SCC, SSCC, muse, ...) e di
calcoli esistenti (CCS, pi-calcolo, HOpi, ...). Studio delle
proprietà di espressività dei calcoli e studio di tecniche di
analisi basate su sistemi di tipi o equivalenze
comportamentali.
- Calcoli e linguaggi reversibili: studio di calcoli e linguaggi
reversibili, in cui cioè sia possibile tornare indietro a stati
precedenti, o a stati che avrebbero potuto essere attraversati
tramite un diverso ordine di esecuzione di azioni indipendenti.
Studio di meccanismi per il controllo della reversibilità, con
l'obiettivo di sfruttare la reversibilità per riportare il sistema
in uno stato consistente dopo un errore. Questo tema è sviluppato
nell'ambito della COST Action europea IC1405.
- Computazioni orientate ai servizi: studio di modelli per
computazioni orientate ai servizi. Studio in particolare del
calcolo SOCK e del linguaggio di programmazione Jolie su di esso
basato. Studio di primitive per la gestione degli errori in
SOCK/Jolie. Questo tema è sviluppato in collaborazione con
ItalianaSoftware s.r.l.
- Sessioni multiparty: studio di sistemi interattivi basati sul
concetto di sessione multiparty. Studio di linguaggi di specifica
di questi sistemi, con particolare enfasi sui sistemi con numero
variabile di partecipanti, e studio di tecniche per la
realizzazione di servizi/componenti compatibili con una specifica
data.
