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...
- 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
| id |
ESCUELAIG2_61cc7a00409d227a1cb7c4ba6856a44f |
|---|---|
| oai_identifier_str |
oai:repositorio.escuelaing.edu.co:001/3179 |
| network_acronym_str |
ESCUELAIG2 |
| network_name_str |
Repositorio Institucional ECI |
| repository_id_str |
|
| dc.title.eng.fl_str_mv |
Implementation of causal control operators to detect distributed events |
| title |
Implementation of causal control operators to detect distributed events |
| spellingShingle |
Implementation of causal control operators to detect distributed events 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 |
| title_short |
Implementation of causal control operators to detect distributed events |
| title_full |
Implementation of causal control operators to detect distributed events |
| title_fullStr |
Implementation of causal control operators to detect distributed events |
| title_full_unstemmed |
Implementation of causal control operators to detect distributed events |
| title_sort |
Implementation of causal control operators to detect distributed events |
| dc.creator.fl_str_mv |
Benavides Navarro, Luis Daniel Kiyoshige Garcés, Oscar Arboleda, Hugo Durán, David |
| dc.contributor.author.none.fl_str_mv |
Benavides Navarro, Luis Daniel Kiyoshige Garcés, Oscar Arboleda, Hugo Durán, David |
| dc.contributor.researchgroup.spa.fl_str_mv |
CTG - Informática |
| dc.subject.armarc.none.fl_str_mv |
Operadores de control Control operators Arquitectura Ketal Ketal Architecture Desarrollo de software Computer software - Development |
| topic |
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 |
| dc.subject.proposal.eng.fl_str_mv |
Event-driven programming E-health m-health Wireless Body Area Network WBAN Complex Event Detection Automata Distributed Systems Event ordering |
| dc.subject.proposal.spa.fl_str_mv |
Programación basada en eventos Red inalámbrica de área corporal Detección de eventos complejos Autómatas Sistemas distribuidos Ordenación de eventos |
| description |
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. |
| publishDate |
2016 |
| dc.date.issued.none.fl_str_mv |
2016 |
| dc.date.accessioned.none.fl_str_mv |
2024-07-17T17:23:42Z |
| dc.date.available.none.fl_str_mv |
2024-07-17T17:23:42Z |
| dc.type.spa.fl_str_mv |
Documento de trabajo |
| dc.type.coarversion.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
| dc.type.version.spa.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| dc.type.coar.spa.fl_str_mv |
http://purl.org/coar/resource_type/c_8042 |
| dc.type.content.spa.fl_str_mv |
Text |
| dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/workingPaper |
| format |
http://purl.org/coar/resource_type/c_8042 |
| status_str |
publishedVersion |
| dc.identifier.uri.none.fl_str_mv |
https://repositorio.escuelaing.edu.co/handle/001/3179 |
| dc.identifier.instname.spa.fl_str_mv |
Universidad Escuela Colombiana de Ingeniería Julio Garavito |
| dc.identifier.reponame.spa.fl_str_mv |
Repositorio Digital |
| dc.identifier.repourl.spa.fl_str_mv |
https://repositorio.escuelaing.edu.co/ |
| url |
https://repositorio.escuelaing.edu.co/handle/001/3179 https://repositorio.escuelaing.edu.co/ |
| identifier_str_mv |
Universidad Escuela Colombiana de Ingeniería Julio Garavito Repositorio Digital |
| dc.language.iso.spa.fl_str_mv |
eng |
| language |
eng |
| dc.relation.references.spa.fl_str_mv |
Luis Daniel Benavides Navarro, Mario Südholt, Rémi Douence, and Jean-Marc Menaud. Invasive patterns for distributed programs. In Proc. of the 9th International Symposium on Distributed Objects, Middleware, and Applications (DOA’07). Springer Verlag, November 2007. Luis Daniel Benavides Navarro, Rémi Douence, and Mario Südholt. Debugging and testing middleware with aspect-based control-flow and causal patterns. In ACM/IFIP/USENIX International Conference on Distributed Systems Platforms and Open Distributed Processing, pages 183–202. Springer, 2008. Patrick Eugster and K R Jayaram. EventJava: An Extension of Java for Event Correlation. In Proceedings of the 23rd European Conference on ECOOP2009 —Object-Oriented Programming, pages 570–594, Berlin, Heidelberg, 2009. Springer-Verlag G Stewart Von Itzstein and David A Kearney. The Expression of Common Concurrency Patterns in Join Java. In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, Volume 2, pages 1021–1021, Las Vegas, Nevada, USA, June 2004 K R Jayaram and Patrick Eugster. Scalable Efficient Composite Event Detection. In Dave Clarke and Gul Agha, editors, 12th International Conference on Coordination Models and Languages (COORDINATION 2010), pages 168–182, Amsterdam, The Netherlands, June 2010 Luis daniel Benavides Navarro, Andrés Barrera, Kiyoshige Garcés, and Hugo Arboleda. Detecting and Coordinating Complex Patterns of Distributed Events with KETAL. Electr. Notes Theor. Comput. Sci., 281:127–141, 2011 Leslie Lamport. Time, clocks, and the ordering of events in a distributed system. Commun. ACM, 21(7):558–565, 1978 Friedman Mattern. Virtual Time and Global states of Distributed Systems. In Proceedings of the international Workshop on Parallel and distributed Algorithms, Chateau de Bonas, France, October 1988 Anders M ller. dk.brics.automaton– Finite-State Automata and Regular Expressions for Java. Technical report, 2010 Bela Ban. JGroups, A Toolkit for Reliable Multicast Communication. 2002 |
| dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| dc.rights.accessrights.spa.fl_str_mv |
info:eu-repo/semantics/openAccess |
| eu_rights_str_mv |
openAccess |
| rights_invalid_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| dc.format.extent.spa.fl_str_mv |
7 páginas |
| dc.format.mimetype.spa.fl_str_mv |
application/pdf |
| dc.publisher.spa.fl_str_mv |
Universidad Escuela Colombiana de Ingeniería Julio Garavito Universidad de los Andes Universidad Icesi |
| dc.publisher.place.spa.fl_str_mv |
Bogotá (Colombia) |
| dc.source.spa.fl_str_mv |
http://ldbn.is.escuelaing.edu.co/workingpapers/Implementation_of_causal_control_operators_to_detect_distributed_events.pdf |
| institution |
Escuela Colombiana de Ingeniería Julio Garavito |
| bitstream.url.fl_str_mv |
https://repositorio.escuelaing.edu.co/bitstream/001/3179/4/Implementation_of_causal_control_operators_to_detect_distributed_events.pdf.txt https://repositorio.escuelaing.edu.co/bitstream/001/3179/3/Portada%20implementation%20of%20casual%20control%20operators%20to%20detect%20distributed%20events.PNG https://repositorio.escuelaing.edu.co/bitstream/001/3179/5/Implementation_of_causal_control_operators_to_detect_distributed_events.pdf.jpg https://repositorio.escuelaing.edu.co/bitstream/001/3179/2/license.txt https://repositorio.escuelaing.edu.co/bitstream/001/3179/1/Implementation_of_causal_control_operators_to_detect_distributed_events.pdf |
| bitstream.checksum.fl_str_mv |
70f98baf708b222aee9afc4138efc332 c09bef94f7aaeeaea993684874957418 27cd98744a83c434d5146205c56a48ba 5a7ca94c2e5326ee169f979d71d0f06e 10115992d6628dbe2d46def54d96b8c2 |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 MD5 MD5 |
| repository.name.fl_str_mv |
Repositorio Escuela Colombiana de Ingeniería Julio Garavito |
| repository.mail.fl_str_mv |
repositorio.eci@escuelaing.edu.co |
| _version_ |
1814355602399297536 |
| spelling |
Benavides Navarro, Luis Daniel6fb8a207341d8b2f068df4c441aa67ddKiyoshige Garcés, Oscar5852d209bf8627d596de9b537c9cac97Arboleda, Hugof8462780e6dbe96346932fa9632d2bf3Durán, David2199ee1705cf501a9c6086111bfec47fCTG - Informática2024-07-17T17:23:42Z2024-07-17T17:23:42Z2016https://repositorio.escuelaing.edu.co/handle/001/3179Universidad Escuela Colombiana de Ingeniería Julio GaravitoRepositorio Digitalhttps://repositorio.escuelaing.edu.co/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.Este artículo analiza el diseño y la implementación de tres operadores para controlar y predicar la relación de causalidad entre eventos en un sistema distribuido. En concreto, partimos de KETAL, un kernel concebido para detectar patrones de eventos distribuidos, y motivamos la necesidad de realizar un seguimiento de las relaciones de causalidad entre eventos en aplicaciones de m-health sobre redes inalámbricas de área corporal (WBAN). Luego introducimos un modelo de evento causal y presentamos una implementación detallada que permite la noción de causalidad en KETAL. Esta implementación se basa en relojes vectoriales y soporta la detección de relaciones causales y concurrentes, además de la administración dinámica de los nodos involucrados en el sistema.7 páginasapplication/pdfengUniversidad Escuela Colombiana de Ingeniería Julio GaravitoUniversidad de los AndesUniversidad IcesiBogotá (Colombia)http://ldbn.is.escuelaing.edu.co/workingpapers/Implementation_of_causal_control_operators_to_detect_distributed_events.pdfImplementation of causal control operators to detect distributed eventsDocumento de trabajoinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_8042Textinfo:eu-repo/semantics/workingPaperhttp://purl.org/coar/version/c_970fb48d4fbd8a85Luis Daniel Benavides Navarro, Mario Südholt, Rémi Douence, and Jean-Marc Menaud. Invasive patterns for distributed programs. In Proc. of the 9th International Symposium on Distributed Objects, Middleware, and Applications (DOA’07). Springer Verlag, November 2007.Luis Daniel Benavides Navarro, Rémi Douence, and Mario Südholt. Debugging and testing middleware with aspect-based control-flow and causal patterns. In ACM/IFIP/USENIX International Conference on Distributed Systems Platforms and Open Distributed Processing, pages 183–202. Springer, 2008.Patrick Eugster and K R Jayaram. EventJava: An Extension of Java for Event Correlation. In Proceedings of the 23rd European Conference on ECOOP2009 —Object-Oriented Programming, pages 570–594, Berlin, Heidelberg, 2009. Springer-VerlagG Stewart Von Itzstein and David A Kearney. The Expression of Common Concurrency Patterns in Join Java. In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, Volume 2, pages 1021–1021, Las Vegas, Nevada, USA, June 2004K R Jayaram and Patrick Eugster. Scalable Efficient Composite Event Detection. In Dave Clarke and Gul Agha, editors, 12th International Conference on Coordination Models and Languages (COORDINATION 2010), pages 168–182, Amsterdam, The Netherlands, June 2010Luis daniel Benavides Navarro, Andrés Barrera, Kiyoshige Garcés, and Hugo Arboleda. Detecting and Coordinating Complex Patterns of Distributed Events with KETAL. Electr. Notes Theor. Comput. Sci., 281:127–141, 2011Leslie Lamport. Time, clocks, and the ordering of events in a distributed system. Commun. ACM, 21(7):558–565, 1978Friedman Mattern. Virtual Time and Global states of Distributed Systems. In Proceedings of the international Workshop on Parallel and distributed Algorithms, Chateau de Bonas, France, October 1988Anders M ller. dk.brics.automaton– Finite-State Automata and Regular Expressions for Java. Technical report, 2010Bela Ban. JGroups, A Toolkit for Reliable Multicast Communication. 2002info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Operadores de controlControl operatorsArquitectura KetalKetal ArchitectureDesarrollo de softwareComputer software - DevelopmentEvent-driven programmingE-healthm-healthWireless Body Area NetworkWBANComplex Event DetectionAutomataDistributed SystemsEvent orderingProgramación basada en eventosRed inalámbrica de área corporalDetección de eventos complejosAutómatasSistemas distribuidosOrdenación de eventosTEXTImplementation_of_causal_control_operators_to_detect_distributed_events.pdf.txtImplementation_of_causal_control_operators_to_detect_distributed_events.pdf.txtExtracted texttext/plain32775https://repositorio.escuelaing.edu.co/bitstream/001/3179/4/Implementation_of_causal_control_operators_to_detect_distributed_events.pdf.txt70f98baf708b222aee9afc4138efc332MD54open accessTHUMBNAILPortada implementation of casual control operators to detect distributed events.PNGPortada implementation of casual control operators to detect distributed events.PNGimage/png246460https://repositorio.escuelaing.edu.co/bitstream/001/3179/3/Portada%20implementation%20of%20casual%20control%20operators%20to%20detect%20distributed%20events.PNGc09bef94f7aaeeaea993684874957418MD53open accessImplementation_of_causal_control_operators_to_detect_distributed_events.pdf.jpgImplementation_of_causal_control_operators_to_detect_distributed_events.pdf.jpgGenerated Thumbnailimage/jpeg17205https://repositorio.escuelaing.edu.co/bitstream/001/3179/5/Implementation_of_causal_control_operators_to_detect_distributed_events.pdf.jpg27cd98744a83c434d5146205c56a48baMD55open accessLICENSElicense.txtlicense.txttext/plain; charset=utf-81881https://repositorio.escuelaing.edu.co/bitstream/001/3179/2/license.txt5a7ca94c2e5326ee169f979d71d0f06eMD52open accessORIGINALImplementation_of_causal_control_operators_to_detect_distributed_events.pdfImplementation_of_causal_control_operators_to_detect_distributed_events.pdfapplication/pdf551572https://repositorio.escuelaing.edu.co/bitstream/001/3179/1/Implementation_of_causal_control_operators_to_detect_distributed_events.pdf10115992d6628dbe2d46def54d96b8c2MD51metadata only access001/3179oai:repositorio.escuelaing.edu.co:001/31792024-08-06 16:20:11.687metadata only accessRepositorio Escuela Colombiana de Ingeniería Julio Garavitorepositorio.eci@escuelaing.edu.coU0kgVVNURUQgSEFDRSBQQVJURSBERUwgR1JVUE8gREUgUEFSRVMgRVZBTFVBRE9SRVMgREUgTEEgQ09MRUNDScOTTiAiUEVFUiBSRVZJRVciLCBPTUlUQSBFU1RBIExJQ0VOQ0lBLgoKQXV0b3Jpem8gYSBsYSBFc2N1ZWxhIENvbG9tYmlhbmEgZGUgSW5nZW5pZXLDrWEgSnVsaW8gR2FyYXZpdG8gcGFyYSBwdWJsaWNhciBlbCB0cmFiYWpvIGRlIGdyYWRvLCBhcnTDrWN1bG8sIHZpZGVvLCAKY29uZmVyZW5jaWEsIGxpYnJvLCBpbWFnZW4sIGZvdG9ncmFmw61hLCBhdWRpbywgcHJlc2VudGFjacOzbiB1IG90cm8gKGVuICAgIGFkZWxhbnRlIGRvY3VtZW50bykgcXVlIGVuIGxhIGZlY2hhIAplbnRyZWdvIGVuIGZvcm1hdG8gZGlnaXRhbCwgeSBsZSBwZXJtaXRvIGRlIGZvcm1hIGluZGVmaW5pZGEgcXVlIGxvIHB1YmxpcXVlIGVuIGVsIHJlcG9zaXRvcmlvIGluc3RpdHVjaW9uYWwsIAplbiBsb3MgdMOpcm1pbm9zIGVzdGFibGVjaWRvcyBlbiBsYSBMZXkgMjMgZGUgMTk4MiwgbGEgTGV5IDQ0IGRlIDE5OTMsIHkgZGVtw6FzIGxleWVzIHkganVyaXNwcnVkZW5jaWEgdmlnZW50ZQphbCByZXNwZWN0bywgcGFyYSBmaW5lcyBlZHVjYXRpdm9zIHkgbm8gbHVjcmF0aXZvcy4gRXN0YSBhdXRvcml6YWNpw7NuIGVzIHbDoWxpZGEgcGFyYSBsYXMgZmFjdWx0YWRlcyB5IGRlcmVjaG9zIGRlIAp1c28gc29icmUgbGEgb2JyYSBlbiBmb3JtYXRvIGRpZ2l0YWwsIGVsZWN0csOzbmljbywgdmlydHVhbDsgeSBwYXJhIHVzb3MgZW4gcmVkZXMsIGludGVybmV0LCBleHRyYW5ldCwgeSBjdWFscXVpZXIgCmZvcm1hdG8gbyBtZWRpbyBjb25vY2lkbyBvIHBvciBjb25vY2VyLgpFbiBtaSBjYWxpZGFkIGRlIGF1dG9yLCBleHByZXNvIHF1ZSBlbCBkb2N1bWVudG8gb2JqZXRvIGRlIGxhIHByZXNlbnRlIGF1dG9yaXphY2nDs24gZXMgb3JpZ2luYWwgeSBsbyBlbGFib3LDqSBzaW4gCnF1ZWJyYW50YXIgbmkgc3VwbGFudGFyIGxvcyBkZXJlY2hvcyBkZSBhdXRvciBkZSB0ZXJjZXJvcy4gUG9yIGxvIHRhbnRvLCBlcyBkZSBtaSBleGNsdXNpdmEgYXV0b3LDrWEgeSwgZW4gY29uc2VjdWVuY2lhLCAKdGVuZ28gbGEgdGl0dWxhcmlkYWQgc29icmUgw6lsLiBFbiBjYXNvIGRlIHF1ZWphIG8gYWNjacOzbiBwb3IgcGFydGUgZGUgdW4gdGVyY2VybyByZWZlcmVudGUgYSBsb3MgZGVyZWNob3MgZGUgYXV0b3Igc29icmUgCmVsIGRvY3VtZW50byBlbiBjdWVzdGnDs24sIGFzdW1pcsOpIGxhIHJlc3BvbnNhYmlsaWRhZCB0b3RhbCB5IHNhbGRyw6kgZW4gZGVmZW5zYSBkZSBsb3MgZGVyZWNob3MgYXF1w60gYXV0b3JpemFkb3MuIEVzdG8gCnNpZ25pZmljYSBxdWUsIHBhcmEgdG9kb3MgbG9zIGVmZWN0b3MsIGxhIEVzY3VlbGEgYWN0w7phIGNvbW8gdW4gdGVyY2VybyBkZSBidWVuYSBmZS4KVG9kYSBwZXJzb25hIHF1ZSBjb25zdWx0ZSBlbCBSZXBvc2l0b3JpbyBJbnN0aXR1Y2lvbmFsIGRlIGxhIEVzY3VlbGEsIGVsIENhdMOhbG9nbyBlbiBsw61uZWEgdSBvdHJvIG1lZGlvIGVsZWN0csOzbmljbywgCnBvZHLDoSBjb3BpYXIgYXBhcnRlcyBkZWwgdGV4dG8sIGNvbiBlbCBjb21wcm9taXNvIGRlIGNpdGFyIHNpZW1wcmUgbGEgZnVlbnRlLCBsYSBjdWFsIGluY2x1eWUgZWwgdMOtdHVsbyBkZWwgdHJhYmFqbyB5IGVsIAphdXRvci5Fc3RhIGF1dG9yaXphY2nDs24gbm8gaW1wbGljYSByZW51bmNpYSBhIGxhIGZhY3VsdGFkIHF1ZSB0ZW5nbyBkZSBwdWJsaWNhciB0b3RhbCBvIHBhcmNpYWxtZW50ZSBsYSBvYnJhIGVuIG90cm9zIAptZWRpb3MuRXN0YSBhdXRvcml6YWNpw7NuIGVzdMOhIHJlc3BhbGRhZGEgcG9yIGxhcyBmaXJtYXMgZGVsIChsb3MpIGF1dG9yKGVzKSBkZWwgZG9jdW1lbnRvLiAKU8OtIGF1dG9yaXpvIChhbWJvcykK |