Repositorio UTM
Please use this identifier to cite or link to this item: http://repositorio.utm.mx:8080/jspui/handle/123456789/259
Full metadata record
DC FieldValueLanguage
dc.rights.licenseAtribución No Comercial Sin Derivadasen
dc.contributorJOSE ANIBAL ARIAS AGUILAR;44390en
dc.contributor.advisorArias Aguilar, José Aníbal-
dc.contributor.authorMorales Matus, Marisela-
dc.creatorMARISELA MORALES MATUS;995175en
dc.date.accessioned2019-07-11T16:49:35Z-
dc.date.available2019-07-11T16:49:35Z-
dc.date.issued2015-10-
dc.identifier.citationMorales, M. (2015). Especificación y verificación de un protocolo de comunicación tolerante a fallas de desconexión para aplicaciones colaborativas (Tesis para obtener el grado de Maestra en computación con especialidad en sistemas distribuidos). Universidad Tecnológica de la Mixteca, Huajuapan de León, Oaxaca.en
dc.identifier.urihttp://repositorio.utm.mx:8080/jspui/handle/123456789/259-
dc.description.abstractLa fusión de la computación y las telecomunicaciones ha tenido gran influencia en la manera en que se organizan los sistemas computacionales y ha propiciado el desarrollo de una gran variedad de aplicaciones para trabajo en grupo. Estas aplicaciones colaborativas están soportadas en redes de computadoras o sistemas distribuidos a través de Internet. El aseguramiento de las comunicaciones entre los componentes de cualquier sistema informático es vital para su correcto funcionamiento. Los protocolos de comunicación representan el conjunto de reglas que rigen el formato y el significado de los mensajes que se intercambian entre las entidades y soportan el sistema de comunicación de cualquier red de computadoras. El objetivo de esta tesis es desarrollar la especificación y verificación de un protocolo de comunicación tolerante a fallas de desconexión para aplicaciones colaborativas distribuidas a través de un método formal usando una herramienta de software especializada para validar y verificar su funcionamiento. Es este trabajo se concibe y desarrolla una metodología que permite la especificación de un protocolo de comunicación que opera en la capa de aplicación por encima del protocolo TCP. Con esta metodología, se consigue la automatización del proceso de verificación y validación del mencionado protocolo, y con ello se comprueba la utilidad y efectividad en la incorporación de los servicios de comunicación tolerantes a fallas de desconexión en un entorno distribuido.en
dc.language.isospaen
dc.publisherUniversidad Tecnológica de la Mixtecaen
dc.relation.ispartofREPOSITORIO NACIONAL CONACYTen
dc.rightsopenAccessen
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0en
dc.subjectProtocolo de redes de computadoras, computación, sistemas distribuidosen
dc.subject.other7 INGENIERIA Y TECNOLOGIAen
dc.titleEspecificación y verificación de un protocolo de comunicación tolerante a fallas de desconexión para aplicaciones colaborativasen
dc.typeTesis de Maestríaen
dc.creator.studiesPMaestría en Computación: especialidad Sistemas Distribuidosen
dc.type.statuspublishedVersionen
Appears in Collections:Maestría

Files in This Item:
File Description SizeFormat 
2015_MC-MMM.pdf4.24 MBAdobe PDFView/Open
facebook


This item is licensed under a Creative Commons License Creative Commons