REAL-T: Time Modularization in Reactive Distributed Applications
En este artículo, proponemos REAL-T, un lenguaje distribuido basado en eventos con soporte explícito para la manipulación del tiempo. El lenguaje introduce autómatas para la manipulación del tiempo operacional, construcciones de causalidad y lógica temporal lineal para predicados de tiempo declarati...
- Autores:
- Tipo de recurso:
- Fecha de publicación:
- 2018
- Institución:
- Universidad del Rosario
- Repositorio:
- Repositorio EdocUR - U. Rosario
- Idioma:
- eng
- OAI Identifier:
- oai:repository.urosario.edu.co:10336/28805
- Acceso en línea:
- https://doi.org/10.1007/978-3-319-98998-3_9
https://repository.urosario.edu.co/handle/10336/28805
- Palabra clave:
- Programación Distribuida
Programación Orientada A Eventos Gestión Del Tiempo Explícita E Implícita
Distributed Programming
Event Oriented
Programming Explicit And Implicit Time Management
- Rights
- License
- Restringido (Acceso a grupos específicos)
Summary: | En este artículo, proponemos REAL-T, un lenguaje distribuido basado en eventos con soporte explícito para la manipulación del tiempo. El lenguaje introduce autómatas para la manipulación del tiempo operacional, construcciones de causalidad y lógica temporal lineal para predicados de tiempo declarativos, y un modelo de eventos de tiempo distribuido. Hemos desarrollado un compilador para el lenguaje y un marco de tiempo de ejecución dinámico. Para validar la propuesta estudiamos la detección de patrones complejos de vulnerabilidades de seguridad en escenarios de IoT. |
---|