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...

Full description

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