Particionamento Resiliente de Servicos de Computacao Pervasiva

Enquanto a computação generalizada se está a tornar mais realista do ponto de vista do hardware, as ferramentas de software correspondentes não amadureceram ao mesmo ritmo. Isto coloca um grande fardo sobre os programadores que têm de permitir que as aplicações espalhem a sua funcionalidade pelos dispositivos disponíveis no ambiente. A visão da tese é a de explorar técnicas de partição de aplicações para o desenvolvimento de aplicações computacionais invasivas. Utilizando estas técnicas, as aplicações de software podem ser decompostas em partes que podem ser distribuídas entre múltiplos dispositivos. Propomos um modelo de actor resiliente para adicionar estruturalmente a propriedade de partição a aplicações invasivas. Este modelo assegura que uma aplicação pode ser dividida dinamicamente para ser executada em qualquer dispositivo disponível no ambiente em tempo de execução. Além disso, a aplicação particionada resultante é resiliente a falhas na rede. Este livro será útil para investigadores interessados em computação omnipresente, bem como designers de linguagens de programação para linguagens especialmente concebidas para a construção de aplicações de software que funcionam em redes móveis ad hoc.