Partición resistente de los servicios informáticos omnipresentes

Si bien la computación omnipresente es cada vez más realista desde el punto de vista del hardware, las herramientas de software correspondientes no han madurado al mismo ritmo. Esto supone una gran carga para los programadores, que tienen que permitir que las aplicaciones distribuyan su funcionalidad entre los dispositivos disponibles en el entorno. La visión de la tesis es explorar las técnicas de partición de aplicaciones para el desarrollo de aplicaciones de computación pervasiva. Utilizando estas técnicas, las aplicaciones de software pueden descomponerse en partes que pueden ser distribuidas entre múltiples dispositivos. Proponemos un modelo de actor resistente para añadir estructuralmente la propiedad de partición a las aplicaciones pervasivas. Este modelo garantiza que una aplicación pueda ser particionada dinámicamente para ejecutarse en cualquier dispositivo disponible en el entorno en tiempo de ejecución. Además, la aplicación particionada resultante es resistente a los fallos de la red. Este libro será útil para los investigadores interesados en la computación omnipresente, así como para los diseñadores de lenguajes de programación especialmente concebidos para construir aplicaciones de software que se ejecuten en redes ad hoc móviles.