Partizionamento resiliente di servizi informatici pervasivi

Mentre il pervasive computing sta diventando più realistico dal punto di vista dell'hardware, gli strumenti software corrispondenti non sono maturati allo stesso ritmo. Questo mette un grande peso sui programmatori che devono permettere alle applicazioni di diffondere le loro funzionalità attraverso i dispositivi disponibili nell'ambiente circostante. La visione della tesi è quella di esplorare tecniche di partizionamento delle applicazioni per lo sviluppo di applicazioni di pervasive computing. Usando queste tecniche, le applicazioni software possono essere decomposte in parti che possono essere distribuite tra più dispositivi. Proponiamo un modello di attore resiliente per aggiungere strutturalmente la proprietà di partizionamento alle applicazioni pervasive. Questo modello assicura che un'applicazione possa essere partizionata dinamicamente per essere eseguita su qualsiasi dispositivo disponibile nell'ambiente circostante in fase di esecuzione. Inoltre, l'applicazione partizionata risultante è resiliente ai fallimenti della rete. Questo libro sarà utile per i ricercatori interessati al pervasive computing, così come per i progettisti di linguaggi di programmazione per linguaggi appositamente progettati per la costruzione di applicazioni software che funzionano in reti mobili ad hoc.