|
I Workshop progetto
Saladin
|
|
Il progetto Saladin ha come obiettivo generale l'avanzamento della conoscenza nel settore dello sviluppo del software per reti. Si intende quindi porre le basi teoriche, linguistiche e metodologiche di un approccio innovativo allo sviluppo del software per reti. Esso è basato su una visione globale e ad alto livello delle applicazioni che si intendono realizzare. I vantaggi dovrebbero riguardare sia la fase di progettazione architetturale, in cui vanno considerati solo gli aspetti essenziali delle componenti e delle loro interazioni, sia le fasi evolutive del ciclo di vita delle applicazioni, in cui facilità di coordinamento, mobilità ed open endness sono indispensabili. Caratteristiche del nostro approccio sono la possibilità di specifica e di verifica ad alto livello, sia statica che dinamica, sia funzionale che qualitativa, del software di rete, per garantire la qualità del servizio e la espressività dei linguaggi di programmazione, che devono permettere di implementare in modo naturale e sicuro il disegno architetturale. Altre caratteristiche importanti sono composizionalità ed estensibilità, per garantire la flessibilità e la facilità di riuso del software. Allo stato dell'arte, il punto di partenza migliore è rappresentato dall'approccio basato su architetture software le cui componenti sono oggetti distribuiti. Un'applicazione distribuita su rete può essere vista come un sistema di agenti (oggetti attivi) indipendenti e mobili, la cui interazione può essere gestita attraverso opportune politiche di coordinamento e che utilizzano servizi che offrono certe garanzie, come per esempio la efficienza, la sicurezza o l'affidabilità.
The project aims to contribute to the theoretical, linguistic and methodological foundations of an innovative approach to the development of mobile agents. It is based on a global and abstract view of applications. The advantages should be evident both in the architectural design phase, in which only components and their interactions have to be considered, and in the evolutionary phases of the software life cycle, where coordination, mobility and open endedness are key issues. Features of our approach are the static and dynamic abstract-level specification and verification of mobile agents, both functional and quantitative, to provide high quality of service, and the expressivity of the programming languages, which should allow for the natural and secure programming of the architectural design. To guarantee flexibility and reuse of software, the elements concurring in the definition of the paradigm must be themselves compositional and extensible to a very high degree. Given the current state of the art, it is best to start with an architectural based whose components distributed mobile object. Then, an application can be seen as a system of distributed and mobile objects implementing the agents; their interactions are managed via suitable coordination policies.
Il programma del workshop prevede tre relazioni invitate:
e quattro sessioni di presentazione dei risultati e dello stato di avanzamento della ricerca nell'ambito del progetto, seguite da una discussione e pianificazione dell'attività del secondo anno.
Saranno inclusi gli abstract dei contributi con riferimenti ai lavori relativi e ai rapporti tecnici Saladin.
È disponibile online il programma del workshop, e la locandina [pdf, 54K].
Il Workshop si terrà dal 14 al 16 febbraio 2001, presso l'Auditorium Santa Margherita, Dorsoduro, 3689 (Venezia). Una piantina generale di Venezia è disponibile qui; È disponibile anche una mappa dettagliata per raggiungere l'Auditorium.
Hotel Belle Arti
Dorsoduro 912/A, 30100 Venezia, Italy
Tel. +39 041 5226230
Fax +39 041 5280043
E-mail: info@hotelbellearti.com
Web: http://www.hotelbellearti.com/
Hotel Ca' Pisani
Dorsoduro 979/a, 30123 Venezia, Italy
Tel. +39 041 2401411
Fax +39 041 2771061
E-Mail: info@capisanihotel.it
Web: http://www.capisanihotel.it/
Un elenco di altri hotel a Venezia è disponibile qui, oppure qui
È prevista una tassa di iscrizione di 250.000 lire da pagare direttamente al Workshop (pagamento in contanti o con assegno) che include i coffee break, il pranzo e la cena di giovedì 15/2/2001.
Dipartimento di Informatica
Università Ca' Foscari di Venezia
S. Balsamo
Tel: +39 041 2908473
Fax: +39 041 2908419
e-mail: balsamo@dsi.unive.it
Web: http://www.dsi.unive.it/~balsamo