Verificación dinámica de composiciones en la Internet de las Cosas usando procesamiento de eventos complejos

Considerando la visión de la Internet de la Cosas, los objetos del mundo físico serán integrados en las cosas del mundo virtual. Se espera que las denominadas “cosas” (objetos, entidades, dispositivos) lleguen a ser participantes activos en los procesos de negocio y sociales. La Internet de las Cosas podría beneficiarse de la arquitectura de los Servicios Web tal y como hace actualmente la web, de manera que los objetos orientados a servicios de la Internet del Futuro podrían ofrecer su funcionalidad a través de interfaces de servicios. En trabajos previos, demostramos la necesidad de considerar el comportamiento de las cosas para desarrollar aplicaciones de forma rigurosa y compleja, y propusimos un modelo ligero para representar tal comportamiento. Nuestra metodología se basa en el paradigma orientado a servicios y extiende el perfil estándar DPWS (Devices Profile for Web Services) para especificar el orden en el que las cosas pueden recibir mensajes. También propusimos una técnica de verificación estática para comprobar si una composición de cosas respeta el comportamiento, especificado en tiempo de diseño, de las cosas compuestas. Sin embargo, un cambio en el comportamiento de una cosa puede causar que algunas composiciones no satisfagan su comportamiento. Más aún, dado que una cosa puede recibir peticiones de instancias de diferentes composiciones en tiempo de ejecución, estas peticiones podrían violar el comportamiento de dicha cosa, incluso aunque cada composición satisfaga tal comportamiento, debido al cambio de estado de la cosa. Para abordar esas cuestiones, presentamos una propuesta basada en técnicas de mediación y procesamiento de eventos complejos para detectar e inhibir invocaciones no válidas, por lo que las cosas sólo recibirán peticiones compatibles con sus comportamientos.