dc.contributor | Departamento de Ingeniería de Sistemas e Industrial | |
dc.contributor | Ortiz Triviño, Jorge Eduardo | |
dc.contributor | TLÖN - Grupo de Investigación en Redes de Telecomunicaciones Dinámicas y Lenguajes de Programación Distribuidos | |
dc.creator | De Orcajo Vélez, Andrés Felipe | |
dc.date.accessioned | 2020-11-19T15:46:56Z | |
dc.date.available | 2020-11-19T15:46:56Z | |
dc.date.created | 2020-11-19T15:46:56Z | |
dc.date.issued | 2020 | |
dc.identifier | https://repositorio.unal.edu.co/handle/unal/78637 | |
dc.description.abstract | Este trabajo se enmarca dentro de recientes arquitecturas de computación distribuida donde se presentan características como la movilidad, recursos estocásticos y dinámicos, se crean nuevos retos que deben satisfacer sus herramientas como lo son los lenguajes de programación que permitan explotar sus potencialidades. En este trabajo final de maestría se presenta la creación de un lenguaje de programación y de un lenguaje intermedio, que son requeridos para escribir aplicaciones social-inspiradas dentro del modelo de computación TLÖN. A su vez, se muestra cómo fue el desarrollo de una herramienta traductora que genera código intermedio para su computador virtual distribuido. Esto conlleva a la propuesta de un modelo social de computación que toma elementos de diferentes modelos de computación concurrente, distribuida y móvil, como el modelo de actores y el cálculo de ambientes, junto con un amplio grupo de conceptos sociales, como lo son la institucionalidad y los estados. Se presentan ejemplos que exhiben el potencial de la herramienta construida. Todo esto reunido, contribuye una propuesta de construir aplicaciones con esta herramienta, a través de una nueva forma de desarrollar aplicaciones inspiradas en la creación de una obra de teatro. | |
dc.description.abstract | This work is based on recent distributed computing architectures which presents characteristics like mobility, stochastic and dynamic resources. New goals must be satisfied by its tools such as programming languages that allow them to exploit their potential. On this final master's work, the creation of a programming language and an intermediate language are presented, which are essential to write social-inspired applications in the TLÖN computing model. On the other hand, the development of a translating tool which generates an intermediate code for virtual distributed computer is shown. This drives into the proposal of a social computing model that takes different concurrent distributed and mobile computing elements, such as the actor model and the ambient calculus, alongside a wide set of social concepts, like institutionalism and states. Examples are shown where the potential of the built tool is evident. All this united, contributes to the proposal for building applications with this tool through a new application development method inspired on a theater play. | |
dc.language | spa | |
dc.publisher | Bogotá - Ingeniería - Maestría en Ingeniería - Ingeniería de Sistemas y Computación | |
dc.publisher | Universidad Nacional de Colombia - Sede Bogotá | |
dc.relation | Aceto, Luca ; Ingólfsdóttir, Anna ; Larsen, Kim G. ; Srba, Jiri: Reactive Systems: Modelling, Speci cation and Veri cation. USA : Cambridge University Press, 2007. - ISBN 0521875463 | |
dc.relation | Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986 | |
dc.relation | Aho, Alfred V. ; Sethi, Ravi ; Ullman, Jeffrey D.: Compiladores: Princípios, Técnicas e Ferramentas. 1986. - ISBN 0201100886 | |
dc.relation | Alexander, Jhon ; Ortiz Triviño, Jorge E.: Diseño Socio-inspirado de la Máquina Virtual Distribuida (Orbis Virtualis Maquinus OVM) para la red Ad-Hoc TLÖN. En: Cicom. Cartagena, 2015 | |
dc.relation | Alvergue, L D. ; Pandey, A ; Gu, G ; Chen, X: Consensus control for heterogeneous multiagent systems. En: SIAM Journal on Control and Optimization 54 (2016), Nr. 3, p. 1719-1738. - ISSN 03630129 (ISSN) | |
dc.relation | Andrews, Gregory R.: The distributed programming language SR-Mechanisms, design and implementation. En: Software: Practice and Experience 12 (1982), aug, Nr. 8, p. 719-753. - ISSN 00380644 | |
dc.relation | Barendregt, H. P. ; Van Eekelen, M. C. ; Plasmeijer, M. J. ; Glauert, J. R. ; Kennaway, J. R. ; Sleep, M. R.: LEAN: An intermediate language based on graph rewriting. En: Parallel Computing 9 (1989), jan, Nr. 2, p. 163-177. - ISSN 01678191 | |
dc.relation | Bison, Paolo ; Pagello, Enrico ; Trainito, Gaetano: VML: An intermediate language for robot programming. En: Robotics and Computer Integrated Manufacturing 5 (1989), jan, Nr. 1, p. 11-19. - ISSN 07365845 | |
dc.relation | Blessing, Lucienne T. ; Chakrabarti, Amaresh ; London, Springer-Verlag (Ed.): DRM, a Design Research Methodology. Springer-Verlag London, 2009. - ISBN 978-1-84882-586-4 | |
dc.relation | Cardelli, L. ; Gordon, A. D.: Mobile ambients. En: Theoretical Computer Science Vol. 240 (1), 2000, p. 177-213 | |
dc.relation | Church, A.: The Calculi of Lambda Conversion. Princeton University Press, 1941 | |
dc.relation | De Carvalho, Jorge V.: Sinais de fogo: metamorfose e epigenia. En: Metamorfoses - Revista de Estudos Literários Luso-Afro-Brasileiros (2010). - ISSN 0875-019X | |
dc.relation | De Porre, Kevin ; Myter, Florian ; Scholliers, Christophe ; Gonzalez Boix, Elisa: CScript: A distributed programming language for building mixed-consistency applications. En: Journal of Parallel and Distributed Computing 144 (2020), oct, p. 109-123. - ISSN 07437315 | |
dc.relation | Dectia: Integrated Cyber Security and Information Assurance. 2011. - Informe de Investigación | |
dc.relation | Dijiang Huang, Huijun W.: Mobile Cloud Computing: Foundations and Service Models. O'Reilly, sep 2017 | |
dc.relation | Dyson, George B.: Darwin among the Machines: The Evolution of Global Intelligence. USA : Addison-Wesley Longman Publishing Co., Inc., 1997. - ISBN 0201406497 | |
dc.relation | ECMA International: Standard ECMA-335 - Common Language Infrastructure (CLI). 5. Geneva, Switzerland, December 2010 | |
dc.relation | Fournet, C. ; Gonthier, G.: The reflexive CHAM and the join-calculus. En: In ACM Symposium on Principles of Programming Languages (1996), p. 372-385 | |
dc.relation | Goodwin, Jeff ; Jasper, James M.: Emotions and social movements. En: Handbook of the Sociology of Emotions. Springer, 2006, p. 611-635 | |
dc.relation | Guo, L ; Liu, Z ; Chen, Z: A leader-based cooperation-prompt protocol for the prisoner's dilemma game in multi-agent systems. En: T., Liu (Ed.) ; Q., Zhao (Ed.): 36th Chinese Control Conference, CCC 2017. College of Computer and Control Engineering, Nankai University, Tianjin, 300353, China : IEEE Computer Society, 2017. - ISBN 19341768 (ISSN); 9789881563934 (ISBN), p. 11233-11237 | |
dc.relation | Hewitt, C.: Viewing control structures as patterns of passing messages. En: Arti cial Intelligence 8(3), 1977, p. 323-364 | |
dc.relation | Hoare, Charles Anthony R. ; Wirth, Niklaus: An axiomatic de nition of the programming
language Pascal. En: Acta Informatica 2 (1973), Nr. 4, p. 335-355 | |
dc.relation | Hobbes, T. ; Gaskin, J.C.A.: Leviathan. Oxford University Press, 1996 (Oxford world's classics). - ISBN 9780192834980 | |
dc.relation | Hodgson, Geoffrey M.: ¿Qué son las instituciones? En: Revista CS (2011). - ISSN 2011-0324 | |
dc.relation | Ivanova, V.: The model of the organization of information provision in a knowledge based economy. En: Economy and Forecasting (2011) | |
dc.relation | Jones, S. L.: FLIC - a Functional Language Intermediate Code. En: ACM SIGPLAN Notices 23 (1988), aug, Nr. 8, p. 30-48. - ISSN 15581160 | |
dc.relation | Kuhn, S.T.: La estructura de las revoluciones científi cas. Fondo de Cultura Economica, 2011 (Ciencia y Tecnología). - ISBN 9786071608253 | |
dc.relation | Lafont, Yves: Interaction Nets. En: Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. New York, NY, USA : Association for Computing Machinery, 1989 (POPL '90). - ISBN 0897913434, p. 95-108 | |
dc.relation | Milner, J. P. ; Walker, D.: A calculus of mobile processes, Part I/II. En: Journal of Information and Computation (1992), sep, Nr. 100, p. 1-77 | |
dc.relation | Milner, Robin: Bigraphical reactive systems. En: Lecture Notes in Computer Science (including subseries Lecture Notes in Arti cial Intelligence and Lecture Notes in Bioinformatics), 2001. - ISBN 3540424970 | |
dc.relation | Rawls, John: A Theory of Justice. 1. Cambridge, Massachussets : Belknap Press of Harvard University Press, 1971. - ISBN 0-674-88014-5 | |
dc.relation | Russell, S.J. ; Russell, S.J. ; Norvig, P. ; Davis, E.: Arti cial Intelligence: A Modern Approach. Prentice Hall, 2010 (Prentice Hall series in arti cial intelligence). - ISBN 9780136042594 | |
dc.relation | Sanchez Cifuentes, Joaquin F.: Prototipo de un lenguaje de programación para la implementación de servicios a través de comunidades de agentes social inspirados sobre redes Ad-hoc, Tesis de Grado, 2018. - 123 p. | |
dc.relation | Sartre, J. P.: Being and nothingness. London : Routledge, 1943 | |
dc.relation | Schopenhauer, A.: El Mundo Como Voluntad y Representación. Fondo De Cultura Económica USA, 2004 (Sección de obras de filosofía). - ISBN 9788437505695 | |
dc.relation | Scott, Michael L.: The Lynx distributed programming language: Motivation, design and experience. En: Computer Languages 16 (1991), jan, Nr. 3-4, p. 209-233. - ISSN 00960551 | |
dc.relation | Singh, S: Detection of emergent behaviors in system of dynamical systems using similitude theory. En: V., Chan (Ed.): 2017 Winter Simulation Conference, WSC 2017. Department of Electrical and Computer Engineering, Northeastern University, 360 Huntington Avenue, Boston, MA 02115, United States : Institute of Electrical and Electronics Engineers Inc., 2018. { ISBN 08917736 (ISSN); 9781538634288 (ISBN), p. 4650-4651 | |
dc.relation | de Spinoza, B. ; Peña, V.: Ética demostrada según el orden geométrico. Alianza Editorial, 1999 (El Libro de Bolsillo/Alianza Editorial Series). - ISBN 9788420635095 | |
dc.relation | Téllez-Vargas, Jorge: Teoría de la mente: evolución, ontogenia, neurobiología y psicopatología. En: Avances en psiquiatría biológica (2006) | |
dc.relation | Tinaut, Alberto ; Ruano, Francisca: Biodiversidad, clasi cación y logenia. En: Sistemática y Diversidad. 2000 | |
dc.relation | Van Cutsem, Tom ; Gonzalez Boix, Elisa ; Scholliers, Christophe ; Carreton, Andoni L. ; Harnie, Dries ; Pinte, Kevin ; De Meuter, Wolfgang: AmbientTalk: Programming responsive mobile peer-to-peer applications with actors. En: Computer Languages, Systems and Structures 40 (2014), oct, Nr. 3-4, p. 112-136. - ISSN 14778424 | |
dc.relation | Varela, Carlos A.: Programming Distributed Computing Systems: A Foundational Approach. The MIT Press, 2013. - ISBN 0262018985 | |
dc.relation | Waldron, J.: Moral autonomy and personal autonomy. En: Autonomy and the challenges to liberalism (2005), p. 307-329 | |
dc.relation | Zárate Ceballos, Henry: Diseño de un Sub-Sistema de Cómputo Distribuido que permita implementar virtualización inalámbrica para gestionar recursos (Procesamiento, memoria, almacenamiento y dispositivos E/S) distribuidos en una Red Ad Hoc, mediante el modelo de pseudo Estado, Tesis de Grado, 2018. - 205 p. | |
dc.relation | Zhao, Shushan ; Kent, Robert ; Aggarwal, Akshai: A Key Management and Secure Routing Integrated Framework for Mobile Ad-hoc Networks. En: Ad Hoc Networks (2012) | |
dc.rights | Atribución-NoComercial 4.0 Internacional | |
dc.rights | Acceso abierto | |
dc.rights | http://creativecommons.org/licenses/by-nc/4.0/ | |
dc.rights | info:eu-repo/semantics/openAccess | |
dc.rights | Derechos reservados - Universidad Nacional de Colombia | |
dc.title | Construcción de un traductor para un lenguaje de programación para el modelo de computación social-inspirado TLÖN | |
dc.type | Otro | |