En 7 día(s), 2 hora(s) y 15 minuto(s): El Repositorio Institucional UNAL informa a la comunidad universitaria que, con motivo del periodo de vacaciones colectivas, el servicio de publicación estará suspendido: Periodo de cierre: Del 20 de diciembre al 18 de enero de 2026. Sobre los depósitos: Durante este tiempo, los usuarios podrán continuar realizando el depósito respectivo de sus trabajos en la plataforma. Reanudación: Una vez reiniciadas las actividades administrativas, los documentos serán revisados y publicados en orden de llegada.

Construcción de un traductor para un lenguaje de programación para el modelo de computación social-inspirado TLÖN

dc.contributor.advisorDepartamento de Ingeniería de Sistemas e Industrialspa
dc.contributor.advisorOrtiz Triviño, Jorge Eduardospa
dc.contributor.authorDe Orcajo Vélez, Andrés Felipespa
dc.contributor.researchgroupTLÖN - Grupo de Investigación en Redes de Telecomunicaciones Dinámicas y Lenguajes de Programación Distribuidosspa
dc.date.accessioned2020-11-19T15:46:56Zspa
dc.date.available2020-11-19T15:46:56Zspa
dc.date.issued2020spa
dc.description.abstractEste 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.spa
dc.description.abstractThis 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.spa
dc.description.degreelevelMaestríaspa
dc.format.extent189spa
dc.format.mimetypeapplication/pdfspa
dc.identifier.urihttps://repositorio.unal.edu.co/handle/unal/78637
dc.language.isospaspa
dc.publisher.branchUniversidad Nacional de Colombia - Sede Bogotáspa
dc.publisher.programBogotá - Ingeniería - Maestría en Ingeniería - Ingeniería de Sistemas y Computaciónspa
dc.relation.referencesAceto, Luca ; Ingólfsdóttir, Anna ; Larsen, Kim G. ; Srba, Jiri: Reactive Systems: Modelling, Speci cation and Veri cation. USA : Cambridge University Press, 2007. - ISBN 0521875463spa
dc.relation.referencesAgha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986spa
dc.relation.referencesAho, Alfred V. ; Sethi, Ravi ; Ullman, Jeffrey D.: Compiladores: Princípios, Técnicas e Ferramentas. 1986. - ISBN 0201100886spa
dc.relation.referencesAlexander, 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, 2015spa
dc.relation.referencesAlvergue, 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)spa
dc.relation.referencesAndrews, 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 00380644spa
dc.relation.referencesBarendregt, 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 01678191spa
dc.relation.referencesBison, 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 07365845spa
dc.relation.referencesBlessing, Lucienne T. ; Chakrabarti, Amaresh ; London, Springer-Verlag (Ed.): DRM, a Design Research Methodology. Springer-Verlag London, 2009. - ISBN 978-1-84882-586-4spa
dc.relation.referencesCardelli, L. ; Gordon, A. D.: Mobile ambients. En: Theoretical Computer Science Vol. 240 (1), 2000, p. 177-213spa
dc.relation.referencesChurch, A.: The Calculi of Lambda Conversion. Princeton University Press, 1941spa
dc.relation.referencesDe Carvalho, Jorge V.: Sinais de fogo: metamorfose e epigenia. En: Metamorfoses - Revista de Estudos Literários Luso-Afro-Brasileiros (2010). - ISSN 0875-019Xspa
dc.relation.referencesDe 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 07437315spa
dc.relation.referencesDectia: Integrated Cyber Security and Information Assurance. 2011. - Informe de Investigaciónspa
dc.relation.referencesDijiang Huang, Huijun W.: Mobile Cloud Computing: Foundations and Service Models. O'Reilly, sep 2017spa
dc.relation.referencesDyson, George B.: Darwin among the Machines: The Evolution of Global Intelligence. USA : Addison-Wesley Longman Publishing Co., Inc., 1997. - ISBN 0201406497spa
dc.relation.referencesECMA International: Standard ECMA-335 - Common Language Infrastructure (CLI). 5. Geneva, Switzerland, December 2010spa
dc.relation.referencesFournet, C. ; Gonthier, G.: The reflexive CHAM and the join-calculus. En: In ACM Symposium on Principles of Programming Languages (1996), p. 372-385spa
dc.relation.referencesGoodwin, Jeff ; Jasper, James M.: Emotions and social movements. En: Handbook of the Sociology of Emotions. Springer, 2006, p. 611-635spa
dc.relation.referencesGuo, 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-11237spa
dc.relation.referencesHewitt, C.: Viewing control structures as patterns of passing messages. En: Arti cial Intelligence 8(3), 1977, p. 323-364spa
dc.relation.referencesHoare, Charles Anthony R. ; Wirth, Niklaus: An axiomatic de nition of the programming language Pascal. En: Acta Informatica 2 (1973), Nr. 4, p. 335-355spa
dc.relation.referencesHobbes, T. ; Gaskin, J.C.A.: Leviathan. Oxford University Press, 1996 (Oxford world's classics). - ISBN 9780192834980spa
dc.relation.referencesHodgson, Geoffrey M.: ¿Qué son las instituciones? En: Revista CS (2011). - ISSN 2011-0324spa
dc.relation.referencesIvanova, V.: The model of the organization of information provision in a knowledge based economy. En: Economy and Forecasting (2011)spa
dc.relation.referencesJones, S. L.: FLIC - a Functional Language Intermediate Code. En: ACM SIGPLAN Notices 23 (1988), aug, Nr. 8, p. 30-48. - ISSN 15581160spa
dc.relation.referencesKuhn, S.T.: La estructura de las revoluciones científi cas. Fondo de Cultura Economica, 2011 (Ciencia y Tecnología). - ISBN 9786071608253spa
dc.relation.referencesLafont, 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-108spa
dc.relation.referencesMilner, J. P. ; Walker, D.: A calculus of mobile processes, Part I/II. En: Journal of Information and Computation (1992), sep, Nr. 100, p. 1-77spa
dc.relation.referencesMilner, 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 3540424970spa
dc.relation.referencesRawls, John: A Theory of Justice. 1. Cambridge, Massachussets : Belknap Press of Harvard University Press, 1971. - ISBN 0-674-88014-5spa
dc.relation.referencesRussell, 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 9780136042594spa
dc.relation.referencesSanchez 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.spa
dc.relation.referencesSartre, J. P.: Being and nothingness. London : Routledge, 1943spa
dc.relation.referencesSchopenhauer, A.: El Mundo Como Voluntad y Representación. Fondo De Cultura Económica USA, 2004 (Sección de obras de filosofía). - ISBN 9788437505695spa
dc.relation.referencesScott, Michael L.: The Lynx distributed programming language: Motivation, design and experience. En: Computer Languages 16 (1991), jan, Nr. 3-4, p. 209-233. - ISSN 00960551spa
dc.relation.referencesSingh, 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-4651spa
dc.relation.referencesde Spinoza, B. ; Peña, V.: Ética demostrada según el orden geométrico. Alianza Editorial, 1999 (El Libro de Bolsillo/Alianza Editorial Series). - ISBN 9788420635095spa
dc.relation.referencesTéllez-Vargas, Jorge: Teoría de la mente: evolución, ontogenia, neurobiología y psicopatología. En: Avances en psiquiatría biológica (2006)spa
dc.relation.referencesTinaut, Alberto ; Ruano, Francisca: Biodiversidad, clasi cación y logenia. En: Sistemática y Diversidad. 2000spa
dc.relation.referencesVan 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 14778424spa
dc.relation.referencesVarela, Carlos A.: Programming Distributed Computing Systems: A Foundational Approach. The MIT Press, 2013. - ISBN 0262018985spa
dc.relation.referencesWaldron, J.: Moral autonomy and personal autonomy. En: Autonomy and the challenges to liberalism (2005), p. 307-329spa
dc.relation.referencesZá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.spa
dc.relation.referencesZhao, Shushan ; Kent, Robert ; Aggarwal, Akshai: A Key Management and Secure Routing Integrated Framework for Mobile Ad-hoc Networks. En: Ad Hoc Networks (2012)spa
dc.rightsDerechos reservados - Universidad Nacional de Colombiaspa
dc.rights.accessrightsinfo:eu-repo/semantics/openAccessspa
dc.rights.licenseAtribución-NoComercial 4.0 Internacionalspa
dc.rights.spaAcceso abiertospa
dc.rights.urihttp://creativecommons.org/licenses/by-nc/4.0/spa
dc.subject.ddc000 - Ciencias de la computación, información y obras generales::005 - Programación, programas, datos de computaciónspa
dc.subject.proposalModelo TLÖNspa
dc.subject.proposalTLÖN modeleng
dc.subject.proposalCompiladoresspa
dc.subject.proposalCompilerseng
dc.subject.proposalProgramming languageseng
dc.subject.proposalLenguajes de programaciónspa
dc.subject.proposalIntermediate languageeng
dc.subject.proposalLenguaje intermediospa
dc.subject.proposalComputador virtual distribuidospa
dc.subject.proposalDistributed virtual computereng
dc.subject.proposalSocial-inspired computingeng
dc.subject.proposalComputación social-inspiradaspa
dc.titleConstrucción de un traductor para un lenguaje de programación para el modelo de computación social-inspirado TLÖNspa
dc.typeTrabajo de grado - Maestríaspa
dc.type.coarhttp://purl.org/coar/resource_type/c_bdccspa
dc.type.coarversionhttp://purl.org/coar/version/c_ab4af688f83e57aaspa
dc.type.contentTextspa
dc.type.driverinfo:eu-repo/semantics/masterThesisspa
dc.type.versioninfo:eu-repo/semantics/acceptedVersionspa
oaire.accessrightshttp://purl.org/coar/access_right/c_abf2spa

Archivos

Bloque original

Mostrando 1 - 1 de 1
Cargando...
Miniatura
Nombre:
1019120483.2020.pdf
Tamaño:
3.67 MB
Formato:
Adobe Portable Document Format

Bloque de licencias

Mostrando 1 - 1 de 1
Cargando...
Miniatura
Nombre:
license.txt
Tamaño:
3.8 KB
Formato:
Item-specific license agreed upon to submission
Descripción: