Mostrar el registro sencillo del documento

dc.rights.licenseAtribución-NoComercial 4.0 Internacional
dc.contributor.advisorDepartamento de Ingeniería de Sistemas e Industrial
dc.contributor.advisorOrtiz Triviño, Jorge Eduardo
dc.contributor.authorDe Orcajo Vélez, Andrés Felipe
dc.date.accessioned2020-11-19T15:46:56Z
dc.date.available2020-11-19T15:46:56Z
dc.date.issued2020
dc.identifier.urihttps://repositorio.unal.edu.co/handle/unal/78637
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.
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.
dc.format.extent189
dc.format.mimetypeapplication/pdf
dc.language.isospa
dc.rightsDerechos reservados - Universidad Nacional de Colombia
dc.rights.urihttp://creativecommons.org/licenses/by-nc/4.0/
dc.subject.ddc000 - Ciencias de la computación, información y obras generales::005 - Programación, programas, datos de computación
dc.titleConstrucción de un traductor para un lenguaje de programación para el modelo de computación social-inspirado TLÖN
dc.typeOtro
dc.rights.spaAcceso abierto
dc.type.driverinfo:eu-repo/semantics/other
dc.type.versioninfo:eu-repo/semantics/acceptedVersion
dc.publisher.programBogotá - Ingeniería - Maestría en Ingeniería - Ingeniería de Sistemas y Computación
dc.contributor.researchgroupTLÖN - Grupo de Investigación en Redes de Telecomunicaciones Dinámicas y Lenguajes de Programación Distribuidos
dc.description.degreelevelMaestría
dc.publisher.branchUniversidad Nacional de Colombia - Sede Bogotá
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 0521875463
dc.relation.referencesAgha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986
dc.relation.referencesAho, Alfred V. ; Sethi, Ravi ; Ullman, Jeffrey D.: Compiladores: Princípios, Técnicas e Ferramentas. 1986. - ISBN 0201100886
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, 2015
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)
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 00380644
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 01678191
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 07365845
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-4
dc.relation.referencesCardelli, L. ; Gordon, A. D.: Mobile ambients. En: Theoretical Computer Science Vol. 240 (1), 2000, p. 177-213
dc.relation.referencesChurch, A.: The Calculi of Lambda Conversion. Princeton University Press, 1941
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-019X
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 07437315
dc.relation.referencesDectia: Integrated Cyber Security and Information Assurance. 2011. - Informe de Investigación
dc.relation.referencesDijiang Huang, Huijun W.: Mobile Cloud Computing: Foundations and Service Models. O'Reilly, sep 2017
dc.relation.referencesDyson, George B.: Darwin among the Machines: The Evolution of Global Intelligence. USA : Addison-Wesley Longman Publishing Co., Inc., 1997. - ISBN 0201406497
dc.relation.referencesECMA International: Standard ECMA-335 - Common Language Infrastructure (CLI). 5. Geneva, Switzerland, December 2010
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-385
dc.relation.referencesGoodwin, Jeff ; Jasper, James M.: Emotions and social movements. En: Handbook of the Sociology of Emotions. Springer, 2006, p. 611-635
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-11237
dc.relation.referencesHewitt, C.: Viewing control structures as patterns of passing messages. En: Arti cial Intelligence 8(3), 1977, p. 323-364
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-355
dc.relation.referencesHobbes, T. ; Gaskin, J.C.A.: Leviathan. Oxford University Press, 1996 (Oxford world's classics). - ISBN 9780192834980
dc.relation.referencesHodgson, Geoffrey M.: ¿Qué son las instituciones? En: Revista CS (2011). - ISSN 2011-0324
dc.relation.referencesIvanova, V.: The model of the organization of information provision in a knowledge based economy. En: Economy and Forecasting (2011)
dc.relation.referencesJones, S. L.: FLIC - a Functional Language Intermediate Code. En: ACM SIGPLAN Notices 23 (1988), aug, Nr. 8, p. 30-48. - ISSN 15581160
dc.relation.referencesKuhn, S.T.: La estructura de las revoluciones científi cas. Fondo de Cultura Economica, 2011 (Ciencia y Tecnología). - ISBN 9786071608253
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-108
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-77
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 3540424970
dc.relation.referencesRawls, John: A Theory of Justice. 1. Cambridge, Massachussets : Belknap Press of Harvard University Press, 1971. - ISBN 0-674-88014-5
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 9780136042594
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.
dc.relation.referencesSartre, J. P.: Being and nothingness. London : Routledge, 1943
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 9788437505695
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 00960551
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-4651
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 9788420635095
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)
dc.relation.referencesTinaut, Alberto ; Ruano, Francisca: Biodiversidad, clasi cación y logenia. En: Sistemática y Diversidad. 2000
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 14778424
dc.relation.referencesVarela, Carlos A.: Programming Distributed Computing Systems: A Foundational Approach. The MIT Press, 2013. - ISBN 0262018985
dc.relation.referencesWaldron, J.: Moral autonomy and personal autonomy. En: Autonomy and the challenges to liberalism (2005), p. 307-329
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.
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)
dc.rights.accessrightsinfo:eu-repo/semantics/openAccess
dc.subject.proposalModelo TLÖN
dc.subject.proposalTLÖN model
dc.subject.proposalCompiladores
dc.subject.proposalCompilers
dc.subject.proposalProgramming languages
dc.subject.proposalLenguajes de programación
dc.subject.proposalIntermediate language
dc.subject.proposalLenguaje intermedio
dc.subject.proposalComputador virtual distribuido
dc.subject.proposalDistributed virtual computer
dc.subject.proposalSocial-inspired computing
dc.subject.proposalComputación social-inspirada
dc.type.coarhttp://purl.org/coar/resource_type/c_1843
dc.type.coarversionhttp://purl.org/coar/version/c_ab4af688f83e57aa
dc.type.contentText
oaire.accessrightshttp://purl.org/coar/access_right/c_abf2


Archivos en el documento

Thumbnail
Thumbnail

Este documento aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del documento

Atribución-NoComercial 4.0 InternacionalEsta obra está bajo licencia internacional Creative Commons Reconocimiento-NoComercial 4.0.Este documento ha sido depositado por parte de el(los) autor(es) bajo la siguiente constancia de depósito