REAL-T: Time Modularization in Reactive Distributed Applications

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

Full description

Autores:

Benavides Navarro, Luis Daniel
Pimienta, Camilo
Sanabria, Mateo
Díaz, Daniel
Garzón, Wilmer
Mello, Wilson
Arboleda, Hugo

Tipo de recurso:

Part of book

Fecha de publicación:

2018

Institución:

Escuela Colombiana de Ingeniería Julio Garavito

Repositorio:

Repositorio Institucional ECI

Idioma:

eng

OAI Identifier:

oai:repositorio.escuelaing.edu.co:001/1801

Acceso en línea:

https://repositorio.escuelaing.edu.co/handle/001/1801

Palabra clave:

Programación distribuida
Programación orientada a eventos
Lenguaje de programación
Distributed programming
Event oriented programming
Explicit and implicit time management

Rights

closedAccess

License

© Springer Nature Switzerland AG 2018