Ítem
Solo Metadatos

REAL-T: Time Modularization in Reactive Distributed Applications

Mostrar el registro sencillo de la publicación
dc.creatorBenavides Navarro,Luis Danielspa
dc.creatorPimienta, Camilospa
dc.creatorSanabria , MAteospa
dc.creatorGarzón Wilmerspa
dc.creatorMelo Wilsonspa
dc.creatorDíaz López, Daniel Orlando
dc.date.accessioned2020-08-28T15:49:49Z
dc.date.available2020-08-28T15:49:49Z
dc.date.created2018-08-19spa
dc.descriptionEn 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.spa
dc.description.abstractIn 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.spa
dc.format.mimetypeapplication/pdf
dc.identifier.doihttps://doi.org/10.1007/978-3-319-98998-3_9
dc.identifier.issnISBN:978-3-319-98997-6
dc.identifier.urihttps://repository.urosario.edu.co/handle/10336/28805
dc.language.isoengspa
dc.publisherSpringer Naturespa
dc.relation.citationTitleAdvances in Computing
dc.relation.citationVolumeVol. 885
dc.relation.ispartofAdvances in Computing, ISBN:978-3-319-98997-6, Vol 885 (agosto 2018)spa
dc.relation.urihttps://link.springer.com/chapter/10.1007/978-3-319-98998-3_9spa
dc.rights.accesRightsinfo:eu-repo/semantics/restrictedAccess
dc.rights.accesoRestringido (Acceso a grupos específicos)spa
dc.sourceAdvances in Computingspa
dc.source.instnameinstname:Universidad del Rosario
dc.source.reponamereponame:Repositorio Institucional EdocUR
dc.subjectProgramación Distribuidaspa
dc.subjectProgramación Orientada A Eventos Gestión Del Tiempo Explícita E Implícitaspa
dc.subject.keywordDistributed Programmingspa
dc.subject.keywordEvent Orientedspa
dc.subject.keywordProgramming Explicit And Implicit Time Managementspa
dc.titleREAL-T: Time Modularization in Reactive Distributed Applicationsspa
dc.title.TranslatedTitleREAL-T: Modularización del tiempo en aplicaciones distribuidas reactivasspa
dc.typebookParteng
dc.type.hasVersioninfo:eu-repo/semantics/publishedVersion
dc.type.spaParte de librospa
Archivos
Colecciones
Libros y capítulos de libro