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)
id |
EDOCUR2_78e045679847201361efb1b5c984ce4c |
---|---|
oai_identifier_str |
oai:repository.urosario.edu.co:10336/28805 |
network_acronym_str |
EDOCUR2 |
network_name_str |
Repositorio EdocUR - U. Rosario |
repository_id_str |
|
spelling |
66a48526-6019-4052-9718-a8145d01bf33-10e288fd2-8a2d-4478-b9f2-37663a66b08b-12c1714d3-0846-423d-8c7a-2bf9e1c268dd-16acd5f85-89d9-4f99-883c-0b52ea7ac9f4-1897a354a-5ec3-4030-aaab-8f10784a8a2e-110616957136002020-08-28T15:49:49Z2020-08-28T15:49:49Z2018-08-19En 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.In this paper, we propose REAL-T, a distributed event-based language with explicit support for time manipulation. The language introduces automata for operational time manipulation, causality constructs and Linear Temporal Logic for declarative time predicates, and a distributed-time aware event model. We have developed a compiler for the language and a dynamic run-time framework. To validate the proposal we study detection of complex patterns of security vulnerabilities in IoT scenarios.application/pdfhttps://doi.org/10.1007/978-3-319-98998-3_9ISBN:978-3-319-98997-6https://repository.urosario.edu.co/handle/10336/28805engSpringer NatureAdvances in ComputingVol. 885Advances in Computing, ISBN:978-3-319-98997-6, Vol 885 (agosto 2018)https://link.springer.com/chapter/10.1007/978-3-319-98998-3_9Restringido (Acceso a grupos específicos)http://purl.org/coar/access_right/c_16ecAdvances in Computinginstname:Universidad del Rosarioreponame:Repositorio Institucional EdocURProgramación DistribuidaProgramación Orientada A Eventos Gestión Del Tiempo Explícita E ImplícitaDistributed ProgrammingEvent OrientedProgramming Explicit And Implicit Time ManagementREAL-T: Time Modularization in Reactive Distributed ApplicationsREAL-T: Modularización del tiempo en aplicaciones distribuidas reactivasbookPartParte de librohttp://purl.org/coar/version/c_970fb48d4fbd8a85http://purl.org/coar/resource_type/c_3248Benavides Navarro,Luis DanielPimienta, CamiloSanabria , MAteoGarzón WilmerMelo WilsonDíaz López, Daniel Orlando10336/28805oai:repository.urosario.edu.co:10336/288052021-06-03 00:52:26.564https://repository.urosario.edu.coRepositorio institucional EdocURedocur@urosario.edu.co |
dc.title.spa.fl_str_mv |
REAL-T: Time Modularization in Reactive Distributed Applications |
dc.title.TranslatedTitle.spa.fl_str_mv |
REAL-T: Modularización del tiempo en aplicaciones distribuidas reactivas |
title |
REAL-T: Time Modularization in Reactive Distributed Applications |
spellingShingle |
REAL-T: Time Modularization in Reactive Distributed Applications 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 |
title_short |
REAL-T: Time Modularization in Reactive Distributed Applications |
title_full |
REAL-T: Time Modularization in Reactive Distributed Applications |
title_fullStr |
REAL-T: Time Modularization in Reactive Distributed Applications |
title_full_unstemmed |
REAL-T: Time Modularization in Reactive Distributed Applications |
title_sort |
REAL-T: Time Modularization in Reactive Distributed Applications |
dc.subject.spa.fl_str_mv |
Programación Distribuida Programación Orientada A Eventos Gestión Del Tiempo Explícita E Implícita |
topic |
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 |
dc.subject.keyword.spa.fl_str_mv |
Distributed Programming Event Oriented Programming Explicit And Implicit Time Management |
description |
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. |
publishDate |
2018 |
dc.date.created.spa.fl_str_mv |
2018-08-19 |
dc.date.accessioned.none.fl_str_mv |
2020-08-28T15:49:49Z |
dc.date.available.none.fl_str_mv |
2020-08-28T15:49:49Z |
dc.type.eng.fl_str_mv |
bookPart |
dc.type.coarversion.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
dc.type.coar.fl_str_mv |
http://purl.org/coar/resource_type/c_3248 |
dc.type.spa.spa.fl_str_mv |
Parte de libro |
dc.identifier.doi.none.fl_str_mv |
https://doi.org/10.1007/978-3-319-98998-3_9 |
dc.identifier.issn.none.fl_str_mv |
ISBN:978-3-319-98997-6 |
dc.identifier.uri.none.fl_str_mv |
https://repository.urosario.edu.co/handle/10336/28805 |
url |
https://doi.org/10.1007/978-3-319-98998-3_9 https://repository.urosario.edu.co/handle/10336/28805 |
identifier_str_mv |
ISBN:978-3-319-98997-6 |
dc.language.iso.spa.fl_str_mv |
eng |
language |
eng |
dc.relation.citationTitle.none.fl_str_mv |
Advances in Computing |
dc.relation.citationVolume.none.fl_str_mv |
Vol. 885 |
dc.relation.ispartof.spa.fl_str_mv |
Advances in Computing, ISBN:978-3-319-98997-6, Vol 885 (agosto 2018) |
dc.relation.uri.spa.fl_str_mv |
https://link.springer.com/chapter/10.1007/978-3-319-98998-3_9 |
dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_16ec |
dc.rights.acceso.spa.fl_str_mv |
Restringido (Acceso a grupos específicos) |
rights_invalid_str_mv |
Restringido (Acceso a grupos específicos) http://purl.org/coar/access_right/c_16ec |
dc.format.mimetype.none.fl_str_mv |
application/pdf |
dc.publisher.spa.fl_str_mv |
Springer Nature |
dc.source.spa.fl_str_mv |
Advances in Computing |
institution |
Universidad del Rosario |
dc.source.instname.none.fl_str_mv |
instname:Universidad del Rosario |
dc.source.reponame.none.fl_str_mv |
reponame:Repositorio Institucional EdocUR |
repository.name.fl_str_mv |
Repositorio institucional EdocUR |
repository.mail.fl_str_mv |
edocur@urosario.edu.co |
_version_ |
1814167701300445184 |