RT Conference Proceedings T1 Formalización de una arquitectura de computación móvil basada en Linda A1 Perez-Vereda, Alejandro A1 Canal-Velasco, José Carlos A1 Pimentel-Sánchez, Ernesto K1 Internet K1 Congresos y conferencias K1 Programación AB Gracias a los avances y el desarrollo que está experimentando el campo de la Internet de las Cosas (Internet of Things, IoT), cada día hay más dispositivos a los que se llama inteligentes. Estos dispositivos disponen de sensores y además están dotados de conexión ya sea a la red o mediante alguna otra tecnología. Sin embargo, estos dispositivos, a pesar de lo que indique su nombre, precisan de una configuración e interacción con ellos completamente manual y específica. Lo ideal sería aprovechar esos sensores e “inteligencia” para adaptar su comportamiento automáticamente a las necesidades de los usuarios. En este ámbito, proponemos el diseño de una arquitectura de computación móvil ”People as a Service”, que confiere a los dispositivos móviles (como los smartphones) la capacidad de inferir y compartir un perfil virtual del usuario. Más allá, hemos establecido un método de interacción programática para que el dispositivo móvil, ahora con la información e inteligencia necesarias, ejerza de interfaz con estos dispositivos de IoT configurándolos de forma automática y dinámica. En este trabajo proponemos una primera aproximación para formalizar estas interacciones dinámicas mediante un enfoque basado en espacios de tuplas distribuidos y compartidos, basado en Linda. YR 2019 FD 2019-06-19 LK https://hdl.handle.net/10630/17839 UL https://hdl.handle.net/10630/17839 LA spa NO Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. DS RIUMA. Repositorio Institucional de la Universidad de Málaga RD 15 abr 2026