DISEÑO Y COMPONENTES DE SISTEMAS DE INFORMACION, 3

Autor: GENOVEVA FUSTER GONZALO.
Año: 2002.
Universidad: CARLOS III DE MADRID.
Centro de lectura: ESCUELA POLITECNICA SUPERIOR .
Centro de realización: UNIVERSIDAD CARLOS III DE MADRID.

Resumen: El Lenguaje Unificado de Modelado (Unified Modeling Language - UML) es un lenguaje visual de modelado de propósito general utilizado para especificar, visualizar, construir y documentar los artefactos (piezas de información) de un sistema informático orientado a objetos. Uno de los elementos básicos del lenguaje UML es la "asociación", que se define como "la relación semántica entre dos o más clasificadores que especifica conexiones entre sus instancias". Como ocurre con otros elementos del lenguaje, la definición de asociación y de sus propiedades presenta faltas de precisión, ambigüedades, contradicciones internas y dificultades para su aplicación práctica. En esta Tesis Doctoral se ha desarrollado una investigación acerca del concepto de asociación en UML, centrada en tres grandes aspectos teóricos (la multiplicidad, la navegabilidad y la visibilidad) y buscando siempre las consecuencias de su aplicación práctica (la implementación). La principal conclusión de esta Tesis Doctoral es que la semántica o significado de toda asociación incluye dos aspectos que están íntimamente entrelazados: el aspecto estático y el aspecto dinámico, relacionados respectivamente con la estructura y comportamiento del sistema. También hemos argumentado que, para lograr un mayor desacoplamiento entre los participantes en una asociación, conviene definir una asociación no entre clasificadores, sino entre interfaces.

Autor: SICILIA URBAN MIGUEL ANGEL.
Año: 2002.
Universidad: CARLOS III DE MADRID.
Centro de lectura: ESCUELA POLITECNICA SUPERIOR .
Centro de realización: UNIVERSIDAD CARLOS III DE MADRID.

Resumen: Esta tesis presenta un modelo denominado Maze, que añade el tratamiento de la imprecisión de acuerdo a la Teoría de los Conjuntos Borrosos a un modelo abstracto de aplicaciones hipermedia. Se generaliza la noción de categoría de usuarios, de atributo y de enlace, y se incluye un modelo abstracto de adaptación, realizado en un modelo más concreto de reglas borrosas, que permite el uso de expresiones cuantificadas borrosas. Maze puede expresarse utilizando una extensión del lenguaje de modelado gráfico UML para facilitar la comprensión de los modelos. Se elabora una arquitectura genérica y otra específica, centrada en la Web, y además, se han implementado tres casos de estudio que demuestran los conceptos fundamentales que Maze introduce en lo relativo a la imprecisión, incluyendo asociaciones y generalizaciones borrosas, tratamiento de conjuntos de etiquetas lingüísticas, grupos borrosos de usuarios y el concepto novedoso de enlace borroso.

Autor: SUÁREZ SÁNCHEZ ANA.
Año: 2002.
Universidad: OVIEDO.
Centro de lectura: INGENIEROS DE MINAS .
Centro de realización: ESCUELA TECN. SUP. DE INGENIEROS DE MINAS DE OVIEDO.

Resumen: La auditoría del servico de prevención de riesgos laborales en la empresa es un requisito legal que muchas empresas españolas todavía no han cumplido. Hasta el momento existía un vacío instrumental en este campo que dificultaba la realización de todo el proceso. La presente tesis doctoral demuestra que es posible desarrollar una herramienta capaz de gestionar de forma integral las actividades asociadas a la auditoría reglamentaria del sistema de prevención de riesgos laborales. En primer lugar se realiza una evaluación de toda la información relevante necesaria en el proceso, seguida de una caracterización y clasificación y clasificación de la misma. Con los resultados de esta fase se establece una serie de conjuntos y se analizan detalladamente para identificar los aspectos puntuales que deben ser verificados en el proceso de auditoría. Todo esto conduce a la elaboración de los procedimientos, listas de chequeo, informes, etc., que constituyen los elementos básicos del sistema de información. A partir de la fase anterior, se lleva a cabo un análisis de la aplicación informática capaz de cumplir e integrar los objetivos planteados. Consta de tres tipos de análisis: funcional, de la base de datos y de la interfaz de usuario. En función de los resultados del análisis se desarrolla la aplicación utilizando la plataforma Velázquez Visual y se integran los elementos del sistema de información previamente estructurado. La aplicación desarrollada se ha ensayado en distintas máquinas, con diferentes sistemas operativos, todos ellos basados en un entorno Microsoft Windows. Se han obtenido unos resultados óptimos en todos los casos y se ha demostrado la elevada capacidad de gestión del sistema elaborado.

Autor: GONZÁLEZ VASCO ISABEL.
Año: 2002.
Universidad: OVIEDO .
Centro de lectura: MATEMATICAS.
Centro de realización: FACULTAD DE CIENCIAS DE LA UNIVERSIDAD DE OVIEDO.

Resumen: En la memoria se investigan las posibilidades de construir esquemas de cifrado de clave pública a partir de problemas de Teoría de Grupos. El primer capítulo de la misma es una recopilación de definiciones y resultados preliminares imprescindibles para la comprensión del resto de la memoria. En el segundo capítulo, se estudian los criptosistemas de clave pública propuestos hasta la actualidad para cifrar mensajes a partir de problemas de factorización en grupos. Se comienza estudiando una construcción para grupos infinitos basada en el problema de la palabra y sugerida pro Wagner y Magyarik en 1985. Después se analiza una propuesta más reciente, el criptositema MST1, del año 2000. Se demuestra que ambos esquemas son vulnerables a distintos ataques realizados utilizando técnicas de Teoría de Grupos. En el tercer capítulo de la memoria se analiza la posibilidad de cifrar mensajes utilizando problemas similares al llamado problema de Diffie-Hellman. Se propone un sistema de intercambio de claves de este tipo, basado en el teorema de Markov. También, se diseña un esquema de cifrado que constituye un marco común para el estudio de varios esquemas de los mencionados y se demuetra, como ejemplo de aplicación, que dichos criptosistemas son maleables. El capítulo cuarto de la memoria está dedicado a ciertas secuencias de factorización de grupos finitos llamadas signaturas logarítmicas. Dichas secuencias son las piezas fundamentales de las claves del criptosistema MST1. Se demuestra que es posible construir una factorización de este tipo, del menor tamaño posible, para todo grupo finito de orden menor que el del primer grupo simple esporádico de Janko. La memoria concluye con el planteamiento de varios problemas abiertos que surgen de modo natural del desarrollo realizado.

Autor: ZAZO RODRÍGUEZ ÁNGEL FRANCISCO.
Año: 2002.
Universidad: SALAMANCA.
Centro de lectura: TRADUCCIÓN Y DOCUMENTACIÓN.
Centro de realización: FACULTAD DE CIENCIAS - UNIVERSIDAD SALAMANCA.

Resumen: Esta tesis, después de analizar el estado del arte en recuperación clásica de la información, analiza el proceso de expansión de consultas. Con la expansión de consultas se pretende mejorar la recuperación respecto de una primera consulta, y es especialmente interesante con consultas cortas, ya que su grado de ambigüedad es más alto. Frecuentemente los usuarios no encuentran respuestas adecuadas a sus necesidades informativas, debido fundamentalmente a problemas de inconsistencia de vocabulario, y tienen que replantear su consulta al sistema. Cuando el proceso se hace automáticamente, la expansión conlleva una ampliación de nuevos términos a la consulta inicial y un recálculo de la importancia de cada término en la nueva consulta. En este contexto, las dos dificultades principales son: A,- La selección de los términos más adecuados para añadir a la consulta original. B,- La elección del mecanismo de pesado de los nuevos términos. En esta tesis se describen y analizan las diferentes técnicas existentes hoy día en expansión de consultas, y se realiza una amplia gama de experimentos conducentes a obtener cirterios de aplicabilidad los suficientemente robustos en diferentes condiciones. Sistemáticamente se desarrollan los experimentos utilizando dos colecciones documentales de prueba bastante diferentes en tamaño y calidad, una de ellas desarrollada en el grupo de investigación del doctorando, y la otra desarrolla en las conferencias CLEF. Son especialmente interesantes los experimentos y resultados en expansión utilizando tesauros de asociación y similitud, aplicados global y localmente.

Autor: HERNÁNDEZ GOYA M. CANDELARIA.
Año: 2002.
Universidad: LA LAGUNA.
Centro de lectura: MATEMÁTICAS.
Centro de realización: FAC. DE MATEMÁTICAS.

Resumen: El objetivo primordial de esta tesis es destacar el papel que la teoría de grafos puede jugar en el entorno de la Criptografia moderna. Con este fin la autora propone el uso de dicha disciplina como --- de problemas base, introduciendo también una nueva metodología de diseño en el campo de los protocolos criptográficos. Entre los protocolos estudiados destacan as de transferencia inconsciente y compromiso de bits por se considerados primitivos esenciales para el diseño de esquemas criptográficos más complejos. También se presta especial atención a las demostraciones de conocimiento nulo aportando nuevos algoritmos orientados a resolver el problema de la identificación.

Autor: CACHERO CASTRO CRISTINA.
Año: 2002.
Universidad: ALICANTE.
Centro de lectura: ESCUELA POLITÉCNICA SUPERIOR.
Centro de realización: DPTO. LENGUAJES Y SISTEMAS INFORMÁTICOS.

Autor: MERSEGUER HERNAIZ JOSE JAVIER.
Año: 2002.
Universidad: ZARAGOZA.
Centro de lectura: CENTRO POLITECNICO SUPERIOR.
Centro de realización: CENTRO POLITÉCNICO SUPERIOR.

Resumen: En esta tesis se da semántica en términos de redes de Ptri estocásticas a las máquinas de estados de UML y a los diagramas de actividad de UML. La semántica obtenida permite la validación de propiedades cualitativas y cuantitativos de los sistemas software en las etapas tempranos del ciclo de vida y como "sub-producto" de este. Se incrementa la sintaxis de UML para describir requerimientos de prestaciones. Palabras clave: UML, ingeniería del software, redes de Petri, métodos formales, sistemas distribuidos, modelado de sistemas software.

Autor: OTERO VIDAL M. CARMEN.
Año: 2002.
Universidad: PAIS VASCO.
Centro de lectura: INFORMÁTICA .
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: El objetivo de esta tesis consiste en contribuir al conocimiento del modelado dinámico contenido en un documento de diseño y especificado en un lenguaje orientado a objetos. Mediante la planificación, bajo un enfoque evolutivo, de una familia de experimentos controlados, se han examinado qué modelos son más fáciles de comprender y, por tanto, resultan más apropiados a la hora de modelar el comportamiento dinámico. El proceso experimental para conducir cada una de estas prácticas empíricas ha implicado llevar a cabo una serie de actividades que abarcan desde la elección del diseño experimental hasta el análisis estàdistico y posterior interpretación de los datos recopilados. En primer lugar, se han estudiado los diferentes tipos de diagramas dinámicos del lenguaje UML (Unified Modeling Language) de forma individual. Los resultados empíricos revelan que la comprensión del modelado dinámico depende del tipo de diagrama y del dominio de aplicación, es decir, que un tipo de diagrama demuestra ser el más adecuado para especificar el comportamiento dinámico de un dominio de aplicación concreto. A continuación, se exploran las combinaciones pares de diagramas dinámicos UML. Independientemente de que el dominio de aplicación sea de gestión o de control, el modelado dinámico del diseño en UML se comprende mas eficazmente cuando se implementa mediante el par secuencia-estado. Por último, se investiga si el tipo de lenguaje, UML versus OML (OPEN Modeling Language), utilizado para construir los modelos dinámicos influye o no en su comprensión semántica. Los resultados obtenidos concluyen que la especificación del comportamiento dinámico mediante OML es más rápida de comprender y más fácil de interpretar que mediante UML.

Autor: AREITIO BERTOLÍN ANA M..
Año: 2002.
Universidad: PAIS VASCO.
Centro de lectura: CIENCIAS ECONÓMICAS Y EMPRESARIALES.
Centro de realización: FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES.

Resumen: Considerando la situación económico/social actual, toda organización debe adaptarse al cambio, y resultar competitiva, como medio para sobrevivir en el mercado global. El logro de una ventaja competitiva puede alcanzarse a partir de la transformación de su sistema de información en uno eficiente y eficaz, que integre los requerimientos de sus usuarios/clientes. Una transformación de este tipo, que afecta radicalmente a toda la organización (e incluso a su paradigmas) puede llevarse a cabo mediante una reingeniería de sus procesos de negocios. Pero tal iniciativa no lleva asegurado el éxito, sino se cuenta con el conocimiento adecuado del sistema. La construcción de una ontología permite disponer de dicho conocimiento durante el (re)diseño del sistema. En la presente Tesis he confeccionado una ontología, considerando la Universidad del País Vasco (UPV/EHU), como caso particular del concepto de organización.

Autor: LÓPEZ OSTENERO FERNANDO.
Año: 2002.
Universidad: NACIONAL DE EDUCACION A DISTANCIA.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: ETSI INDUSTRIALES.

Resumen: En este trabajo se presenta un asistente a la búsqueda de información e idiomas desconocidos que utiliza los sintagmas nominales como unidad fundamental de traducción de los documentos y de formulación y refinamiento de la consulta. El sistema: * Da soporte a la tarea de selección documental translingüe empleando un pseudo-resumen de los documentos basado en sintagmas nominales. * Da soporte a la formulación inicial de la consulta y a su posterior refinamiento apoyándose en la información contenida en los pseudo-resúmenes de los documentos. Para realizar el proceso de traducción, tanto de la consulta como de los pseudo-resúmenes, se genera previamente un diccionario bilingüe de sintagmas, utilizando un algoritmo que alinea sintagmas nominales entre dos idiomas utilizando exclusivamente información sobre los lemas de los términos que los componen, las posibles traducciones que ofrece un diccionario bilingüe, y las estadísticas de aparición de los sintagmas en dos corpus comparables. Sobre un conjunto de, aproximadamente, 21 millones de sintagmas de dos y tres lemas en castellano e inglés, el algoritmo es capaz de alinear 3.9 millones, con una precisión del 80% para los sintagmas de tres lemas y del 74% para los sintagmas de dos lemas más frecuentes. Los sintagmas nominales no alineados se traduccen mediante un algoritmo que busca iterativamente subsintagma maximales alineados y utiliza la información de las alineaciones para obtener traducciones óptimas de los términos que quedan aislados. La evaluación de los diferentes aspectos individuales del proceso se ha llevado a cabo en el marco de las evaluaciones comparadas iCLEF (Interactive Cross-Language Evaluation Forum), donde se comparan las aproximaciones propuestas con dos sistemas de referencia: * Los pseudo-resúmenes translingües obtienen una mejora del 25% en la medida oficial del iCLEF sobre una traducción proporcionada por un sistema de traducción automática (Systran Professional 3.0). Los usuarios son capaces de juzgar más rápidamente la relevancia de un documento utilizando los pseudo-resúmenes, con una precisión similar. * La interacción con sintagmas para la formulación y refinamiento de la consulta obtiene una mejora del 64% sobre una aproximación consistente en facilitar la selección interactiva de traducciones adecuadas para los términos de la consulta. Los usuarios formulan la consulta con más rapidez y mayor acierto, y realizan más interacciones, con el sistema basado en sintagmas que con el de traducción asistida. A los datos cuantitativos hay que añadir que, tanto los cuestionarios cumplimentados por los evaluadores como el estudio observacional de cada sesión de búsqueda, confirman cualitativamente estos resultados. Nuestros resultados cuestionan dos suposiciones implícitas en buena parte de la investigación en Recuperación de Información Multilingúe: la primera, que una vez encontrados los documentos en el idioma destino la traducción automática es la forma óptima de informar al usuario sobre su contenido; y la segunda, que en un entorno interactivo la forma óptima de formular y traducir la consulta es ayudando al usuario a seleccionar las traducciones adecuadas para cada término de la consulta.

Autor: CARVALHO ALMEIDA SANTOS INACIÓ FERNANDO.
Año: 2002.
Universidad: SEVILLA.
Centro de lectura: ESCUELA SUPERIOR DE INGENIEROS.
Centro de realización: ESCUELA SUPERIOR DE INGENIEROS.

Resumen: En esta tesis se investiga el alcance del concepto de modelo de producto en el modelado de edificio sólo como soporte a la verificación automática y exhaustiva de normas de diseño de edificios y se plantea un conjunto de conceptos relacionados, como: metamodelo de producto, modelo normativo de producto y metamodelo integrado específico. Además, se considera en particular la utilización del modelo de edificio IFC y del lenguaje formal de modelado UML, así como la aplicación del planteamiento a un reglamento específico de edificios de vivienda (la norma portuguesa RGEU). En el trabajo se refiere, como revisión: el análisis de distintos modelos de edificio y de métodos y lenguajes de modelado. Como definición metodológica, se incluye: la formalización de un marco conceptual: la justificación de las opciones específicas: el desarrollo de un esquema de correspondencia entre los lenguajes EXPRESS y UML; la evaluación detallada y la traducción a UML del modelo IFC; y la evaluación de la norma RGEU. Finalmente, como producción, se presenta; el desarrollo del modelo de edificio RGEU; la especificación de un metamodelo integrado IFC-RGEU; y un ejemplo de aplicación a un edificio concreto.

Autor: LÓPEZ VILLEGAS OSCAR GERARDO.
Año: 2002.
Universidad: VALLADOLID.
Centro de lectura: INFORMÁTICA .
Centro de realización: ESCUELA TÉCNICA SUPERIOR DE INFORMÁTICA.

Resumen: El proceso de determinación correcta de los requisitos de un sistema software es un factor crítico dentro del proceso general de desarrollo del software. Por un lado, consumre recursos. Y, por otro, es un proceso propenso a errores cuyas consecuencias pueden ser nefastas en el resto del ciclo de vida. El disponer de productos reutilizables desde las fases iniciales del ciclo de vida del software es una alternativa para el mejor aprovechamiento de los recursos del desarrollo y la disminución de errores. Por todo ello, la hipótesis general de esta tesis plantea que una aproximación basada en reutilización, dentro de un dominio, contribuye al incremento de la calidad y productividad en el proceso de Ingeniería de Requisitos. La principal contribución de la tesis es el establecimiento de un marco de trabajo para la reutilización sistemática guiada por los requisitos funcionales. Este marco de trabajo se caracteriza por la integración de diversas técnicas de modelado de requisitos organizados como una familia de diagramas. Para esta organización es fundamental el soporte teórico del modelo de elementos reutilizable, la que se denomina Rectos (Requirements-based Comercial off-the-shelf), así como el soporte práctico de una herramienta CASE (el entorno R2). El marco de trabajo también se caracteriza por el análisis riguroso de la calidad de los artefactos reutilizables con el soporte del formalismo de las redes d ePetri coloreadas (CPN). La acciones de reutilización se describen mediante un modelo de proceso que guía el aprovechamiento de requisitos reutilizables, llamado DIRECTORY (Diagram-based Reusable Components Towards Requirements QualitY). Con la traducción de los diagramas a redes de Petri (CPN) se persigue asegurar que los diagramas poseen un mínimo de calidad sintáctica. La mejora en la productividad en consecuencia del aprovechamiento de diagrmas bien formados y relacionados con el conocimiento del dominio. A la luz de esta tesis, y como evidencia de alcance general, se resalta que la Reutilización del Software no es una estrategia "ligera" (light-weight). Para abordar la reutilización sistemática se requiere de disciplina organizacional, lo que incluye una cultura adecuada de planificación, además del soporte financiero y técnico, y el contar con herramientas complejas de soporte a las decisiones del proceso de reutilización. Dentro de las deceiones más relevantes se incluye la organización de artefactos reutilizables, y en ello reside el principal punto para mejorar el presente trabajo, pues el establecimiento de la familia de requisitos se basa en decisiones propias del Ingeniero de Requisitos y demandan mucho tiempo.

Autor: MARCOTE ORDAX FRANCISCO XAVIER.
Año: 2002.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: MATEMÁTICAS.
Centro de realización: FACULTAD DE MATEMÁTICAS Y ESTADÍSTICA.

Resumen: Esta tesis trata sobre el estudio de la conectividad tanto de digrafos sin autolazos como de los grafos regulares llamados genéricamente cages, presentando nuevas contribuciones en estos campos. Siendo más precisos, el objetivo principal es proporcionar cotas inferiores tan grandes como sea posible para sus parámetros conectividad, arco-(rama-)conectividad, superconectividad y arco-(rama-)superconectividad, parámetros que son apropiados para cuantificar su "grado de conectividad". Para digrafos sin autolazos, las cotas inferiores que se presentan para estos parámetros se han obtenido asumiendo que cada digrafo satisface cierta "condición estructural", que se escribe en términos de un parámetro relacionado con el número de caminos cortos y, o bien diámetro, o bien un cierto diámetro condicional. A partir de este estudio, hemos conseguido presentar condiciones para que un digrafo sea maximalmente conectado, maximalmente arco-conectado, superconectado o arco-superconectado, ampliando el rango de digrafos para los que se pueden encontrar resultados similares en trabajos previos. La segunda parte de la tesis aborda el estudio de la conectividad de cages, presentando nuevas contribuciones en este entorno. Una cage es un grafo regular tal que su orden es el menor entre todos aquellos grafos regulares que tienen su mismo grado y girth. Aunque es bien sabido que las cages existen para cualquier valor del grado y del girth, su construcción no ha sido posible excepto para un número reducido de casos, desde que fueron definidas en 1947. Sin embargo, la conectividad de las cages ha sido estudiada en los últimos años, habiéndose obtenido como principal resultado que son 3-conexas. Nuestras contribuciones siguen básicamente dos direcciones. En primer lugar, en relación al parámetro conectividad, demostramos que casi todas las cages son 4-conexas, que toda cage con girth 6 u 8 y que un buen número de cages con girth 5 son máximalmente conectadas. En segundo lugar, abordamos el estudio de otros parámetros relacionados con la conectividad de cages, tales como la rama-conectividad, la superconectividad y la rama-superconectividad; especialmente interesantes son los resultados y para cages cúbicas (tal vez las más estudiadas), para las que probamos que son superconectadas, rama-superconectadas y cuasi 4-conectadas. Finalmente, se presentan las conclusines principales de este trabajo, y se discuten algunos problemas abiertos y posibles líneas de investigación futuras.

Autor: REYES MUÑOS M. ANGÉLICA.
Año: 2002.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INGENIEROS DE TELECOMUNICACIÓN .

Resumen: Las redes de hoy en día presentan un gran crecimiento, una alta complejidad de gestión y los nuevos servicios tienen requerimientos cada vez más estrictos. Es por ello que resulta imposible seguir utilizando las plataformas de gestión de la década pasada en los nuevos escenarios de red existentes, es decir, los modelos gestor-agente pierden eficiencia e incluso dada su complejidad de procesamiento para gestionar redes heterogéneas de gran escala pueden llegar a introducir retardos muy grandes ocasionando problemas en la red y un detrimento de la calidad de servicio ofrecida al usuario. Esta tesis es una contribución a los nuevos esquemas de gestión basados en políticas, sin perder por ello, la compatibilidad con los sistemas de gestión que actualmente se ocupen: SNMP, gestión basada en agentes, etc. Las investigaciones relacionadas hasta ahora con los sistemas de getión basadas en políticas se enfocan principalmente en la gestión de recursos locales, en el control de acceso y en la utilización de políticas para configurar los elementos físicos de la red. La Tesis que se sustenta en este trabajo ofrece una perspectiva de la utilización de las políticas en un contexto más amplio, es decir, se analiza y se propone una arquitectura con directorios de políticas, obteniéndose como resultados diversas contribuciones a los sistemas de gestión basados en políticas.

Autor: CAMPS PARÉ RAFAEL.
Año: 2002.
Universidad: POLITECNICA DE CATALUÑA.
Centro de realización: LLENGUATGES I SISTEMES INFORMÁTICS UNIVERSITAT POLITÉCNICA CATALUNYA.

Autor: ACOSTA ELÍAS J. JESÚS.
Año: 2002.
Universidad: POLITECNICA DE CATALUÑA.
Centro de realización: DEPARTAMENTO DE ARQUITECTURA DE COMPUTADORES.

Resumen: La Internet actual nos ofrece grandes oportunidades, pero también enormes retos. Uno de ellos es el desarrollo de sistemas de grandes dimensiones, de alto desempeño, tolerantes a los cambios, fallos y retardos impredecibles que ocurren en Internet. Una herramienta para tratar con este reto es la replicación de consistencia débil. Los algoritmos de replicación los podemos clasificar en consistencia fuerte y consistencia débil. La consistencia fuerte asegura que todas las réplicas mantengan exactamente el mismo contenido. Cuando un cliente accede a una réplica para hacer una escritura, todo el sistema se bloquea, el cliente sólo recibe una respuesta hasta que la escritura ha terminado y ha sido propagaada a todas las réplicas del sistema. Los algoritmos de consistencia débil solo garantizan que en un tiempo finito pero no acotado el sistema será consistente. Cuando un cliente accede a una réplica para hacer una escritura, el cliente inmediatamente recibe una respuesta, y la escritura se propaga a todas las réplicas del sistema posteriormente. El volumen de demanda de un servicio en cada nodo de un sistema distribuido de enorme escala suele ser muy desigual; como en muchas otras redes sociales, la actividad, interés o participación está distribuida por toda la red, en muchos casos siguiendo la ley de Zipf. Esto genera una distribución geográfica de la demanda con zonas de alta demanda y zonas de baja demanda. Sin embargo, los algoritmos de consistencia débil anteriores no tienen en cuenta la demanda. Por tanto mi tesis es que los algoritmos de replicación de consistencia débil deben propagar los cambios de manera preferencial a los nodos con mayor demanda, para que mayor cantidad de clientes accedan a contenidos frescos en menor cantidad de tiempo. En esta tesis se propone Fast consistency (FC), un nuevo algoritmo distribuido de consistencia débil que desarrollamos a partir del algoritmo Time-Stamped Anti-Entropy (TSAE). FC es un algoritmo distribuido sin conocimiento global que propaga de manera preferencial, los cambios hacia las zonas de mayor demanda. El desarrollo de FC se puede dividir en dos fases. En la primera fase se propuso FC básico, un algoritmo que tiene mucho mejor desempeño con respecto a TSAE en una sola zona de alta demanda y casi igual desempeño que TSAE en múltiples zonas de alta demanda. En la segunda fase s propuso la versión extendida de FC, que tiene mucho mejor desempeño que TSAE en una distribución espacial de demanda realista, con múltiples zonas de alta demanda. Se ha evaluado de forma experimental las mejoras del algoritmo FC básico y extendido con respecto a TSAE. Estos experimentos los realizamos utilizando un simulador que hemos desarrollado. En los experimentos realizados con FC básico, usando topologías sencillas como una línea, un anillo y una malla, también usamos topologías tipo Internet. La métrica que usamos para medir el desempeño es la cantidad de sesiones de anti-entropía necesarias para llevar los cambios a las zonas de alta demanda. En los experimentos realizados con FC básicos, usamos topologías sencillas como un línea, un anillo y una malla, también usamos topologías tipo Internet. La métrica que usamos para medir el desempeño es la cantidad de sesiones de anti-entropía necesarias para llevar los cambios a las zonas de alta demanda. En los experimentos de FC extendido, las topologías usadas fueron un anillo con múltiples zonas de alta demanda y una malla con demanda fractal semejante a la que experaríamos encontrar en Internet. En estos últimos experimentos usamos como métrica además de la cantidad de sesiones, térmicos económicos como utilidad y beneficio global. Con la versión, térmicos económicos como utilidad y beneficio global. Con la versión extendida de FC hemos obtenidos las mismas mejroas sobre múltiples zonas de alta demanda que las obtenidas con FC básico sobre una sola zona de alta demanda. Los resultados obtenidos nos permiten concluir que con FC el sistema percibe mayor beneficio en menor cantidad de tiempo con respecto a TSAE. Este beneficio se obtiene porque FC explota la distribución de la demanda para la propagación de cambios sin consumo adicional de recursos.

Autor: GÓMEZ SEOANE CRISTINA.
Año: 2002.
Universidad: POLITECNICA DE CATALUÑA.
Centro de realización: LLENGUATGES I SISTEMES INFORMÁTICS UNIVERSITAT POLITÉCNICA CATALUNYA.

Autor: FARRÉ TOST CARLES.
Año: 2002.
Universidad: POLITECNICA DE CATALUÑA.
Centro de realización: LLENGUATGES I SISTEMES INFORMÁTICS UNIVERSITAT POLITÉCNICA CATALUNYA.

Autor: BORRALLERAS ANDREU CRISTINA.
Año: 2002.
Universidad: POLITECNICA DE CATALUÑA.
Centro de realización: LLENGUATGES I SISTEMES INFORMÁTICS UNIVERSITAT POLITÉCNICA CATALUNYA.