A Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications
The proliferation of on-demand internet services delivered over a network of a heterogeneous set of computing devices has created the need for high-performing dynamic systems in real-time. Services such as audio and video streaming, self-driving cars, the Internet of things (IoT), or instant communi...
- Autores:
-
Sanabria-Ardila, Mateo
Benavides-Navarro, Luis Daniel
Díaz-López, Daniel
Garzón-Alfonso, Wilmer
- Tipo de recurso:
- Article of investigation
- Fecha de publicación:
- 2020
- Institución:
- Escuela Colombiana de Ingeniería Julio Garavito
- Repositorio:
- Repositorio Institucional ECI
- Idioma:
- eng
- OAI Identifier:
- oai:repositorio.escuelaing.edu.co:001/1433
- Acceso en línea:
- https://repositorio.escuelaing.edu.co/handle/001/1433
https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9144537
- Palabra clave:
- Internet de las cosas
Computación semántica
Aplicaciones web
Redes LOT
Distributed computing
the Internet of Things (IoT),
Logical clocks
Maude
Reactive programming
Rewriting logic
Cybersecurity applications
Real-time languages
- Rights
- openAccess
- License
- https://creativecommons.org/licenses/by/4.0/
| id |
ESCUELAIG2_4b41b2acaa7905615409ea0ee3601c10 |
|---|---|
| oai_identifier_str |
oai:repositorio.escuelaing.edu.co:001/1433 |
| network_acronym_str |
ESCUELAIG2 |
| network_name_str |
Repositorio Institucional ECI |
| repository_id_str |
|
| dc.title.spa.fl_str_mv |
A Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications |
| title |
A Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications |
| spellingShingle |
A Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications Internet de las cosas Computación semántica Aplicaciones web Redes LOT Distributed computing the Internet of Things (IoT), Logical clocks Maude Reactive programming Rewriting logic Cybersecurity applications Real-time languages |
| title_short |
A Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications |
| title_full |
A Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications |
| title_fullStr |
A Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications |
| title_full_unstemmed |
A Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications |
| title_sort |
A Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications |
| dc.creator.fl_str_mv |
Sanabria-Ardila, Mateo Benavides-Navarro, Luis Daniel Díaz-López, Daniel Garzón-Alfonso, Wilmer |
| dc.contributor.author.none.fl_str_mv |
Sanabria-Ardila, Mateo Benavides-Navarro, Luis Daniel Díaz-López, Daniel Garzón-Alfonso, Wilmer |
| dc.contributor.researchgroup.spa.fl_str_mv |
CTG-Informática |
| dc.subject.armarc.spa.fl_str_mv |
Internet de las cosas Computación semántica Aplicaciones web Redes LOT |
| topic |
Internet de las cosas Computación semántica Aplicaciones web Redes LOT Distributed computing the Internet of Things (IoT), Logical clocks Maude Reactive programming Rewriting logic Cybersecurity applications Real-time languages |
| dc.subject.proposal.eng.fl_str_mv |
Distributed computing the Internet of Things (IoT), Logical clocks Maude Reactive programming Rewriting logic Cybersecurity applications Real-time languages |
| description |
The proliferation of on-demand internet services delivered over a network of a heterogeneous set of computing devices has created the need for high-performing dynamic systems in real-time. Services such as audio and video streaming, self-driving cars, the Internet of things (IoT), or instant communication on social networks have forced system designers to ethink the architectures and tools for implementing computer systems. Reactive programming has been advocated as a programming paradigm suitable for implementing dynamic applications with complex and heterogeneous architectural needs. However, there is no consensus on the core set of features that a reactive framework must-have. Furthermore, the current set of features proposed in reactive tools seems very restricted to cope with the actual needs for concurrency and distribution in modern systems. In this paper, several alternative semantics for distributed reactive languages are investigated, addressing complex open issues such as glitch avoidance, explicit distribution support, and constructs for explicit time management. First, we propose a reactive event-based programming language with explicit support for distribution, concurrency, and explicit time manipulation (ReactiveXD). Second, we present a reactive event-based semantic framework called Distributed Reactive Rewriting Framework (DRRF). The framework uses rewriting logic to model the components of a distributed base application, observables, and observers, and predicates supporting explicit time manipulation. Finally, to validate the proposal, the paper discusses the specification of the semantics of ReactiveXD and a scenario describing a case of intrusion detection on IoT networks |
| publishDate |
2020 |
| dc.date.issued.none.fl_str_mv |
2020 |
| dc.date.accessioned.none.fl_str_mv |
2021-05-17T20:03:28Z 2021-10-01T17:22:47Z |
| dc.date.available.none.fl_str_mv |
2021-10-01T17:22:47Z |
| dc.type.spa.fl_str_mv |
Artículo de revista |
| 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_2df8fbb1 |
| dc.type.content.spa.fl_str_mv |
Text |
| dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/article |
| dc.type.redcol.spa.fl_str_mv |
http://purl.org/redcol/resource_type/ART |
| format |
http://purl.org/coar/resource_type/c_2df8fbb1 |
| status_str |
publishedVersion |
| dc.identifier.issn.none.fl_str_mv |
2169-3536 |
| dc.identifier.uri.none.fl_str_mv |
https://repositorio.escuelaing.edu.co/handle/001/1433 |
| dc.identifier.doi.none.fl_str_mv |
doi.org/10.1109/access.2020.3010697 |
| dc.identifier.url.none.fl_str_mv |
https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9144537 |
| identifier_str_mv |
2169-3536 doi.org/10.1109/access.2020.3010697 |
| url |
https://repositorio.escuelaing.edu.co/handle/001/1433 https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9144537 |
| dc.language.iso.spa.fl_str_mv |
eng |
| language |
eng |
| dc.relation.citationedition.spa.fl_str_mv |
IEEE Access (Volume 8, 143862-143880, August 2020) |
| dc.relation.citationendpage.spa.fl_str_mv |
143880 |
| dc.relation.citationstartpage.spa.fl_str_mv |
143862 |
| dc.relation.citationvolume.spa.fl_str_mv |
8 |
| dc.relation.indexed.spa.fl_str_mv |
N/A |
| dc.relation.ispartofjournal.spa.fl_str_mv |
IEEE Access |
| dc.relation.references.spa.fl_str_mv |
E. Bainomugisha, A. L. Carreton, T. V. Cutsem, S. Mostinckx, and W. D. Meuter, ‘‘A survey on reactive programming,’’ ACM Comput. Surv., vol. 45, no. 4, pp. 52:1–52:34, Aug. 2013, doi: 10.1145/2501654.2501666. L. D. Benavides Navarro, R. Douence, and M. Südholt, ‘‘Debugging and testing middleware with aspect-based control-flow and causal patterns,’’ in Proc. 9th Int. Middleware Conf., Leuven, Belgium: Springer-Verlag, Dec. 2008. L. D. Benavides Navarro, R. Douence, A. Núñez, and M. Südholt, ‘‘LTSbased semantics and property analysis of distributed aspects and invasive patterns,’’ in Proc. Workshop Aspects, Dependencies Interact., vol. 517, K. U. Leuven, Ed. Belgium, Jul. 2008, pp. 36–45. [Online]. Available: https://hal.archives-ouvertes.fr/hal-00469648 L. D. B. Navarro, C. Pimienta, M. Sanabria, D. Díaz, W. Garzón, W. Melo, and H. Arboleda, ‘‘REAL-T: Time modularization in reactive distributed applications,’’ in Advances in Computing, J. E. Serrano and J. C. Martínez-Santos, Eds. Cham, Switzerland: Springer, 2018, pp. 113–127. G. Bhat, R. Cleaveland, and G. Lüttgen, ‘‘A practical approach to implementing real-time semantics,’’ Ann. Softw. Eng., vol. 7, no. 1, pp. 127–155, Oct. 1999. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. Talcott, All About Maude—A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic. New York, NY, USA: Springer-Verlag, 2007. A. Courtney, ‘‘Frappé: Functional reactive programming in Java,’’ in Proc. Int. Symp. Practical Aspects Declarative Lang. Cham, Switzerland: Springer, 2001, pp. 29–44. F. Durán, C. Rocha, and J. M. Álvarez, ‘‘Towards a maude formal environment,’’ in Formal Modeling: Actors, Open Systems, Biological Systems. Cham, Switzerland: Springer, 2011, pp. 329–351. C. Elliott and P. Hudak, ‘‘Functional reactive animation,’’ in Proc. 2nd ACM SIGPLAN Int. Conf. Funct. Program. (ICFP), 1997, pp. 263–273. [Online]. Available: http://conal.net/papers/icfp97/ M. Fisher, An Introduction to Practical Formal Methods Using Temporal Logic. Hoboken, NJ, USA: Wiley, 2011. P. Fontana and R. Cleaveland, ‘‘A menagerie of timed automata,’’ ACM Comput. Surv., vol. 46, no. 3, pp. 40:1–40:56, Jan. 2014, doi: 10.1145/2518102. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, ‘‘The synchronous data flow programming Language LUSTRE,’’ Proc. IEEE, vol. 79, no. 9, pp. 1305–1320, Sep. 1991. P. Haller and H. Miller, ‘‘Ray: Integrating RX and ASYNC for direct-style reactive streams,’’ in Proc. Workshop Reactivity, Events Modularity, 2013, pp. 1–7. J. Magee, Concurrency: State Models & Java Programs. Hoboken, NJ, USA: Wiley, 2006. A. Margara and G. Salvaneschi, ‘‘On the semantics of distributed reactive programming: The cost of consistency,’’ IEEE Trans. Softw. Eng., vol. 44, no. 7, pp. 689–711, Jul. 2018, doi: 10.1109/tse.2018.2833109. A. Margara and G. Salvaneschi, ‘‘We have a DREAM: Distributed reactive programming with consistency guarantees,’’ in Proc. 8th ACM Int. Conf. Distrib. Event-Based Syst. (DEBS), 2014, pp. 142–153, doi: 10.1145/2611286.2611290 F. Mattern, ‘‘Virtual time and global states of distributed systems,’’ Parallel Distrib. Algorithms, vol. 1, no. 23, pp. 215–226, 1989. J. Meseguer, ‘‘Conditional rewriting logic as a unified model of concurrency,’’ Theor. Comput. Sci., vol. 96, no. 1, pp. 73–155, Apr. 1992. J. Meseguer, ‘‘Twenty years of rewriting logic,’’ J. Logic Algebraic Program., vol. 81, nos. 7–8, pp. 721–781, 2012. [Online]. Available: http://www.sciencedirect.com/science/article/pii/S1567832612000707 L. A. Meyerovich, A. Guha, J. Baskin, G. H. Cooper, M. Greenberg, A. Bromfield, and S. Krishnamurthi, ‘‘Flapjax: A programming language for ajax applications,’’ ACM SIGPLAN Notices, vol. 44, no. 10, pp. 1–20, 2009. A. Mosteo, ‘‘RxAda: An Ada implementation of the ReactiveX API,’’ in Reliable Software Technologies—Ada-Europe, J. Blieberger and M. Bader, Eds. Cham, Switzerland: Springer, 2017, pp. 153–166. F. Myter, C. Scholliers, and W. De Meuter, ‘‘Distributed reactive programming for reactive distributed systems,’’ Art, Sci., Eng. Program., vol. 3, 2019. [Online]. Available: https://programming-journal.org/2019/3/5/ M. Nischt, H. Prendinger, E. André, and M. Ishizuka, ‘‘MPML3D: a reactive framework for the multimodal presentation markup language,’’ in Proc. Int. Workshop Intell. Virtual Agents. Cham, Switzerland: Springer, 2006, pp. 218–229. P. C. Ölveczky, ‘‘Modeling Distributed Systems in Rewriting Logic,’’ in Designing Reliable Distributed Systems. London, U.K.: Springer, 2017, doi: 10.1007/978-1-4471-6687-0. J. Peterson, P. Hudak, and C. Elliott, ‘‘Lambda in motion: Controlling robots with haskell,’’ in Proc. Int. Symp. Practical Aspects Declarative Lang. Cham, Switzerland: Springer, 1999, pp. 91–105. G. Roşu, ‘‘From rewriting logic, to programming language semantics, to program verification,’’ in Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer (Lecture Notes in Computer Science), vol. 9200. Cham, Switzerland: Springer, 2015, pp. 598–616. G. Salvaneschi, A. Margara, and G. Tamburrelli, ‘‘Reactive programming: A walkthrough,’’ in Proc. IEEE/ACM 37th IEEE Int. Conf. Softw. Eng., May 2015, pp. 953–954. M. Sanabria, W. G. Alfonso, and L. D. B. Navarro, ‘‘Towards realtime semantics for a distributed event-based mop language,’’ in New Trends in Model and Data Engineering, E. H. Abdelwahed, L. Bellatreche, D. Benslimane, M. Golfarelli, S. Jean, D. Mery, K. Nakamatsu, and C. Ordonez, Eds. Cham, Switzerland: Springer, 2018, pp. 231–243. N. Tabareau, ‘‘A theory of distributed aspects,’’ in Proc. 8th Int. Conf. Aspect-Oriented Softw. Develop. (AOSD), New York, NY, USA, 2010, pp. 133–144, doi: 10.1145/1739230.1739246. A. Voellmy, H. Kim, and N. Feamster, ‘‘Procera: A language for high-level reactive network control,’’ in Proc. 1st Workshop Hot Topics Softw. Defined Netw., 2012, pp. 43–48. |
| dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| dc.rights.uri.spa.fl_str_mv |
https://creativecommons.org/licenses/by/4.0/ |
| dc.rights.accessrights.spa.fl_str_mv |
info:eu-repo/semantics/openAccess |
| dc.rights.creativecommons.spa.fl_str_mv |
Atribución 4.0 Internacional (CC BY 4.0) |
| rights_invalid_str_mv |
https://creativecommons.org/licenses/by/4.0/ Atribución 4.0 Internacional (CC BY 4.0) http://purl.org/coar/access_right/c_abf2 |
| eu_rights_str_mv |
openAccess |
| dc.format.extent.spa.fl_str_mv |
19 páginas |
| dc.format.mimetype.spa.fl_str_mv |
application/pdf |
| dc.source.spa.fl_str_mv |
https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9144537 |
| institution |
Escuela Colombiana de Ingeniería Julio Garavito |
| bitstream.url.fl_str_mv |
https://repositorio.escuelaing.edu.co/bitstream/001/1433/4/A%20Semantic%20Framework%20for%20the%20Design%20of%20Distributed%20Reactive%20Real-Time%20Languages%20and%20Applications.pdf.txt https://repositorio.escuelaing.edu.co/bitstream/001/1433/2/license.txt https://repositorio.escuelaing.edu.co/bitstream/001/1433/3/A%20Semantic%20Framework%20for%20the%20Design%20of%20Distributed%20Reactive%20Real-Time%20Languages%20and%20Applications.pdf https://repositorio.escuelaing.edu.co/bitstream/001/1433/5/A%20Semantic%20Framework%20for%20the%20Design%20of%20Distributed%20Reactive%20Real-Time%20Languages%20and%20Applications.pdf.jpg |
| bitstream.checksum.fl_str_mv |
be27696e5da1dcb721fb124d82180aa9 5a7ca94c2e5326ee169f979d71d0f06e 89787855194ee357061f11571ce3750b cbd9afb906342bcc15a4ddc2528c5566 |
| bitstream.checksumAlgorithm.fl_str_mv |
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_ |
1808494289303371776 |
| spelling |
Sanabria-Ardila, Mateod2115b1fe2d121ad5e568613d41fc006600Benavides-Navarro, Luis Daniel7edbe1c13ee4297eebf80fac45c5ac9c600Díaz-López, Daniela9b868e6ad6df90cd3bb611fecc8acdb600Garzón-Alfonso, Wilmera344f444bfae1640ae24d18e8a70f522600CTG-Informática2021-05-17T20:03:28Z2021-10-01T17:22:47Z2021-10-01T17:22:47Z20202169-3536https://repositorio.escuelaing.edu.co/handle/001/1433doi.org/10.1109/access.2020.3010697https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9144537The proliferation of on-demand internet services delivered over a network of a heterogeneous set of computing devices has created the need for high-performing dynamic systems in real-time. Services such as audio and video streaming, self-driving cars, the Internet of things (IoT), or instant communication on social networks have forced system designers to ethink the architectures and tools for implementing computer systems. Reactive programming has been advocated as a programming paradigm suitable for implementing dynamic applications with complex and heterogeneous architectural needs. However, there is no consensus on the core set of features that a reactive framework must-have. Furthermore, the current set of features proposed in reactive tools seems very restricted to cope with the actual needs for concurrency and distribution in modern systems. In this paper, several alternative semantics for distributed reactive languages are investigated, addressing complex open issues such as glitch avoidance, explicit distribution support, and constructs for explicit time management. First, we propose a reactive event-based programming language with explicit support for distribution, concurrency, and explicit time manipulation (ReactiveXD). Second, we present a reactive event-based semantic framework called Distributed Reactive Rewriting Framework (DRRF). The framework uses rewriting logic to model the components of a distributed base application, observables, and observers, and predicates supporting explicit time manipulation. Finally, to validate the proposal, the paper discusses the specification of the semantics of ReactiveXD and a scenario describing a case of intrusion detection on IoT networksLa proliferación de servicios de Internet bajo demanda entregados a través de una red de una heterogeneidad conjunto de dispositivos informáticos ha creado la necesidad de sistemas dinámicos de alto rendimiento en tiempo real. Servicios como transmisión de audio y video, automóviles autónomos, Internet de las cosas (IoT) o comunicación instantánea en las redes sociales han obligado a los diseñadores de sistemas a repensar las arquitecturas y herramientas para implementar sistemas informáticos. La programación reactiva se ha defendido como un paradigma de programación adecuado para implementando aplicaciones dinámicas con necesidades arquitectónicas complejas y heterogéneas. Sin embargo, hay No hay consenso sobre el conjunto básico de características que debe tener un marco reactivo. Además, el conjunto actual de las características propuestas en las herramientas reactivas parece muy restringido para hacer frente a las necesidades reales de concurrencia y Distribución en sistemas modernos. En este artículo, varias semánticas alternativas para lenguajes reactivos distribuidos se investigan, abordando problemas abiertos complejos como la prevención de fallas, el soporte de distribución explícito y constructos para la gestión explícita del tiempo. Primero, proponemos un lenguaje de programación reactivo basado en eventos con soporte explícito para distribución, simultaneidad y manipulación explícita del tiempo (ReactiveXD). Segundo, presentamos un marco semántico reactivo basado en eventos llamado Distributed Reactive Rewriting Framework (DRRF). El marco utiliza la lógica de reescritura para modelar los componentes de una aplicación base distribuida, observables y observadores y predicados que apoyan la manipulación explícita del tiempo. Finalmente, para validar el propuesta, el documento analiza la especificación de la semántica de ReactiveXD y un escenario que describe un caso de detección de intrusiones en redes IoTThis work was supported in part by the Escuela Colombiana de Ingeniería Julio Garavito through the Project Diseño y Construcción de Herramientas Reactivas con Aplicaciones a Middleware Distribuido Para el Procesamiento de Grandes Volumenes de Datos, and in part by the Department of Applied Mathematics and Computer Science, Universidad del Rosario.Received April 27, 2020, accepted June 16, 2020, date of publication July 20, 2020, date of current version August 17, 2020.19 páginasapplication/pdfenghttps://creativecommons.org/licenses/by/4.0/info:eu-repo/semantics/openAccessAtribución 4.0 Internacional (CC BY 4.0)http://purl.org/coar/access_right/c_abf2https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9144537A Semantic Framework for the Design of Distributed Reactive Real-Time Languages and ApplicationsArtículo de revistainfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_2df8fbb1Textinfo:eu-repo/semantics/articlehttp://purl.org/redcol/resource_type/ARThttp://purl.org/coar/version/c_970fb48d4fbd8a85IEEE Access (Volume 8, 143862-143880, August 2020)1438801438628N/AIEEE AccessE. Bainomugisha, A. L. Carreton, T. V. Cutsem, S. Mostinckx, and W. D. Meuter, ‘‘A survey on reactive programming,’’ ACM Comput. Surv., vol. 45, no. 4, pp. 52:1–52:34, Aug. 2013, doi: 10.1145/2501654.2501666.L. D. Benavides Navarro, R. Douence, and M. Südholt, ‘‘Debugging and testing middleware with aspect-based control-flow and causal patterns,’’ in Proc. 9th Int. Middleware Conf., Leuven, Belgium: Springer-Verlag, Dec. 2008.L. D. Benavides Navarro, R. Douence, A. Núñez, and M. Südholt, ‘‘LTSbased semantics and property analysis of distributed aspects and invasive patterns,’’ in Proc. Workshop Aspects, Dependencies Interact., vol. 517, K. U. Leuven, Ed. Belgium, Jul. 2008, pp. 36–45. [Online]. Available: https://hal.archives-ouvertes.fr/hal-00469648L. D. B. Navarro, C. Pimienta, M. Sanabria, D. Díaz, W. Garzón, W. Melo, and H. Arboleda, ‘‘REAL-T: Time modularization in reactive distributed applications,’’ in Advances in Computing, J. E. Serrano and J. C. Martínez-Santos, Eds. Cham, Switzerland: Springer, 2018, pp. 113–127.G. Bhat, R. Cleaveland, and G. Lüttgen, ‘‘A practical approach to implementing real-time semantics,’’ Ann. Softw. Eng., vol. 7, no. 1, pp. 127–155, Oct. 1999.M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. Talcott, All About Maude—A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic. New York, NY, USA: Springer-Verlag, 2007.A. Courtney, ‘‘Frappé: Functional reactive programming in Java,’’ in Proc. Int. Symp. Practical Aspects Declarative Lang. Cham, Switzerland: Springer, 2001, pp. 29–44.F. Durán, C. Rocha, and J. M. Álvarez, ‘‘Towards a maude formal environment,’’ in Formal Modeling: Actors, Open Systems, Biological Systems. Cham, Switzerland: Springer, 2011, pp. 329–351.C. Elliott and P. Hudak, ‘‘Functional reactive animation,’’ in Proc. 2nd ACM SIGPLAN Int. Conf. Funct. Program. (ICFP), 1997, pp. 263–273. [Online]. Available: http://conal.net/papers/icfp97/M. Fisher, An Introduction to Practical Formal Methods Using Temporal Logic. Hoboken, NJ, USA: Wiley, 2011.P. Fontana and R. Cleaveland, ‘‘A menagerie of timed automata,’’ ACM Comput. Surv., vol. 46, no. 3, pp. 40:1–40:56, Jan. 2014, doi: 10.1145/2518102.N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, ‘‘The synchronous data flow programming Language LUSTRE,’’ Proc. IEEE, vol. 79, no. 9, pp. 1305–1320, Sep. 1991.P. Haller and H. Miller, ‘‘Ray: Integrating RX and ASYNC for direct-style reactive streams,’’ in Proc. Workshop Reactivity, Events Modularity, 2013, pp. 1–7.J. Magee, Concurrency: State Models & Java Programs. Hoboken, NJ, USA: Wiley, 2006.A. Margara and G. Salvaneschi, ‘‘On the semantics of distributed reactive programming: The cost of consistency,’’ IEEE Trans. Softw. Eng., vol. 44, no. 7, pp. 689–711, Jul. 2018, doi: 10.1109/tse.2018.2833109.A. Margara and G. Salvaneschi, ‘‘We have a DREAM: Distributed reactive programming with consistency guarantees,’’ in Proc. 8th ACM Int. Conf. Distrib. Event-Based Syst. (DEBS), 2014, pp. 142–153, doi: 10.1145/2611286.2611290F. Mattern, ‘‘Virtual time and global states of distributed systems,’’ Parallel Distrib. Algorithms, vol. 1, no. 23, pp. 215–226, 1989.J. Meseguer, ‘‘Conditional rewriting logic as a unified model of concurrency,’’ Theor. Comput. Sci., vol. 96, no. 1, pp. 73–155, Apr. 1992.J. Meseguer, ‘‘Twenty years of rewriting logic,’’ J. Logic Algebraic Program., vol. 81, nos. 7–8, pp. 721–781, 2012. [Online]. Available: http://www.sciencedirect.com/science/article/pii/S1567832612000707L. A. Meyerovich, A. Guha, J. Baskin, G. H. Cooper, M. Greenberg, A. Bromfield, and S. Krishnamurthi, ‘‘Flapjax: A programming language for ajax applications,’’ ACM SIGPLAN Notices, vol. 44, no. 10, pp. 1–20, 2009.A. Mosteo, ‘‘RxAda: An Ada implementation of the ReactiveX API,’’ in Reliable Software Technologies—Ada-Europe, J. Blieberger and M. Bader, Eds. Cham, Switzerland: Springer, 2017, pp. 153–166.F. Myter, C. Scholliers, and W. De Meuter, ‘‘Distributed reactive programming for reactive distributed systems,’’ Art, Sci., Eng. Program., vol. 3, 2019. [Online]. Available: https://programming-journal.org/2019/3/5/M. Nischt, H. Prendinger, E. André, and M. Ishizuka, ‘‘MPML3D: a reactive framework for the multimodal presentation markup language,’’ in Proc. Int. Workshop Intell. Virtual Agents. Cham, Switzerland: Springer, 2006, pp. 218–229.P. C. Ölveczky, ‘‘Modeling Distributed Systems in Rewriting Logic,’’ in Designing Reliable Distributed Systems. London, U.K.: Springer, 2017, doi: 10.1007/978-1-4471-6687-0.J. Peterson, P. Hudak, and C. Elliott, ‘‘Lambda in motion: Controlling robots with haskell,’’ in Proc. Int. Symp. Practical Aspects Declarative Lang. Cham, Switzerland: Springer, 1999, pp. 91–105.G. Roşu, ‘‘From rewriting logic, to programming language semantics, to program verification,’’ in Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer (Lecture Notes in Computer Science), vol. 9200. Cham, Switzerland: Springer, 2015, pp. 598–616.G. Salvaneschi, A. Margara, and G. Tamburrelli, ‘‘Reactive programming: A walkthrough,’’ in Proc. IEEE/ACM 37th IEEE Int. Conf. Softw. Eng., May 2015, pp. 953–954.M. Sanabria, W. G. Alfonso, and L. D. B. Navarro, ‘‘Towards realtime semantics for a distributed event-based mop language,’’ in New Trends in Model and Data Engineering, E. H. Abdelwahed, L. Bellatreche, D. Benslimane, M. Golfarelli, S. Jean, D. Mery, K. Nakamatsu, and C. Ordonez, Eds. Cham, Switzerland: Springer, 2018, pp. 231–243.N. Tabareau, ‘‘A theory of distributed aspects,’’ in Proc. 8th Int. Conf. Aspect-Oriented Softw. Develop. (AOSD), New York, NY, USA, 2010, pp. 133–144, doi: 10.1145/1739230.1739246.A. Voellmy, H. Kim, and N. Feamster, ‘‘Procera: A language for high-level reactive network control,’’ in Proc. 1st Workshop Hot Topics Softw. Defined Netw., 2012, pp. 43–48.Internet de las cosasComputación semánticaAplicaciones webRedes LOTDistributed computingthe Internet of Things (IoT),Logical clocksMaudeReactive programmingRewriting logicCybersecurity applicationsReal-time languagesTEXTA Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications.pdf.txtA Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications.pdf.txtExtracted texttext/plain93555https://repositorio.escuelaing.edu.co/bitstream/001/1433/4/A%20Semantic%20Framework%20for%20the%20Design%20of%20Distributed%20Reactive%20Real-Time%20Languages%20and%20Applications.pdf.txtbe27696e5da1dcb721fb124d82180aa9MD54open accessLICENSElicense.txttext/plain1881https://repositorio.escuelaing.edu.co/bitstream/001/1433/2/license.txt5a7ca94c2e5326ee169f979d71d0f06eMD52open accessORIGINALA Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications.pdfapplication/pdf6322348https://repositorio.escuelaing.edu.co/bitstream/001/1433/3/A%20Semantic%20Framework%20for%20the%20Design%20of%20Distributed%20Reactive%20Real-Time%20Languages%20and%20Applications.pdf89787855194ee357061f11571ce3750bMD53metadata only accessTHUMBNAILA Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications.pdf.jpgA Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications.pdf.jpgGenerated Thumbnailimage/jpeg16911https://repositorio.escuelaing.edu.co/bitstream/001/1433/5/A%20Semantic%20Framework%20for%20the%20Design%20of%20Distributed%20Reactive%20Real-Time%20Languages%20and%20Applications.pdf.jpgcbd9afb906342bcc15a4ddc2528c5566MD55open access001/1433oai:repositorio.escuelaing.edu.co:001/14332022-08-11 13:11:20.86metadata only accessRepositorio Escuela Colombiana de Ingeniería Julio Garavitorepositorio.eci@escuelaing.edu.coU0kgVVNURUQgSEFDRSBQQVJURSBERUwgR1JVUE8gREUgUEFSRVMgRVZBTFVBRE9SRVMgREUgTEEgQ09MRUNDScOTTiAiUEVFUiBSRVZJRVciLCBPTUlUQSBFU1RBIExJQ0VOQ0lBLgoKQXV0b3Jpem8gYSBsYSBFc2N1ZWxhIENvbG9tYmlhbmEgZGUgSW5nZW5pZXLDrWEgSnVsaW8gR2FyYXZpdG8gcGFyYSBwdWJsaWNhciBlbCB0cmFiYWpvIGRlIGdyYWRvLCBhcnTDrWN1bG8sIHZpZGVvLCAKY29uZmVyZW5jaWEsIGxpYnJvLCBpbWFnZW4sIGZvdG9ncmFmw61hLCBhdWRpbywgcHJlc2VudGFjacOzbiB1IG90cm8gKGVuICAgIGFkZWxhbnRlIGRvY3VtZW50bykgcXVlIGVuIGxhIGZlY2hhIAplbnRyZWdvIGVuIGZvcm1hdG8gZGlnaXRhbCwgeSBsZSBwZXJtaXRvIGRlIGZvcm1hIGluZGVmaW5pZGEgcXVlIGxvIHB1YmxpcXVlIGVuIGVsIHJlcG9zaXRvcmlvIGluc3RpdHVjaW9uYWwsIAplbiBsb3MgdMOpcm1pbm9zIGVzdGFibGVjaWRvcyBlbiBsYSBMZXkgMjMgZGUgMTk4MiwgbGEgTGV5IDQ0IGRlIDE5OTMsIHkgZGVtw6FzIGxleWVzIHkganVyaXNwcnVkZW5jaWEgdmlnZW50ZQphbCByZXNwZWN0bywgcGFyYSBmaW5lcyBlZHVjYXRpdm9zIHkgbm8gbHVjcmF0aXZvcy4gRXN0YSBhdXRvcml6YWNpw7NuIGVzIHbDoWxpZGEgcGFyYSBsYXMgZmFjdWx0YWRlcyB5IGRlcmVjaG9zIGRlIAp1c28gc29icmUgbGEgb2JyYSBlbiBmb3JtYXRvIGRpZ2l0YWwsIGVsZWN0csOzbmljbywgdmlydHVhbDsgeSBwYXJhIHVzb3MgZW4gcmVkZXMsIGludGVybmV0LCBleHRyYW5ldCwgeSBjdWFscXVpZXIgCmZvcm1hdG8gbyBtZWRpbyBjb25vY2lkbyBvIHBvciBjb25vY2VyLgpFbiBtaSBjYWxpZGFkIGRlIGF1dG9yLCBleHByZXNvIHF1ZSBlbCBkb2N1bWVudG8gb2JqZXRvIGRlIGxhIHByZXNlbnRlIGF1dG9yaXphY2nDs24gZXMgb3JpZ2luYWwgeSBsbyBlbGFib3LDqSBzaW4gCnF1ZWJyYW50YXIgbmkgc3VwbGFudGFyIGxvcyBkZXJlY2hvcyBkZSBhdXRvciBkZSB0ZXJjZXJvcy4gUG9yIGxvIHRhbnRvLCBlcyBkZSBtaSBleGNsdXNpdmEgYXV0b3LDrWEgeSwgZW4gY29uc2VjdWVuY2lhLCAKdGVuZ28gbGEgdGl0dWxhcmlkYWQgc29icmUgw6lsLiBFbiBjYXNvIGRlIHF1ZWphIG8gYWNjacOzbiBwb3IgcGFydGUgZGUgdW4gdGVyY2VybyByZWZlcmVudGUgYSBsb3MgZGVyZWNob3MgZGUgYXV0b3Igc29icmUgCmVsIGRvY3VtZW50byBlbiBjdWVzdGnDs24sIGFzdW1pcsOpIGxhIHJlc3BvbnNhYmlsaWRhZCB0b3RhbCB5IHNhbGRyw6kgZW4gZGVmZW5zYSBkZSBsb3MgZGVyZWNob3MgYXF1w60gYXV0b3JpemFkb3MuIEVzdG8gCnNpZ25pZmljYSBxdWUsIHBhcmEgdG9kb3MgbG9zIGVmZWN0b3MsIGxhIEVzY3VlbGEgYWN0w7phIGNvbW8gdW4gdGVyY2VybyBkZSBidWVuYSBmZS4KVG9kYSBwZXJzb25hIHF1ZSBjb25zdWx0ZSBlbCBSZXBvc2l0b3JpbyBJbnN0aXR1Y2lvbmFsIGRlIGxhIEVzY3VlbGEsIGVsIENhdMOhbG9nbyBlbiBsw61uZWEgdSBvdHJvIG1lZGlvIGVsZWN0csOzbmljbywgCnBvZHLDoSBjb3BpYXIgYXBhcnRlcyBkZWwgdGV4dG8sIGNvbiBlbCBjb21wcm9taXNvIGRlIGNpdGFyIHNpZW1wcmUgbGEgZnVlbnRlLCBsYSBjdWFsIGluY2x1eWUgZWwgdMOtdHVsbyBkZWwgdHJhYmFqbyB5IGVsIAphdXRvci5Fc3RhIGF1dG9yaXphY2nDs24gbm8gaW1wbGljYSByZW51bmNpYSBhIGxhIGZhY3VsdGFkIHF1ZSB0ZW5nbyBkZSBwdWJsaWNhciB0b3RhbCBvIHBhcmNpYWxtZW50ZSBsYSBvYnJhIGVuIG90cm9zIAptZWRpb3MuRXN0YSBhdXRvcml6YWNpw7NuIGVzdMOhIHJlc3BhbGRhZGEgcG9yIGxhcyBmaXJtYXMgZGVsIChsb3MpIGF1dG9yKGVzKSBkZWwgZG9jdW1lbnRvLiAKU8OtIGF1dG9yaXpvIChhbWJvcykK |