Resultados de búsqueda para Linda

The development of the Internet of Things (IoT) came with the manufacturing of a huge amount of smart things equipped with sensors for making them aware of their environment, and with network connection for allowing remote interaction with them. However, most smart things still lack enough autonomy and context-awareness, hindering them from being people-friendly and actually useful for their users’ everyday tasks. IoT devices should take advantage of their sensors and smartness to react automatically to the needs of their users and to provide seamless interactions with them. Within this field, the authors work on the design of Digital Avatars, a mobile computing framework for dynamically programming interactions among smart devices. The framework is based on the virtual profile of the user, which is inferred, stored, and shared by their smartphone. The profile provides a personalized context for running scripts for the interaction with IoT devices. This way, smartphones become a digital avatar of the user, capable of acting as a personal and seamless interface with their IoT environment. In this work, we present a formalization of Digital Avatars by means of a Linda-based approach with multiple shared tuple spaces. By means of a case study, we show how properties of the systems can be proved, and we briefly describe an implementation of both the Digital Avatars framework and the case study.

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 o teléfonos móviles) 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.

Nowadays, model transformations languages and engines use a sequential execution model. This is, only one execution thread deals with the whole transformation. However, model transformations dealing with very large models, such as those used in biology or aerospace applications, require concurrent solutions in order to speed up their performance. In this ongoing work we explore the use of Linda for implementing a set of basic mechanisms to enable concurrent model transformations, and present our initial results.