Programmare in un contesto d'informatica globale
I nascenti contesti d'informatica globale mostrano una sempre maggiore domanda d'interazioni tra gli utilizzatori, oltre a un numero illimitato di componenti e oggetti. In questi contesti, mobilità, prevedibilità, sicurezza e tolleranza agli errori sono inoltre caratteristiche fondamentali. Le attuali tecnologie middleware e dei linguaggi di programmazione sono potenzialmente insufficienti a soddisfare le domande. Per soddisfare queste esigenze, il progetto MIKADO ha sviluppato un nuovo modello centrale di programmazione basato su dominio che consente di specificare e programmare sistemi mobili e distribuiti a grande scala. Sulla base teorica del modello, i ricercatori hanno definito le specifiche e le tecniche di analisi per migliorare la sicurezza e l'affidabilità dei sistemi. Il modello e le tecniche elaborate sono stati usati per implementare tecnologie concrete di programmazione. Uno dei linguaggi sviluppati è stato TyCO (Typed Concurrent Objects), un linguaggio di programmazione distribuita. Questo linguaggio simultaneo e orientato agli oggetti si basa su un'estensione di un calcolo asincrono, il pi-calcolo, ed elabora oggetti di prima classe, messaggi asincroni e definizioni di processo. Queste ultime offrono la base per modellizzare classi di oggetti. Per maggiori informazioni, cliccare: http://mikado.di.fc.ul.pt/index.html
