LENGUAJES DE PROGRAMACION, 3

Autor: CORBAL SAN ADRIÁN JESÚS.
Año: 2001.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMÁTICA.
Centro de realización: DEPARTAMENTO DE ARQUITECTURA DE COMPUTADORES.

Autor: LUENGO DÍEZ M. CÁNDIDA.
Año: 2001.
Universidad: OVIEDO.
Centro de lectura: INFORMÁTICA .
Centro de realización: DEPARTAMENTO DE INFORMÁTICA - EDIFICIO DEPARTAMENTAL, 1 VIESQUES-GIJÓN.

Resumen: En esta tesis se describe un sistema de construcción de procesadores de lenguajes que utiliza técnicas orientadas a objetos basadas en marcos de aplicación y patrones. Para comprobar la viabilidad del sistema diseñado, se implementa un prototipo y como aplicación práctica, se desarrollan todos los procesadores de lenguajes utilizados en la implementación del propio prototipo.

Autor: MARIÑO CARBALLO JULIO.
Año: 2001.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: Los lenguajes de programación lógico-funcionales son un intento de integrar las dos ramas principales de la programación declarativa: los lenguajes lógicos y los funcionales. Durante la década de los 80 se definieron unos cuantos de estos lenguajes y, de hecho, dos de ellos con la participación de nuestro departamento: Babel y su sucesor, Curry. Sin embargo, cuando nos movemos de la formulación teórica a las realizaciones prácticas aparecen una serie de problemas. Algunos son provocados porla incompatibilidad de distintos mecanismos de ejecución adaptados de cada una de las dos partes -- por ejemplo, la evaluación perezosa necesaria para realizar la semántica no estricta en los lenguajes funcionales y las técnicas de retroceso usadas en Prolog para el tratamiento del indeterminismo y las variables lógicas. Esta tesis abarca gran parte del trabajo de investigación que he llevado a cabo en la Facultad de Informática de la Universidad Politécnica de Madrid. Esta investigación ha girado, fundamentalmente, alrededor de la optimización, basada en métodos semánticos, de la compilación de programas lógico-funcionales.

Autor: CARRO LIÑARES MANUEL.
Año: 2001.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: En esta tesis se estudian medios para solventar algunos de los problemas de la programación lógica y aproximarse en la meta de un lenguaje (o familia de lenguajes) que permitan a un tiempo tener alto rendimiento, gran expresividad, y características avanzadas. En particular se diseñan y evalúan: 1,- Mecanismos de mejora de la ejecución paralela de lenguajes lógicos. Los experimentos llevados a cabo arrojan una notable mejora para ciertas clases de programas muy comunes en la práctica. Asimismo se evalúa una herramienta destinada a averiguar la eficiencia de dichas ejecuciones paralelas en una serie de condiciones no siempre posibles en la práctica. 2,- Una serie de diseños e implementaciones de herramientas de visualización para programas lógicos secuenciales, paralelos y con restricciones. Están fundamentalmente dirigidos a ayudar al programador a detectar la fuente de determinados problemas de eficiencia y/o de corrección de un modo intuitivo, sin tener que conocer en profundidad el funcionamiento interno del sistema con el que se está trabajando. 3,- Una propuesta de ejecucción con concurrencia que, sin separarse excesivamente de la ejecución secuencial de Prolog, da al programador una libertad suficiente sobre el control de la ejecución.

Autor: ECHEGOYEN MARTÍN TOMÁS JOSÉ.
Año: 2001.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INGENIEROS DE CAMINOS.
Centro de realización: ESCUELA TÉCNICA SUPERIOR DE INGENIEROS DE CAMINOS, CANALES Y PUERTOS.

Resumen: Esta tesis se estructura en tres partes: En la primera se hace una revisión de las metodologías para definir e interpolar los datos de las superficies topográficas, con especial interés en las superficies batimétricas; en la segunda se presenta el problema de interpolación de superficies topográficas que se aborda, el desarrollo de las técnicas originales y adoptadas y su implementación (implementación en funcionamiento) a través de un lenguaje original de proceso de mallas; en la tercera parte se hace una comparación práctica de la técnica propuesta con otras técnicas en uso y se establecen las conclusiones, tando de orden teórico como práctico. En esta última parte se incluyen comentarios bibliográficos y una amplia bibliografía orientativa. La primera parte tiene tres capítulos: el primero trata de las técnicas que utilizan el mallado triangular irregular (Delaunay y mínimas distancias) para estructurar los datos y de las técnicas para interpolar cada elemento de la estructura obtenida; el segundo se centra en aquellas en las que los resultados se articulan sobre mallas rectangulares regulares, con métodos determinísticos (Shepard), estadísticos (kriging), funcionales (interpolaciones transfinitas de Coons y Rvachev) y diferenciales (ecuaciones del calor y de la placa delgada) para la transformación de los datos: en el tercer capítulo se aborda la descripción de los modelos basados en curvas y se plantea el problema de la reciprocidad entre curvas. La segunda parte también consta de tres capítulos: el capítulo cuarto, en el que se trata de los datos, estructuración y preparación para la interpolación por perfiles: el capítulo quinto, en el que se establece y describe el método propuesto de los perfiles racionales, y el capítulo sexto en el que se describe la utilización del editor gráfico específico y el lenguaje original de proceso de mallas. El lenguaje original que se presenta está diseñado ex profeso para el proceso de mallas regulares, En su desarrollo se han ido añadiendo funciones según se ha visto su interés y al mismo tiempo se han ensayado con datos reales y simulados. Las dos funciones iniciales fueron la conversión de curvas de nivel en mallas regulares y la obtención de isolíneas a partir de una malla regular. Posteriormente se fueron añadiendo otras funciones como la edición numérica, la edición gráfica, la referencia a coordenadas geográficas, las diversas técnicas de mallado de puntos de datos, interpolación por splines cúbicos, filtros de suabizado, conversiones de formato, integración de campos de gradientes y trazado de resdes de drenaje. En la última parte se reunen los tres últimos capítulos: el séptimo, en el que mediante dos casos prácticos se comparan los resultados de la interpolación con el método propuesto de perfiles racionales y con cuatro categorías diferentes de métodos de interpolación: en el octavo se exponen conclusiones sobre el trabajo en general y las comparaciones en particular y se señalan posibles líneas de desarrollo en sintonía con las conclusiones: el noveno capítulo, por último, contiene comentarios bibiliográficos sobre la documentación que se ha encontrado interesante y una bibliografía extensa de referencias que, dado lo amplio del tema, cubre una variedad de aspectos relacionados.

Autor: LOPEZ MUÑOZ FRANCISCO JAVIER.
Año: 2000.
Universidad: MALAGA.
Centro de lectura: INFORMATICA.
Centro de realización: E.T.S. INGENIERIA INFORMATICA.

Resumen: En una situación ideal los usuarios de las reces de información digital deberian poder hacer uso de un conjunto de mecanismos y procemientos electrónicos equivalentes a aquellos de los que disponen en la sociedad actual, y en los que efectivamente confían. Es decir, deberían hacer uso de mecanismos y procedimientos electrónicos confiables de autenticación, autorización, privacidad, etc. El objetivo de esta tesis ha sido dar el primer paso hacia la creación de mecanismos electrónicos cuya funcionalidad sea equiparable a la de algunos otrs instrumentos de la sociedad en los que los ciudadanos depositan una gran confianza. Debido a que históricamente la figura del notario humano(así como las de otros tipos de fedatarios públicos) ha gozado de confianza por parte de los ciudadanos y de las instituciones públicas y privadas, consideramos justificado el esfuerzo de trasladar al entorno digital, si no todas, sí el máximo de funciones posibles que actualmente recaen en el notario humano. Por lo tanto, se propone la creación de una nueva figura, el Fedatario Electónico, como el esquema que ayude a crear un entorno de confianza y que garantice la seguridad y la fiabilidad de las comunicaciones electrónicas en relación, principalmente, con los negocios a través de la red entre ciudadanos particulares, empresas y Administraciones Públicas. El uso de protocolos y funciones criptográficas resulta esencial para poder proporcionar las herramientas fundamentales con las que dotar al fedatario electrónico. Más aún, algunos de los más importantes servicios de seguridad que hacen uso de la Criptografía se basan en la utilización de una tercera entidad confiable, destacando las denominadas Autoridades de Certificación, involucradas en todos aquellos procesos vinculados a la administración de certificados digitales, la médula de los procedimientos de firma digital. Existe una relación directa entre las funciones que desarrolla una típica Autoridad de Certificación y las que ha de desarrollar el Fedatario Electrónico. Ete ha de tener un campo de acción más amplio pues ha de trabajar y tener acceso en general a cualquier tipo de documentos, mientras que las responsabilidades de las autoridades están limitadas a las claves de los usuarios del sistema. Sin embargo, las Autoridades de Certificación presentan estructuras de organización propias para dar soporte a la administración eficaz de un número elevado de certificados. El análisis de las características y funcionalidades de los diferentes modelos de esas estructuras, así como las diferentes situaciones en las que cada una de ellas es utilizada, resulta un elemento imprescindible en el adecuado desarrollado de una estructura organizativa para los fedatarios electrónicos, la Infraestructura de Notarización Electrónica.

Autor: ALBERT ALBIOL ELVIRA.
Año: 2000.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: La evaluación parcial es una técnica automática que consigue optimizar programas garantizando que su semántica se preserva. La optimización se consigue especializando los programas con respecto a partes de sus entradas (por tanto,se conoce también como especialización de programas). Esta técnica ha sido investigada en el contexto de una gran variedad de lenguajes de programación declarativos, especialmente en los paradigmas de programación funcional y lógica. Recientemente, se ha introducido un marco unificado para la evaluación parcial de lenguajes que integran características de programación lógica y funcional. Este marco se basa en el uso del estrechamiento (el mecanismo operacional estándar de los lenguajes lógico funcionales) para guiar el proceso de especialización. Sin embargo, el método basado en estrechamiento no está convenientemente equipado para poder diseñar un evaluador parcial efectivo en un lenguaje multiparadigma moderno como Curry, Escher o Toy, ya que existen muchas características de dichos lenguajes que no han sido contempladas en este marco. En la presente tesis, desarrollamos métodos y técnicas que hace factible la definición de evaluadores parciales efectivos para estos lenguajes modernos. En breve, las principales contribuciones de la tesis son: 1- La definición de un marco de evaluación parcial para programas lógico funciones con residuación, que generalizan los programas lógicos con modelos de computación concurrentes. 2- La formulación de operadores de control efectivos para manipular símbolos de función primitivos en lenguajes lógicos funcionales. 3- El uso de una representación abstracta para programas, que se caracteriza porque los programas de alto nivel se pueden traducir automáticamente a dicha representación. Esto nos permite definir un método simple y conciso para la especialización de programas que cubre todas las caracterísiticas de los lenguajes declarativos multi-paradigma. 4- El desarrollo de un evaluador parcial para programas Curry, escrito en el propio lenguaje Curry, que constituye el primer evaluador parcial puramente declarativo para un lenguaje multi-paradigma real. La efectividad de nuestro método de evaluación parcial es también crucial para promover un uso extendido de nuestra tecnología. Por ello, hemos definido también un marco formal que nos ayda a estimar la ganacia en eficiencia conseguida por el proceso de evaluación parcial.

Autor: GRAÑA GIL JORGE.
Año: 2000.
Universidad: A CORUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA.

Resumen: El objetivo del Procesamiento del lenguaje Natural es el perfecto análisis de los lenguajes humanos. Este objetivo aun esta lejos, y por ello la mayoría de los esfuerzos de la lingüística computacional se dirigen hacia tareas intermedias que no requieren un entendimiento completo. Una de ellas es la etiquetación o asignación de categorias gramaticales a las palabras. La eliminación de ambigüedades es crucial durante este proceso, aunque el interés se centra también en el tratamiento de palabras desconocidas. Un buen rendimiento en esta fase asegura la viabilidad de procesamientos posteriores. El problema de la etiquetación e aborda a partir de recursos lingüisticos (diccionarios y textos escritos), con los cuales se entrenan o ajustan los parámetros de funcionamiento de los etiquetadores. Esta línea se denomina lingüística basada en corpus. Las tecnicas tradicionales engloban metodos estocásticos (modelos de Markov, arboles de decision, modelos de máxima entropia) y basados en reglas (aprendizaje de transformaciones). El primero objetivo del trabajo es implementar una nueva herramienta de etiquetación específica para el español, y realizar una evaluación exhaustiva de todos estos modelos. El estudio es de gran interés ya en si mismo, dado que los recursos lingüisticos disponibles para el español no abundan. Sin embargo, un pequeño porcentaje de palabras mal etiquetadas es una características inherente a los etiquetadores puramente estocásticos. Por ello apoyamos su uso en combinación con información sintáctica, es decir, con técnicas de anlisis sintáctico robusto, siendo éste el segundo objetivo del trabajo. Cuando una frase es correcta, pero la gramática no es capaz de analizarla, todavía es posible considerar los subárboles de análisis parcial de los fragmentos válidos de la frase. En nuestro caso, resulta muy interesante considerar las etiquetas de las palabras de dichos subárboles como información adicional para los etiquetadores tradicionales. La estrategia consiste en combinar esas subsecuencias de etiquetas para generar varias etiquetaciones completas de la frase en cuestión, y posteriormente aplicar un filtro estadístico para elegir la secuencia global más probable.

Autor: MURILLO RODRÍGUEZ JUAN MANUEL.
Año: 2000.
Universidad: EXTREMADURA.
Centro de lectura: POLITECNICA SUPERIOR.
Centro de realización: ESCUELA POLITÉCNICA.

Resumen: En los últimos años, la necesidad de construir aplicaciones cada día más complejas, soportando mayores prestaciones y para ámbitos de explotación más amplios, junto con los avances en la tecnología de redes, han potenciado el desarrollo de aplicaciones distribuidas. En este tipo de aplicaciones, diferentes componentes software se ejecutan en distintas computadoras (posiblemente heterogéneas) e interaccionan a través de una rede. La tarea más compleja en el diseño de tales aplicaciones es la de especificar la coordianción que ha de existir entre los diferentes componentes determinando en qué orden han de ejecutarse las acciones llevadas a cabo por ellos. Con objeto de facilitar la labor del programador, la comunidad investigadora ha dedicado un gran esfuerzo en la proposicion de los denominados modelos y lenguajes de coordinación. El objetivo de un modelo de coordinación es permitir al programador la especificación de las restricciones de coordianción mediante mecanismos especialmente concebidos para ello. Los modelos y lenguajes de coordianción han de ser integrados en algún paradigma de programación para abordar la construcción de aplicaciones coordinadas. De otro lado, el paradigma de programación concurrente orientada a objetos (PCOO) ha mostrado una adaptación natural al modelado de sistemas complejos en los que un conjunto de entidades independientes interaccionan entre sí. Dicho paradigma ofrece, simultáneamente, un buen soporte para los conceptos de la programación concurrente y mecanismos adecuados para la reutilización de software. Cabría esperar entonces que el binomio constituido por los modelos de coordianción y el paradigma de PCOO (integrando los primeros en el segundo) constituyesen la herraminta perfecta para modelar sistemas complejos. Sin embargo, la realidad se ofrece muy distinta: (i) El uso del paradigma de PCOO no ha fraguado como cabría esperar. El motivo es la pérdida de reusabilidad del código debida al problema de la mezcla de los aspectos computacionales que intervienen en una aplicación. La solución a este problema se ha hallado en la codificación separada de aspectos, entre los que habría de contarse al de coordianción. (ii) Los modelos de coordinación debería no frecerse como una herramienta adecuada para dar soprote a la separación del aspecto de coordinación en el ámbito de la PCOO; sin embargo, tampoco es así: algunos de los modelos existentes sólos e centran en proprocionar mecanismos y lenguajes para especificar de forma cómoda las restricciones de coordinación sin abordar la separación de este aspecto; los pocos que abordan la separación lo hacen mediante mecanismos que no se integran adecuadamente en el paradigma de PCOO. Con estos antecedentes, en la tesis doctoral, se realiza un análisis de los modelos de coordinación actuales presentando una clasificación original de éstos atendiendo al grado de reutilización software que proprocionan. Como conclusión del análisis se presenta una serie de requisitos para obtener una integración satisfactoria de un modelo de coordinacion en el paradigma de PCOO. Tales requisitos pueden resumirse en separación, es decir, que las restriciones de coordinación se codifiquen en entidades diferentes de aquellas que han de coordinarse; transparencia, con la que se quiere significar que los objetos coordiandos no han de realizar ninguna acción especial para ello, y poder de expresividad, encaminado a facilitar que cualquier problema de coordinación sea expresable de forma natural y sencilla sin tener que recurrir a soluciones arificiosas. Ninguno de los modelos de coordianción actuales satisface estos requisitos simultáneamente. Observando este problema, se propone un nuevo modelo de coordianción, Coordianted Roels, que permite construir las aplicaciones distinguiendo dos tipos de objetos activos, los coordiandos y los coordiandores cuya misión es monitorizar los objetos coordiandos. Basados en el mecanismo original de Protocolos de Notificación de Eventos, Coordianted Roles no sólo satisface los requisitos simultáneamente. Observando este problema, se propone un nuevo modelo de coordinación, Coordiante Roles, que permite construir las aplicaciónes distinguiendo dos tipos de objetos activos, los coordiandos y los coordiandores cuya misión es monitorizar los objetos coordiandos. Basados en el mecanismo original de Protocolos de Notificación de Eventos, Coordiante Doles no sólo satisface los requisitos establecidos sino que, además, proporciona otras características tales como reusabilidad, extensibildidad, componibilidad y cambios dinámicos de las restricicones de coordianción. Estas última hace posible construir aplicaciones coordiandas con un alto grado de adaptabilidad incluso en tiempo de ejecución.

Autor: CANAL VELASCO JOSE CARLOS.
Año: 2000.
Universidad: MALAGA.
Centro de lectura: INFORMATICA.
Centro de realización: E.T.S. DE INGENIERIA INFORMATICA.

Resumen: A medida que aumenta la complejidad de los sistemas de software surgen aspectos de su desarrollo que hasta entonces no se habian tenido en cuenta, al menos de forma explicita. La Ingenieria del Software ha ido respondiendo a estas necesidades con el desarrollo de nuevos modelos, notaciones y metodos. Dentro de esta tendencia se encuadra el creciente interes por los aspectos arquitectonicos del software, referidos a todo lo relativo a la estructura de alto nivel de los sistemas; su organización en subsistemas y la relacion entre estos, la construccion de aplicaciones vista como una actividad composicional en la que se reutilizan elementos creados por terceros; el desarrollo de familiares de productos caracterizadas por presentar una arquitectura comun; el mantenimiento y la evolucion entendidos como sustitucion de componentes dentro de un marco arquitectonico, etc. En efecto, un aspecto critico a la hora de desarrollar sistemas de software complejos es el diseño de su arquitectura, representada como un conjunto de elementos computacionales y de datos interrelacionados de un modo determinado. Desde este punto de vista se ha caracterizado recientemente la Arquitectura del Software como un campo especifico de estudio, centrado en el nivel del diseño en que se describen las propiedades estructurales del sistema que no pueden ser tratadas adecuadamente en los modulos o componentes que lo forman. Si bien el campo de estudio de la Arquitectura del Software no es algo nuevo, tradicionalmente las arquitecturas han sido desarrolladas de forma implicita. La descripción de los aspectos arquitectonicos ha estado limitada al uso de ciertas expresiones, como arquitectura cliente/servidor o arquitectura en capas, acompañadas de diagramas informales. Estas descripciones carecen de un significado preciso, lo que limita de forma drastica su utilidad. Existe,por tanto, una clara necesidad de notaciones de alto nivel especificamente orientadas a la descripcion de la arquitectura de los sistemas de software. En los ultimos años se han ido proponiendo toda una serie de lenguajes de primera teneracion para la descripcion arquitectonica. Aunque la mayoria de ellos tienen carácter experimental, son buenos ejemplos de a busqueda de las estructuras linguisticas necesarias para describir la arquitectura del software. Este es el contexto en el que se enmarca esta tesis. Su principal aportación es la definición de LEDA, un lenguaje de especificacion para la descripción y validación de propiedades arquitectonicas del software. Entre sus caracteristicas más relevantes podemos destacar que se trata de una notacion composicional, dotada deuna base formal, el calculo , que permite la descripcion y analisis de arquitecturas dinamicas, es decir, aquellas que presentan una topologia de comunicación cambiante. Además, el lenguaje dispone de mecanismos que facilitan la reutilizacion y refinamiento tanto de componentes como de arquitecturas, encuadrado todo ello dentro de un proceso de desarrollo de software que es iteractivo e incremental.

Autor: MARTINEZ HERNANDEZ ANTONIO.
Año: 2000.
Universidad: CASTILLA-LA MANCHA.
Centro de lectura: INFORMATICA.
Centro de realización: ESCUELA SUPERIOR DE INFORMATICA.

Resumen: Los entornos de cuarta generacion sustituyen cada vez mas a los lenguajes de tercera generacion como plataforma de desarrollo habitual de sistemas informaticos, por lo que se hace imprescindible controlar su complejidad y mantenibilidad (facilidad de mantenimiento). Un aspecto importante al desarrollar aplicaciones software es poder predecir y controlar el tiempo de mantenimento de los productos software. Una forma de realizar este control es mediante la utilizacion de medidas especificas para los entornos de la cuarta generacion, campo que ha recibido poca atencion dentro de la ingenieria del software, que se ha centrado principalmente en metricas para lenguajes de tercera generacion (p.ej. COBOL) y lenguajes orientados a objetos (p.ej.C++). En esta tesis se define un conjunto de medidas para asegurar la mantenibilidad de los entornos de cuarta generacion que incluye: 1. Identificacion de distintos sublenguajes, que componen los entornos de cuarta generacion. 2. Propuesta de medidas especificas para estos sublenguajes. 3. Validacion teorica de las medidas propuestas, que se realiza tanto en un marco basado en aproximaciones basadas en propiedades (Briand et al., 1996), como en un marco basado en la teoria de medida (Zuse, 19989. 4. Validacion empirica mediante caso experimentales y casos de estudios de las medidas propuestas. 5. Propuesta de un modelo de prediccion para el esfuerzo de mantenimiento. 6. Construccion de herramientas para recoger de forma automatica las medidas definidas para los entornos de cuarta generacion. Esta tesis se ha desarrollado en el marco de los proyectos de investigacion MANTICA(CICYT 1FD97-0168) Y MANTIS (CICYT 1FD97-1608)y sus propuestas se han validado en entornos reales mediante la colaboracion de la excma. Diputacion provincial de Ciudad Real. Todo ello se realiza siguiendo un metodo de trabajo, definido dentro de la tesis, que se basa en el metodo experimental de investigacion cientifica.

Autor: SOLER CASTILLO ENRIQUE.
Año: 2000.
Universidad: MALAGA.
Centro de lectura: INFORMÁTICA .
Centro de realización: E.T.S.I. INFORMÁTICA.

Resumen: El propósito de esta tesis es presentar un lenguaje de coordinación transportable y eficiente para la resolución de problemas numéricos estructurados por bloques. Los aspectos relativos a la comunicación y sincronización entre los distintos subdominios que forman el dominio global de la aplicación se separan de la codificación del método numérico, incrementándose así la reusabildiad de ambas partes, la de coordinación y la computacional. Puesto que la causa más importante de comunicación entre los subdominios son las fronteras entre estos, se ha denominado a este lenguaje BCL (border-based Coordination Language). Este lenguaje también permite la integración del paralelismo de datos y tareas, de modo que en la parte de coordinación se describen, junto con los distintos dominios, las distribuciones de estos dominios entre los distintos procesadores pertenecientes a cada tarea que los va a resolver. Estas tareas son codificadas con un lenguaje que permite el paralelismo de datos, HPF (High Performance Fortran), de forma que se incrementa notablemente la eficiencia y la escalabilidad de la solución. Aunque BCL está diseñado para la solución de problemas de descomposición de dominios y estructurados por bloques, otros problemas científicos que se pueden beneficiar de la integración del paralelismo de datos y tareas y cuyo patrón de comunicación está basado en el intercambio de matrices también se pueden plantear con BCL. Sin embargo, este tipo de problemas puede ser expresado mejor mediante el uso de patrones o esqueletos. Por esta razón, se han desarrollado una serie de construcciones de alto nivel que permiten la definición de forma declarativa de un conjunto de tareas HPF que trabajan de forma coordinada. Además, se ofrece la posibilidad de utilizar plantillas de implementación para facilitar la programación de la parte de computación de la aplicación. A este conjunto de construcciones se le ha dado el nombre de DIP (Domain Interaction Patterns) para diferenciarlo del resto de BCL. La eficiencia y expresividad del lenguaje se demuestra mediante la codificación de diversas aplicaciones científicas como la resolución de la ecuación de Laplace en dos dimensiones, la transformada rápida de Fourier en dos y tres dimensiones y la resolución de ecuaciones de reacción-difusión en dominios bidimensionales irregulares. Mención especial hay de dedicar a esta última ya que, utilizando BCL, se han hecho gran cantidad de pruebas para obtener el comportamiento de distintos métodos de descomposición de dominios con un sistema de dos ecuaciones no lineales de reacción-difusión. Se han utilizado dominios irregulares con esquinas reentrantes y se ha enfocado el problema desde dos puntos de vista distintos, el de la exactitud de los resultados y el de la eficiencia de la solución.

Autor: VALIÑO GARCÍA JUAN.
Año: 2000.
Universidad: ZARAGOZA.
Centro de lectura: CENTRO POLITÉCNICO SUPERIOR.
Centro de realización: CENTRO POLITÉCNICO SUPERIOR.

Resumen: Una de las técnicas más prometedoras para la implantación de Sistemas de Información consiste en capacitar al sistema para que pueda gestionar su metainformación, es decir, la información sobre su propia estructura y comportamiento. En este trabajo se presenta una aproximación para dar soporte a la metainformación en el lenguaje C++ mediante la creación de estructuras que permiten asociar información a los diferentes elementos léxicos del lenguaje. La aproximación presentada tiene muy presente aspectos de Ingeniería del Software y de orientación a objetos. En este sentido, la solución propuesta permite acercar el modelo de objetos al código generado por el programador. En concreto, la infraestructura de metainformación ha permitido implementar el concepto de asociación (presente en los modelos de objetos) como elemento directo del lenguaje. Las soluciones hacen uso de las plantillas de C++. De este modo, el entorno construido circula dentro de los parámetros marcados por la filosofía del lenguaje: comprobación estáticos y eficiencia. La localización de soluciones dentro del propio lenguaje ha estado tener que crear una capa por encima que haría más complicado el mantenimiento y desarrollo de los programas.

Autor: GOMEZ ORTEGA JAIME.
Año: 1999.
Universidad: ALICANTE.
Centro de lectura: ESCUELA POLITECNICA SUPERIOR .
Centro de realización: ESCUELA POLITECNICA SUPERIOR.

Resumen: Los métodos de modelado conceptual existentes en la actualidad deben proporcionar marcos de trabajo formales que permitan definir el proceso de desarrollo de software con el propósito de migrar desde la especificación de requisitios a la implementación de forma automática. Para alcanzar este objetivo, en esta tesis se aborda el problema del desarrollo de aplicaciones en el contexto de un método de producción automática de software basado en el paradigma orientado al objeto. El método proporciona una notación gráfica basada estrictamente en un lenguaje formal de especificación que determina los constructores de modelado necesarios para obtener una especificación de requisitos. Partiendo de esa especificación de requisitos, esta tesis propone un modelo que establece una estrategia concreta para reificar cada constructor de modelado usado a nivel del espacio del problema, en su correspondiente representación software sobre el espacio de la solución. La definición de una arquitectura distribuida basada en componentes sobre la que se soporta el modelo, proporciona el contexto necesario para generar de forma automática componentes software. Estos componentes adecuadamente combinados constituyen una aplicación software que preserva la funcionalidad capturada en la especificación de requisitos y es ejecutable sobre entornos internet/intranet distribuidos.

Autor: GALVEZ ROJAS SERGIO.
Año: 1999.
Universidad: MALAGA.
Centro de lectura: INFORMATICA .
Centro de realización: E.T.S.I. INFORMATICA.

Resumen: El trabajo aporta una solución al problema de la correcta localización de requerimientos para el desarrollo de la base de datos de un S.I., mediante la participación activa del usuario en su análisis y diseño. Para ello, se ha elaborado la herramienta CBD(Cooperación en bases de datos) y se ha definido su filosofía de funcionamiento. Así mismo se desarrolla un modelo semántico de bases de datos basado en formularios que da soporte formal a la herramienta, y establece los conceptos necesarios para abordar la implementación de un sistema gestor de bases de datos de formularios, que permite el almacenamiento de datos y metadatos. La herramienta, al permitir almacenar datos, puede considerarse como un generador de prototipos donde, a diferencia de toras, se invierte el proceso de creación de los mismos: la creación de formularios produce automáticamente un esquema de datos. Se definen los lenguajes de comunicación entre CBD y el sistema gestor.

Autor: MOLINA BRAVO JUAN MIGUEL.
Año: 1999.
Universidad: MALAGA.
Centro de lectura: INFORMATICA.
Centro de realización: E.T.S.I INFORMATICA.

Resumen: Esta tesis seocupa de una propuesta de lógica de reescritura condicional basada en el uso de constructoras presentada recientemente por J.C. González Moreno,M.T, Hortalá Gonzalez, F. López Fraguas y M. Rodriguez Artalejo con la intención de que sirva como base para la programación lógico-funcional del primer orden con funciones indeterministas y objetos infinitos. Las aportaciones que se hacen a esta propuesta consisten en un estudio detallado de la estructura de los conjuntos de modelos que se utilizan y la definición de un sistema de módulos para la estructuración de los programas en cicha lógica. En concreto, se demuestra la existencia de modelos continuos y se estudian los modelos de términos caracterizándolos como puntos prefijos de un operador de consecuencias inmediatas. También se define una noción simple de módulo como programa abierto junto con un conjunto reducido de operaciones(unión, renombramiento, eliminación de signatura y clausura), descritas a nivel sintáctico, que permiten expresar nociones más coplejas de módulo así como relaciones típicas tales como la importación, la instanciación o la herencia con sobreescritura y una relación nueva: la parametrización. Este estudio de modularidad se acompaña de un estudio de semánticas posibles para el sistema de módulos con las operaciones básicas y con una función de observación adecuada, determinando finalmente una semántica composicional y completamente abstracta.

Autor: SANCHEZ ALVAREZ DANIEL.
Año: 1999.
Universidad: MURCIA.
Centro de lectura: INFORMATICA.
Centro de realización: UNIVERSIDAD POLITECNICA DE VALENCIA.

Resumen: La Tesis tiene como objetivo estudiar las bases que permitan definir, de manera formal, la semántica de lenguajes que manejen datos borrosos. Se ha revisado el lambda cálculo para que admita que cada uno de sus términos está etiquetado por un elemento de un cierto conjunto D. Se han estudiado las propiedades mínimas que debe cumplir este conjunto a fin de dar cuenta adecuadamente de: la sustitución, los distintos axiomas y la reducción del lambda cálculo. A continuación se adecua el conjunto D para que la introducción de los sistemas numéricos y, en general, las operaciones definidas externamente tengan las características que son deseables en nuestro cálculo. El resultado final al que se ha llegado es que si tomamos D=[0,…,1],entonces será suficiente que en D tengamos definido algún operador triangular. Utilizando estos resultados como soporte se expone la semántica denotacional de un lenguaje simple. Tiene dos aspectos que lo individualizan: 1) Utilizar los operadores triangulares a la hora de hacer las distintas evaluaciones y 2) El ser multivaluado. La multivaluación, requerida por el carácter borroso de los datos, no es posible manejarla en el lambda cálculo, por lo que se introduce de forma explícita, y dá lugar a que se puedan considerar distintos ordenamientos. Se amplia el lenguaje anterior por medio de :1) La introducción de abstracciones, permitiendo la redefinición de los operadores triangulares y los grados de borrosidad con los que se trabaja de distintas formas y 2)Se esboza la aplicabilidad del paradigma de la orientación a objetos a las variables lingüisticas.

Autor: HERNANDEZ LOPEZ DAVID.
Año: 1999.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INGENIEROS DE CAMINOS.
Centro de realización: DEPTO. INGENIERIA CARTOGRAFICA, GEODESIA Y FOTOGRAMETRIA.

Resumen: El objeto de la tesis ha consistido en el estudio de la aplicación de teoría de grafos y matrices dispersas a la compensación de grandes redes geodésicas. Este estudio se ha concretado en el desarrollo de software, implementado bajo la tecnica de programación orientada a objetos, para validar las diferentes conclusiones alcanzadas. Las conclusiones alcanzadas en cuanto a la aplicación de la teoria de grafos han sido que debe aplicarse con dos objetivos distintos. El primer objetivo consiste en el posible fraccionamiento del problema en unidades independientes a partir del analisis del grafo de la red. El segundo objetivo consiste en la busqueda de la reordenación optima de las incógnitas de cara a la reducción del volumen de almacenamiento de ciertas matrices dispersas que aparecen en la resolución del problema y a la aceleración de los algoritmos que resuelven los métodos numéricos tratando dichas matrices. Las conclusiones alcanzadas en cuanto a las matrices dispersas es que este tratamiento matricial, combinado adecuadamente con la aplicación de teoria de grafos, no solo permite resolver problemas de dimensiones tales que no serían abordables por las técnicas habituales, sino que además se alcanza una gran velocidad en la resolución del problema. La contrastación de las conclusiones alcanzadas se ha realizado a partir la aplicación del software implementado a una red geodésica de ejemplo que reúne las características adecuadas para ello.

Autor: ALONSO PARDO MIGUEL A..
Año: 1999.
Universidad: A CORUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA.

Resumen: En la primera parte de la memoria se presenta el problema del analisis sintactico de los lenguajes de adjuncion de arboles. En la segunda parte se definen diferentes modelos de automata para dichos lenguajes y se proponen tecnicas que permiten su ejecucion eficiente. En particular, se tratan los automatas a pila embebidas, las automatas logicos a pila restringidos, los automatas lineales de indices y las automatas con 2 pilas. Se definen esquemas de compilacion para todos ellos y tecnicas de tabulacion para su ejecucion en tiempo polinomial.

Autor: ZARAZAGA SORIA F. JAVIER.
Año: 1999.
Universidad: ZARAGOZA.
Centro de lectura: CENTRO POLITÉCNICO SUPERIOR.
Centro de realización: CENTRO POLITÉCNICO SUPERIOR.

Resumen: La Tesis aborda el estudio de la potenciación de la reutilización de código fuente escrito en C++. Para ello, plantea el uso de metainformación del modelo de objetos integrándola en el propio código con un doble objetivo. Por una parte se trata de buscar una centralización y unificación del conocimiento mediante su estructuración y organización. Esto ofrece la disponibilidad de esta información descriptiva del modelo de objetos en el código fuente a atrvés de unas estructuras homogéneas para cualquier clase o asociación del mismo. Ello ha permitido el desarrollo de componentes especializados en labores tales como persistencia, construcción de la interfaz de usuario o comunicación entre procesos, capaces de trabajar de modo genérico con cualquier elemento del modelo de objetos. Con ello se consiguen dos niveles de reutilizacion: de un lado se obtiene una reutilización a nivel de aplicación al poder hacer uso de los elementos de metainformación en más de un lugar, por otro, se logra una reutilización entre distintas aplicaciones al hacer uso de los componentes genéricos. Para poder conseguir estos objetivos, se ha hecho uso de las tecnologías de frames provenientes del mundo de la Inteligencia Artificial, y técnicas reflexivas del lenguaje concretadas en el patrón arquitectural Reflection. En el trabajo desarrollado se constata que la metainformación está ya presente en los modelos de objetos, por lo que no es necesario acudir a ningún elemento extraño que la proporcione. Finalmente, la viabilidad de la propuesta presentada se ha mostrado mediante su utilización en el desarrollo de una aplicación industrial de tamaño medio.