Particionamento Resiliente de Serviços de Computação 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.