Implementation of causal control operators to detect distributed events

This paper discusses the design and implementation of three operators to control and predicate about causality relation between events in a distributed system. Concretely, we start from KETAL, a kernel conceived to detect patterns of distributed events, and we motivate the need to keep track of caus...

Full description

Autores:
Benavides Navarro, Luis Daniel
Kiyoshige Garcés, Oscar
Arboleda, Hugo
Durán, David
Tipo de recurso:
Work document
Fecha de publicación:
2016
Institución:
Escuela Colombiana de Ingeniería Julio Garavito
Repositorio:
Repositorio Institucional ECI
Idioma:
eng
OAI Identifier:
oai:repositorio.escuelaing.edu.co:001/3179
Acceso en línea:
https://repositorio.escuelaing.edu.co/handle/001/3179
https://repositorio.escuelaing.edu.co/
Palabra clave:
Operadores de control
Control operators
Arquitectura Ketal
Ketal Architecture
Desarrollo de software
Computer software - Development
Event-driven programming
E-health
m-health
Wireless Body Area Network
WBAN
Complex Event Detection
Automata
Distributed Systems
Event ordering
Programación basada en eventos
Red inalámbrica de área corporal
Detección de eventos complejos
Autómatas
Sistemas distribuidos
Ordenación de eventos
Rights
openAccess
License
http://purl.org/coar/access_right/c_abf2
Description
Summary:This paper discusses the design and implementation of three operators to control and predicate about causality relation between events in a distributed system. Concretely, we start from KETAL, a kernel conceived to detect patterns of distributed events, and we motivate the need to keep track of causality relations between events on m-health applications over Wireless Body Area Networks (WBAN). We then introduce a causal event model and we present a detailed implementation that allows the notion of causality in KETAL. This implementation is based on vectorial clocks, and it supports the detection of concurrent and causal relationships, plus the dynamic administration of the nodes involved in the system.