Titolo:
| Generazione Automatica di Programmi Java Multithreaded Corretti. |
Relatore:
| Ing. Edoardo Bontà. |
Luogo:
| Aula II piano Collegio Raffaello (Piazza della Repubblica 13). |
Orario:
| 17:30 - 19:30. |
Numero di crediti:
| 0.25. |
Vincoli di partecipazione:
| Nessuno. |
Sommario:
|
La programmazione concorrente si occupa dello sviluppo di sistemi software in
cui più processi eseguono le proprie attivià contemporaneamente,
sincronizzandosi ed interagendo fra loro. Per quanto la programmazione
concorrente offra un supporto essenziale alla realizzazione di applicazioni
multimediali e real-time ed il suo impiego sia fortemente peculiare su macchine
multiprocessore e sistemi distribuiti, occorre tener conto che essa è assai
più delicata della programmazione sequenziale classica ed un suo affidabile
utilizzo richiede l'introduzione di costrutti e concetti nuovi. In questa
direzione, le algebre di processi e i linguaggi di descrizione architetturale
sono da vari anni impiegati come strumenti per l'analisi e il supporto alla
progettazione del software.
In questo seminario presenteremo un approccio per la sintesi automatica di programmi Java multithreaded a partire da descrizioni architetturali basate su algebre di processi. Il vantaggio di questo approccio è duplice: se da un lato è possibile verificare proprieà del software fin dalle prime fasi del processo di sviluppo, dall'altro può essere generato automaticamente del codice che preservi le proprietà precedentemente verificate a livello di architettura del software. Nel corso del seminario verrà presentata inoltre una metodologia per la sintesi di componenti passivi per il controllo della concorrenza, ovvero monitor Java, il cui comportamento e le cui interazioni con altri componenti sono descritti mediante termini algebrici di processo che soddisfano determinate condizioni. |
Docente di riferimento:
| Ing. Edoardo Bontà. |
| Ultima modifica: 08/02/2006 | Approvato da: Presidente CCdL |