TEORIA DE LA PROGRAMACION, 3

Autor: ALMENDROS JIMENEZ JESUS.
Año: 1998.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: MATEMATICAS.

Resumen: Presentamos un lenguaje lógico-funcional con subtipos en el que las reglas de programa consisten en reglas de reescritura bien tipificadas condicionales basadas en constructoras donde las condiciones pueden contener ecuaciones y condiciones de tipos. Para este lenguaje damos diferentes caracterizaciones semánticas, primero mediante una lógica de reescritura tipificada, que permite probar la validez ecuaciones y condiciones de tipos respecto a un programa. Unido a este, definimos una semántica operacional basada en estrechamiento perezoso y que combina la unificación perezosa con la resolución de ecuaciones, la comprobación de tipos para expresiones y la resolución de subtipos y probamos que la semántica operacional es correcta y completa respecto a la lógica de reescritura. Por otro lado, estudiamos la semántica denotacional y declarativa del lenguaje, a través del estudio de los modelos de Scott de un programa. Probamos que existe un modelo libremente generado en la categoría de modelos de un programa que es punto fijo de un operador de consecuencias inmediatas definido a partir del programa, y probamos que la semántica denotacional es correcta y completa con respecto a la lógica de reescritura. Además describimos la implementación del lenguaje basada en traducir los programas a Prolog, en la que se describe como el uso de los tipos permite la poda del espacio de búsqueda de soluciones de un objetivo. Como parte de la implementación, estudiamos el análisis de tipos en tiempo de compilación, proporcionando mecanismos de inferencia y comprobación de tipos. Finalmente estudiamos cómo extender el lenguaje con funciones de orden superior.

Autor: ARENAS SANCHEZ PURIFICACION.
Año: 1998.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: MATEMATICAS.

Resumen: El objetivo principal de esta tesis es introducir constructoras de datos algebraicas y restricciones dentro de la programación lógico funcional perezosa. Por constructoras de datos algebraicas entendemos constructoras de datos cuyo comportamiento está definido por un conjunto finito de axiomas ecuacionales. Presentamos un marco general para la programación lógico funcional perezosa que permite utilizar cualesquiera constructoras algebraicas gobernadas por axiomas ecuacionales fuertemente regulares (i.e., ambos lados de la ecuación contienen las mismas variables y un símbolo de constructora en cabeza), tipos polimórficos, igualdad estricta y funciones indeterministas. El marco resultante tiene una buena fundamentación teórica, tanto desde un punto de vista declarativo como operacional. Con respecto a la semántica declarativa, cualquier programa P, cuyas constructoras de datos estén gobernadas por un conjunto finito C de axiomas fuertemente regulares y bien tipificados, tiene modelos libres. Operacionalmente, hemos desarrollado un cálculo de resolución de objetivos que combina el estrechamiento perezoso con la unificación módulo las ecuaciones contenidas en C. El mecanismo operacional resultante es correcto y completo con respecto a la semántica declarativa. Como extensión natural del marco general (que sólo incorpora la restricción de igualdad) hemos investigado un lenguaje, denominado SETA, que permite manipular números reales, multiconjuntos (como única constructora algebraica), constructoras libres y restricciones. Más concretamente, SETA incorpora restricciones primitivas sobre números reales (al estilo del lenguaje CLP(R), de igualdad y desigualdad entre expresiones, y de pertenencia y no pertenencia de un elemento a un multiconjunto. Hemos demostrado que cualquier programa SETA tiene modelos libres gracias, en particular, a que el axioma de conmutatividad que rige el comportamiento de la constructora de multiconjuntos es fuertemente regular y está bien tipificado. El mecanismo operacional de SETA está basado en un cálculo de estrechamiento que combina, además del estrechamiento perezoso con la unificación módulo el axioma de conmutatividad para los multiconjuntos, la resolución de restricciones. El cálculo de estrechamiento resultante es correcto y completo con respecto a la semántica declarativa del lenguaje. Una implementación de SETA basada en una traducción de los programas a Prolog también ha sido investigada. La implementación en cuestión pone de manifiesto la utilidad de almacenar información sobre las cardinalidades de los multiconjuntos en su representación Prolog. Esto ayuda a evitar cómputos infinitos en presencia de funciones perezosas.

Autor: SANDE GONZALEZ FRANCISCO DE.
Año: 1998.
Universidad: LA LAGUNA.
Centro de lectura: INFORMATICA.

Resumen: En esta Memoria de tesis se propone el Modelo de Computación Colectiva, un modelo que permite la traslación eficiente de algoritmos con paralelismo de datos anidados sobre arquitecturas paralelas reales. El modelo viene caracterizado por una tripleta (M. Div. Col). Donde M representa la plataforma paralela, Div es el conjunto de funciones de división y Col el conjunto de funciones colectivas. Una función se dice colectiva cuando es realizada por todos los procesadores del conjunto actual. Los conjuntos de procesadores pueden ser divididos utilizando las funciones de Div. En el trabajo se hace una propuesta para una implementación eficiente de los procesos de división. La idea subyacente a la propuesta es que cada uno de los procesadores de uno de los conjuntos producto de la escisión mantiene una relación con uno (o más) de los procesadores en los otros subconjuntos. Esta relación determina las comunicaciones de los resultados producto de la tarea realizada por el conjunto al que el procesador pertenece. Esta estructura de división da lugar a patrones de comunicaciones que se asemejan a los de un hipercubo. La dimensión viene determinada por el número de divisiones demandadas mientras que la aricidad en cada dimensión es igual al número de subconjuntos solicitados. A semejanza de lo que ocurre en un hipercubo k-ario convencional, una dimensión divide al conjunto en k subconjuntos comunicados a través de la dimensión. Sin embargo, los subconjuntos opuestos según una dimensión no tienen porqué tener el mismo cardinal. A estas estructuras resultantes se las ha denominado Hipercubos Dinámicos. En el trabajo se presenta una clasificación de problemas paralelos en función de las características de los datos de entrada y de salida de los mismos con respecto a la visión que de ellos tienen los procesadores de la máquina. La nomenclatura introducida se utiliza pra caracterizar los problemas que se pesentan en la memoria. Se aportan ejemplos de algoritmos tanto del tipo de los que se han denominado de Computación Colectiva como de Computación Colectiva Común. Este último tipo de algoritmos resuelven un tipo concreto de problemas según la clasificación introducida. Para ambos tipos de algoritmos se estudian diferentes formas de introducir equilibrado de la carga de trabajo y los resultados que produce cada una de ellas. Se presenta también una herramienta, La Laguna C, que representa una implementación concreta de las ideas subyacentes al Modelo de Computación Colectiva y se exponen los resultados computacionales obtenidos para varios algoritmos en diferentes arquitecturas.

Autor: SÁNCHEZ FIGUEROA FERNANDO.
Año: 1998.
Universidad: EXTREMADURA.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: ESCUELA POLITÉCNICA.

Resumen: De la unión de los paradigmas de programación concurrente orientada a objetos (PCOO). Este paradigma intenta aglutinar las características de sus predecesores. Por un lado trata de explotar al máximo la reutilización de código que caracteriza a la programación orientada a objetos(POO) y por otro obtener un alto poder de expresividad no sólo para optimizar el rendimiento en tiempo de ejecución de las aplicaciones sino también para resolver problemas de naturaleza eminentemente concurrente difícilmente abordables por lenguajes de tipo secuencial. Sin embargo, y a pesar del considerable número de trabajos que hay al respecto, este paradigma todavía no se ha encontrado su madurez debido fundamentalmente a las interferencias que se producen entre los mecanismos de reutilización y los de expresión de la concurrencia. Estas interferencias, cuyo máximo exponente es el problema de la anomalía en la herencia, minimizan las ventajas que debiera proporcionar este nuevo paradigma a la vez que dificultan enormemente el mantenimiento y adaptabilidad de las aplicaciones desarrolladas. Aunque muchos han sido los intentos para minimizar estos problemas, actualmente los lenguajes concurrentes orientados a objetos (LCOO) no proporcionan suficiente soporte para el desarrollo de software verdaderamente adaptable debido a que i) los diferentes aspectos computacionales que aparecen en estos sistemas, principalmente sincronización y comportamiento, están mezclados en el mismo componente, o bien ii) si están convenientemente separados en diferentes componentes, una vez que estos componentes son mezclados para su ejecución. Sin embargo, esta característica se ha revelado como muy importante, sobre todo en sistema de control. Conforme a esto, en esta memoria se establecen unos requisitos originales que ha de cumplir cualquier LCOO para obtener un alto grado de adaptabilidad en las aplicaciones desarrolladas por los LCOO a través de una clara y consistente separación de los aspectos de sincronización y de comportamiento. El modelo permite especificar el código de comportamiento en un lenguaje estándar como puede ser Java, a la vez que proporciona otros dos lenguajes, uno para la especificación de la sincronización en componenentes independientes(SLAS) y otro para la especificación de las reglas de composición entre los aspectos de sincronización y comportamiento (CLAS). Este lenguaje de composición permite a las políticas de sincronización ser añadidas, reemplazadas o reconfiguradas en tiempo de ejecución. Este hecho se denomina adaptabilidad dinámica y constituye una de las principales aportaciones del modelo propuesto. Esta adptabilidad en tiempo de ejecución se consigue aunque el objeto no haya sido diseñado para tener en cuanta tales adaptaciones e incluso aunque las políticas añadidas en tiempo de ejecución no haya sido diseñado para tener en cuenta tales adaptaciones e incluso aunque las políticas añadidas en tiempo de ejecución no hayan sido diseñadas cuando el programa se lance a ejecución. Las técnicas aquí presentandas han sido satisfactoriamente integradas en Java y pueden ser fácilmente aplicadas a otros lenguajes. Si bien el modelo fue ideado inicialmente para tratar con el aspecto de sincronización, tal y como se demuestra a lo largo de la memoria, los resultados obtenidos se generalizan para contemplar otros aspectos tales como estado interno de un objeto, control de acceso o múltiples vistas, distribución, etc.

Autor: ALVAREZ GUTIERREZ DARIO.
Año: 1997.
Universidad: OVIEDO.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: DEPARTAMENTO: INFORMATICA PROGRAMA DE DOCTORADO: LENGUAJES Y SISTEMAS INFORMATICOS.

Resumen: La adopción del paradigma de la orientación a objetos no se produce de manera integral dentro de todos los componentes de un sistema de computación. Existen lenguajes, bases de datos, interfaces de usuario y otros elementos que utilizan la orientación a objetos que deben cambiar a otro paradigma para interactuar con otros elementos del sistema como el sistema operativo. Incluso los modelos de objetos que usan son diferentes. Se produce un serio problema de desadaptación de impedancias e interoperabilidad debido a los cambios de paradigma y/o conversiones de objetos que se realizan dependiendo del elemento del sistema con el que se trabaja. En los sistemas convencionales, no orientados a objetos, se intentan aliviar estos problemas de manera parcial y con soluciones específicas mediante la introducción de capas de adaptación. Sin solucionar la problemática general, estas capas de hecho introducen complejidad y problemas adicionales en el sistema. Otra aproximación más interesante, que es la que se investiga en esta tesis, es crear un sistema que ofrezca un soporte directo y común para el paradigma de la orientación a objetos, para crear un sistema integral orientado a objetos. En este sistema todos los elementos, interfaces de usuario, aplicaciones, lenguajes, bases de datos, incluso el sistema operativo comparten el mismo paradigma orientado a objetos. Para demostrar las ventajas de esta aproximación, se describe una arquitectura software de referencia para construir un sistema integral, denominado Oviedo 3, que se usará como plataforma de investigación y docencia en tecnologías orientadas a objetos. Se muestran ejemplos de sus ventajas, como la flexibilidad y cómo se pueden aplicar individualmente propiedades del sistema a otros sistemas. Los elementos más importantes son una máquina abstracta orientada a objetos con arquitectura reflectiva que proporciona portabilidad y el soporte del modelo de objetos para el sistema y un sistema operativo que extiende la máquina dotando a los objetos de manera transparente con las propiedades de seguridad, persistencia, concurrencia y distribución. La viabilidad de la arquitectura se comprueba mediante la implementación de un prototipo de la máquina abstracta denominada Carbayonia. Además, se estudia en más profundidad la propiedad de la persistencia de sistema operativo, desarrollando un diseño concreto del sistema de persistencia como expresión de la máquina abstracta, e implementando un prototipo del mismo. En el sistema integral resultante de esta arquitectura se pueden aprovechar en todas las partes del sistema las ventajas de la orientación a objetos, logrando un entorno de computación uniforme moderno, más flexible, coherente, intuitivo y fácil de usar.

Autor: BATALLER MASCARELL JORDI.
Año: 1997.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: DE SISTEMAS INFORMATICOS Y COMPUTACION PROGRAMA DE DOCTORADO: COMPUTACION PARALELA Y DISTRIBUIDA.

Autor: GALLARDO MELGAREJO M. MAR.
Año: 1997.
Universidad: MALAGA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LENGUAJES Y CIENCIAS DE LA COMPUTACION PROGRAMA DE DOCTORADO: TECNOLOGIAS DE LA INFORMACION Y LAS COMUNICACIONES.

Resumen: En la memoria se muestran distintas aplicaciones de la tecnica de interpretación abstracta para el análisis estático de los lenguajes lógicos concurrentes. El objetivo fundamental de los análisis es deducir información sobre la granularidad de los programas lógicos concurrentes para que sea posible realizar ejecuciones paralelas eficientes de estos programas, incluso sobre sistemas débilmente acoplados. Con esta idea se han desarrollado tres análisis: de modo, de tipo y de las relaciones de tamaño cuya corrección se ha probado utilizando técnicas propias del método abstracto. De forma complementaria, a partir del método inductivo utilizado para demostrar la terminación del análisis de las relaciones de tamaño, se ha estudiado la relación entre las técnicas de verificación de programas e interpretación abstracta. Asímismo, el análisis de tipo se ha utilizado para analizar de forma estática el bloque en los lenguajes lógicos concurrentes.

Autor: NAVARRO PRIETO RAQUEL.
Año: 1997.
Universidad: GRANADA.
Centro de lectura: PSICOLOGIA.
Centro de realización: DEPARTAMENTO: PSICOLOGIA EXPERIMENTAL Y FISIOL. DEL COMPORTAM. PROGRAMA DE DOCTORADO: PSICOLOGIA EXPERIMENTAL Y NEUROCIENCIAS DEL COMPORTAMIENTO..

Resumen: El objetivo de este trabajo experimental es estudiar el papel de las imágenes en la comprensión de textos. Para alcanzar este objetivo se han conectado los principales resultados y metodología de la investigación en psicología de la programación y del procesamiento de imágenes. Basados en esta investigación la hipótesis que guía el trabajo es que los lenguajes con imágenes permiten la construcción de un modelo mental basado en las relaciones de flujo de datos en un programa de ordenador con mayor rapidez que los lenguajes de texto. Para probar esta hipótesis se ha realizado un experimento en el que se midieron las representaciones mentales de programadores de C y de hojas de cálculo en diversas condiciones de comprensión de programas. Los resultados muestran evidencia a favor de que los programadores de hojas de cálculo desarrollan representaciones mentales basadas en el flujo de datos en todas las situaciones, mientras que los programadores de C crearon representaciones basadas en el flujo de control.

Autor: PALASI LALLANA VICENT RAMON.
Año: 1996.
Universidad: JAUME I DE CASTELLON.
Centro de lectura: TECNOLOGIA Y CIENCIAS EXPERIMENTALES.
Centro de realización: DEPARTAMENTO: INFORMATICA PROGRAMA DE DOCTORADO: 1302 "METODOS INFORMATICOS AVANZADOS".

Resumen: SE PRESENTA UN METODO DE VERIFICACION AUTOMATICA LLAMADO ALICE (ALGEBRAIC INFERENCE OF THE CORRECTNESS OF ENVIRONMENTS). DADO UN PROGRAMA P Y UNA ESPECIFICACION ALGEBRAICA SP1, ALICE DETERMINA SI P ES CORRECTO RESPECTO A SP1. PARA HACER ESTO, ALICE CONSTRUYE PRIMERO UNA ESPECIFICACION ALGEBRAICA SP2 QUE ES EQUIVALENTE (ES DECIR, TIENE LA MISMA SEMANTICA) A P. ASI, DETERMINAR LA CORRECCION DE P RESPECTO A SP1 SE REDUCE A COMPROBAR LA EQUIVALENCIA DE DOS ESPECIFICACIONES SP1 Y SP2, SEGUN UNA NUEVA NOCION DE EQUIVALENCIA DEFINIDA EN LA TESIS. A PARTIR DE SP1 Y SP2, ALICE CONSTRUYE UNA ESPECIFICACION SP3 Y UN CONJUNTO I DE TEOREMAS INDUCTIVOS DE FORMA QUE DEMOSTRAR LA EQUIVALENCIA DE SP1 Y SP2 SE REDUCE A DEMOSTRAR I EN EL ALGEBRA INICIAL DE SP3. DE ESTA FORMA, ALICE DETERMINA LA CORRECCION DE P RESPECTO A SP1 COMPROBANDO (CON UN DEMOSTRADOR DE TEOREMAS INDUCTIVOS) LA SATISFACCION DE I EN EL ALGEBRA INICIAL DE SP3. LA PRINCIPAL NOVEDAD DEL METODO ALICE ES QUE LA VERIFICACION ES TOTALMENTE AUTOMATICA Y QUE, EN LUGAR DE TRABAJAR COMPARANDO UN PROGRAMA Y SU ESPECIFICACION, SE HACEN LAS TRANSFORMACIONES ADECUADAS PARA TRABAJAR CON DOS ESPECIFICACIONES (QUE SON OBJETOS SIMILARES) Y ESTE HECHO FACILITA NOTABLEMENTE EL PROCESO ALICE NO ES UN PROCEDIMIENTO DE DECISION (YA QUE EL PROBLEMA ES INDECIDIBLE) Y SE PUEDE EXTENDER PARA TRATAR OTROS PROBLEMAS, COMO EL DE LA EQUIVALENCIA ENTRE MODULOS.

Autor: GARCIA LOPEZ FELIX CESAR.
Año: 1995.
Universidad: LA LAGUNA .
Centro de lectura: CENTRO SUPERIOR DE INFORMATICA.
Centro de realización: DEPARTAMENTO: ESTADISTICA, INVESTIGACION OPERATIVA Y COMPUTACION PROGRAMA DE DOCTORADO: ESTADISTICA, INVESTIGACION OPERATIVA Y COMPUTACION.

Resumen: EL TRABAJO ABORDA LA PARALELIZACION DE TRES DE LAS TECNICAS ALGORITMICAS MAS IMPORTANTES DE LA PROGRAMACION SECUENCIAL, DIVIDE Y VENCERAS, RAMIFICACION Y ACOTACION Y PROGRAMACION DINAMICA. SE ANALIZAN LOS DIFERENTES ESQUEMAS GENERALES DE PARALELIZACION APLICABLES, APORTANDO ESTUDIOS TEORICOS Y PRACTICOS RELATIVOS A LA IMPLEMENTACION DE LOS MISMOS SOBRE SISTEMAS MULTICOMPUTADORES BASADOS EN EL TRANSPUTER. EN LA TECNICA DIVIDE Y VENCERAS SE REALIZA UN ANALISIS TEORICO Y PRACTICO DE DIFERENTES ALGORITMOS SOBRE EL PROBLEMA DE LA ORDENACION Y SE PROPONE UN NUEVO ESQUEMA JERARQUICO, EN LA RAMIFICACION Y ACOTACION SE HACE UN ESTUDIO EXPERIMENTAL DE LAS DIFERENTES TECNICAS APLICABLES Y SE ENSAYA UN METODO PARA REDUCIR EL NUMERO DE COMUNICACIONES, EN LA PROGRAMACION DINAMICA SE PRESENTAN TRES NUEVOS ALGORITMOS PARA EL PROBLEMA DE LA MOCHILA.

Autor: LLANA DIAZ LUIS FERNANDO.
Año: 1995.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: MATEMATICAS.
Centro de realización: DEPARTAMENTO: INFORMATICA Y AUTOMATICA PROGRAMA DE DOCTORADO: LENGUAJE Y SISTEMAS INFORMATICOS Y CIENCIAS DE LA COMPUTACION.

Resumen: EN EL PRESENTE TRABAJO HEMOS ESTUDIADO LA SEMANTICA DE PRUEBAS PARA ALGEBRAS DE PROCESOS TEMPORIZADAS. EN PRIMER LUGAR HEMOS ESTUDIADO UN ALGEBRA DE PROCESOS TEMPORIZADA BASICA, SE TRATA DE UN LENGUAJE RECURSIVO, SECUENCIAL NO DETERMINISTA. PUESTO QUE LAS SEMANTICAS DE PRUEBAS SON POCO MANEJABLES, SE HACE NECESARIO DAR UNA CARACTERIZACION ALTERNATIVA DE LA MISMA; NOSOTROS HEMOS DADO UNA CARACTERIZACION QUE DEPENDE UNICAMENTE DE LA SEMANTICA OPERACIONAL DE ALGEBRA. A CONTINUACION HEMOS DOTADO AL ALGEBRA DE UNA SEMANTICA DENOTACIONAL, QUE HA RESULTADO SER COMPLETAMENTE ABSTRACTA CON RESPECTO A LA SEMANTICA DE PRUEBAS. SEGUIDAMENTE HEMOS ESTUDIADO UNA SEMANTICA AXIOMATICA, PUESTO QUE CONSEGUIMOS PROBAR QUE ESTA ULTIMA ES CORRECTA Y COMPLETA CON RESPECTO A LA SEMANTICA DENOTACIONAL TENEMOS INMEDIATAMENTE QUE TAMBIEN SERA CORRECTA Y COMPLETA CON RESPECTO A LA SEMANTICA DE PRUEBAS. PUESTO QUE TODO LO ANTERIOR LO HABIAMOS HECHO CON UN ALGEBRA BASTANTE SIMPLE, ES NECESARIO INTRODUCIR OPERADORES MAS COMPLEJOS. EN CONCRETO HEMOS ESTUDIADO UNA SERIE DE OPERADORES QUE APARECEN EN LA MAYORIA DE LAS ALGEBRAS DE PROCESOS TEMPORIZADAS: . EL OPERADOR DE PARALELO, . EL OPERADOR DE OCULTAMIENTO, Y . EL OPERADOR DE PREFIJO MEDIANTE ACCION VISIBLE CON INTERVALO DE TIEMPO. POR ULTIMO HEMOS ESTUDIADO UN OPERADOR DE ELECCION TIPO CCS, QUE TIENE LOS PROBLEMAS TIPICOS CON RESPECTO A LA CONGRUENCIA.

Autor: NUÑEZ GARCIA MANUEL.
Año: 1995.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: MATEMATICAS.
Centro de realización: DEPARTAMENTO: INFORMATICA Y AUTOMATICA PROGRAMA DE DOCTORADO: SISTEMAS INFORMATICOS Y CIENCIAS DE LA COMPUTACION.

Resumen: EN ESTA TESIS PRESENTAMOS UN ALGEBRA DE PROCESOS QUE HA SIDO EXTENDIDA CON INFORMACION PROBABILISTICA. DEFINIMOS UNA SEMANTICA OPERACIONAL PARA NUESTRO LENGUAJE, Y A CONTINUACION DEFINIMOS UNA SEMANTICA DE PRUEBAS PARAMETRIZADAS POR UNA CIERTA FAMILIA DE PRUEBAS. LA CARACTERIZACION VENDRA DADA POR LA PROBABILIDAD CON LA QUE LOS PROCESOS PASAN LAS PRUEBAS DEL CONJUNTO DADO. UNA VEZ DEFINIDO EL MARCO GENERAL, CONSIDERAREMOS DOS CONJUNTOS DE PRUEBAS LOS CUALES ESTARAN ASOCIADOS A UNA INTERPRETACION DE LOS MODELOS REACTIVOS Y GENERATIVO RESPECTIVAMENTE. PARA LA INTERPRETACION DEL MODELO REACTIVO DAREMOS UNA CARACTERIZACION ALTERNATIVA DE LA SEMANTICA PRUEBAS, LA CUAL ESTA BASADA EN TRAZAS PROBABILISTICAS. DADO QUE EL OPERADOR DE ELECCION EXTERNA NO ES CONGRUENTE, DEFINIMOS UNA SEMANTICA DENOTACIONAL PARA EL LENGUAJE EN EL QUE NO SE CONSIDERA LA ELECCION EXTERNA. ESTA SEMANTICA DENOTACIONAL ES COMPLETAMENTE ABSTRACTA CON RESPECTO A LA SEMANTICA DE PRUEBAS. PARA LA INTERPRETACION GENERATIVA, DEFINIMOS UNA CARACTERIZACION ALTERNATIVA BASADA EN CONJUNTOS DE ACEPTACION PROBABILISTICOS Y UNA SEMANTICA DENOTACIONAL BASADA EN ARBOLES DE ACEPTACION PROBABILISTICOS. ADEMAS, PARA ESTE MODELO DEFINIMOS UNA SEMANTICA AXIOMATICA. DEMOSTRAMOS QUE TODAS ESTAS SEMANTICAS SON EQUIVALENTES A LA SEMANTICA DE PRUEBAS PARA EL MODELO GENERATIVO. A CONTINUACION DAMOS UNA SERIE DE EJEMPLOS EN LOS CUALES MOSTRAMOS LA UTILIDAD DE NUESTRO LENGUAJE A LA HORA DE ESPECIFICAR SISTEMAS CONCURRENTES QUE DEPENDEN DE INFORMACION PROBABILISTICA. FINALIZAMOS EXTENDIENDO NUESTRO LENGUAJE CON UN OPERADOR DE COMPOSICION PARALELA Y DISCUTIENDO LOS PROBLEMAS QUE PRESENTA INCLUIR UN OPERADOR DE RESTRICCION.

Autor: HERNANDEZ NUÑEZ JUAN M..
Año: 1994.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: ARQUITECTURA Y TECNOLOGIA DE SISTEMAS INFORMATICOS PROGRAMA DE DOCTORADO: ARQUITECTURA Y TECNOLOGIA DE COMPUTADORES.

Resumen: LOS AVANCES TECNOLOGICOS Y LA DISMINUCION PROGRESIVA DE LOS PRECIOS DEL HARDWARE, HAN FAVORECIDO LA APARICION DE UNA GRAN VARIEDAD DE SISTEMAS MULTIPROCESADOR. SIN EMBARGO, ESTE ESPECTACULAR AVANCE EN EL CAMPO DEL HARDWARE NO SE HA VISTO CORRESPONDIDO CON UN AVANCE SIMILAR EN EL TERRENO DEL SOFTWARE. DE HECHO, AUNQUE ESTOS SISTEMAS APORTAN UNA GRAN POTENCIA Y RAPIDEZ DE PROCESAMIENTO DE LA INFORMACION, NO SE OBTIENE DE ELLOS TODO EL RENDIMIENTO QUE SE PUEDE ESPERAR DEBIDO, FUNDAMENTALMENTE, A LA CARENCIA DE UN SOFTWARE APROPIADO QUE PERMITA EXPLOTAR AL MAXIMO ESTE TIPO DE ARQUITECTURAS. LOS MODELOS DE PROGRAMACION CONCURRENTES BASADOS EN OBJETOS, SON EN LA ACTUALIDAD LOS MODELOS DE PROGRAMACION CON UNA MAYOR PERSPECTIVA DE FUTURO PARA EL DESARROLLO DE SOFTWARE APROPIADO QUE PERMITA LA CONSTRUCCION DE GRANDES APLICACIONES DE UNA MANERA MODULAR, FLEXIBLE Y EXPLOTANDO AL MAXIMO EL PARALELISMO SUBYACENTE EN LOS SISTEMAS MASIVAMENTE PARALELOS. ESTO SE DEBE A QUE LA PROGRAMACION CONCURRENTE ORIENTADA A OBJETOS COMBINA LOS PARADIGMAS DE LOS MODELOS BASADOS EN OBJETOS CON LOS MODELOS CONCURRENTES. ES DECIR, COMBINA LAS NOCIONES DE ENCAPSULACION, ABSTRACCION, CLASES Y HERENCIA RELATIVAS A LOS MODELOS BASADOS EN OBJETOS CON LOS CONCEPTOS DE PROCESOS LIGEROS, COMUNICACION Y SINCRONIZACION ENTRE ESTOS, RELATIVOS A LOS MODELOS CONCURRENTES. SIN EMBARGO, LA COMBINACION DE LOS PARADIGMAS CONCURRENTE Y ORIENTADO A OBJETOS HA DEMOSTRADO SER MAS DIFICIL DE LO QUE PARECIA A PRIMERA VISTA, YA QUE LAS CARACTERISTICAS QUE APORTAN AMBOS SISTEMAS NO SON ORTOGONALES Y, CONSECUENTEMENTE, NO PUEDEN COMBINARSE DE FORMA ARBITRARIA. EL PRINCIPAL OBJETIVO DE ESTA TESIS ES APORTAR NUEVAS SOLUCIONES SOFTWARE QUE FAVOREZCAN LA CONSTRUCCION MODULAR, EL DISEÑO E IMPLEMENTACION DE GRANDES APLICACIONES EN ARQUITECTURAS MASIVAMENTE PARALELAS DENTRO DEL CONTEXTO DE LOS LENGUAJES DE PROGRAMACION CONCURRENTE BASADOS EN OBJETOS. LAS SOLUCIONES PROPUESTAS ESTAN ORIENTADAS A ESTABLECER EL MODELO DE PROGRAMACION DEL SISTEMA DE GESTION DE BASES DE DATOS PARALELA QUATRO, QUE ESTA SIENDO DISEÑADO POR NUESTRO GRUPO DE INVESTIGACION. EL TRABAJO DESARROLLADO PARA CONSEGUIR ESTE OBJETIVO SE HA BASADO EN LOS SIGUIENTES PUNTOS . PRESENTAMOS UN ESTUDIO ORIGINAL DE LOS SGBD ACTUALES, CENTRANDONOS EN LAS DENOMINADAS PROXIMAS GENERACIONES DE SISTEMAS DE BASES DE DATOS Y EN LOS SISTEMAS DE GESTION DE BASES DE DATOS PARALELAS. EN PARTICULAR, SE DESTACAN LAS PRINCIPALES ARQUITECTURAS UTILIZADAS EN EL DESARROLLO DE ESTOS SISTEMAS ASI COMO LOS MODELOS Y LENGUAJES DE PROGRAMACION UTILIZADOS PARA LA IMPLEMENTACION DE LOS MISMOS. . BASANDONOS EN ESTE ESTUDIO Y TRAS DETERMINAR QUE LOS LPCOO SE PRESENTAN COMO LA MEJOR ALTERNATIVA DE FUTURO PARA EL DESARROLLO DE GRANDES APLICACIONES EN ESTE TIPO DE ARQUITECTURAS, ESTABLECEMOS UN CONJUNTO DE CRITERIOS QUE PERMITEN EVALUAR LAS VENTAJAS Y DESVENTAJAS QUE PUEDE APORTAR CUALQUIER LPCOO ACTUAL O FUTURO. . SIGUIENDO ESTOS CRITERIOS, EFECTUAMOS UNA LABOR DE SINTESIS DE LOS LPCOO MAS REPRESENTATIVOS, ESTRUCTURANDO ESTOS EN FUNCION A LOS CRITERIOS ESTABLECIDOS Y AL CONFLICTO CONOCIDO COMO "ANOMALIA EN LA HERENCIA". ESTE ESTUDIO NOS PERMITIRA ESTABLECER UN CONJUNTO DE REQUISITOS MINIMOS QUE DEBEN CUMPLIR LOS LPCOO PARA RESOLVER LAS DEFICIENCIAS ENCONTRADAS. . EN VIRTUD A ESTOS REQUISITOS, PROPONEMOS UN NUEVO MODELO DE LENGUAJE BASADO EN ACTORES QUE RESUELVE LAS DEFICIENCIAS ENCONTRADAS EN LOS ACTUALES MODELOS. PARA COMPROBAR LA VIABILIDAD DEL MODELO PROPUESTO, DISEÑAMOS E IMPLEMENTAMOS UN NUEVO LENGUAJE DE PROGRAMACION DENOMINADO ALBA, QUE SE ADAPTA AL MODELO PROPUESTO. LA IMPLEMENTACION SE HA DESARROLLADO EN UNA ARQUITECTURA DE MEMORIA DISTRIBUIDA COMPUESTA DE TRANSPUTERS TIPO T800 BAJO EL SISTEMA OPERATIVO HELIOS. . FINALMENTE Y DADO QUE UNO DE LOS PRINCIPALES PROBLEMAS CON LOS QUE EL DISEÑADOR DE APLICACIONES PARALELAS Y DISTRIBUIDAS SE ENCUENTRA ES LA SINCRONIZACION DE ACTIVIDADES DE MULTIPLES PROCESOS CONCURRENTES, PROPONEMOS UN NUEVO PARADIGMA DE PROGRAMACION, ACTOR-TUPLASPACE, IDEADO PARA LA COMUNICACION Y SINCRONIZACION DE ACTIVIDADES CONCURRENTES EN EL MARCO DE LOS LPCOO. EN PARTICULAR, ESTE NUEVO ESQUEMA DE PROGRAMACION PROPORCIONA UN MECANISMO PARA COORDINAR MULTIPLES ACTORES DE UNA APLICACION. EL USO DE TRANSICIONES DE ESTADO PERMITE DETERMINAR DE FORMA DINAMICA EL CONJUNTO DE MENSAJES ACEPTABLES POR UN ACTOR, SIENDO ESTE ADEMAS, UN MECANISMO COMPATIBLE CON LA HERENCIA ENTRE CLASES.

Autor: ZURITA GABASA JESUS ADOLFO.
Año: 1994.
Universidad: ZARAGOZA.
Centro de lectura: CENTRO POLITECNICO SUPERIOR.
Centro de realización: DEPARTAMENTO: INGENIERIA MECANICA PROGRAMA DE DOCTORADO: DISEÑO Y FABRICACION DE PIEZAS Y COMPONENTES DE PLASTICO.

Resumen: EN LA PRESENTE TESIS DOCTORAL SE HA REALIZADO UN PROGRAMA DE ANALISIS MECANICO MEDIANTE ELEMENTOS FINITOS CON UTILIZACION DE PROGRAMACION ORIENTADA A OBJETO. LA REALIZACION DE LA MISMA SE HA LLEVADO A CABO EN LAS SIGUIENTES ETAPAS. -DESARROLLO DE UNA LIBRERIA DE FUNCIONES Y HERRAMIENTAS DE MODELADO DE PROPOSITO GENERAL ORIENTADA A LA RESOLUCION DE PROBLEMAS DE INGENIERIA MEDIANTE LA TECNICA DE ANALISIS Y DISEÑO ORIENTADO A OBJETO. INCORPORA LAS SIGUIENTES CARACTERISTICAS: DEFINICION DE CLASES INCLUYENDO ATRIBUTOS, ATRIBUTOS DE CLASE, PROCEDIMIENTOS, RESTRICCIONES ENTRE ATRIBUTOS, DERIVADOS Y CLAVES; DEFINICION DE HERENCIAS, ASOCIACIONES ENTRE OBJETOS CON LA INCORPORACION DE ATRIBUTOS DE ASOCIACION Y DEFINICION DE AGREGACIONES. -SE HA REALIZADO UN PROGRAMA INTERACTIVO DE AYUDA AL DISEÑO DE PROGRAMAS QUE DE MANERA GRAFICA PERMITA LA EJECUCION DEL CORRESPONDIENTE ANALISIS DEL PROBLEMA ESPECIFICO QUE SE QUIERE RESOLVER. ESTE PROGRAMA PERMITE DE FORMA INTERACTIVA EL REFINAMIENTO SUCESIVO DEL MODELO MEDIANTE LA ADICCION DE NUEVAS CLASES, REDEFINICION DE LAS YA EXISTENTES, ETC. ASI MISMO, EL PROGRAMA POSEE LA POSIBILIDAD DE ELABORACION DE INFORMES DEL MODELO DE OBJETOS GENERADO. - SE HA ESTABLECIDO LA BASE DE DATOS DE CLASES IMPLICADAS EN EL PROGRAMA ASI COMO LAS RELACIONES EXISTENTES ENTRE ELLAS. UNA VEZ DEFINIDO EL PROGRAMA SE HA REALIZADO UN MODULO DE MALLADO DE REGIONES PLANAS ASI COMO UN MODULO DE ADAPTABILIDAD EN ELASTICIDAD BIDIMENSIONAL. COMO CONCLUSIONES CABEN DESTACAR LAS GRANDES POSIBILIDADES QUE OFRECEN LAS TECNICAS DE ORIENTACION A OBJETO PARA SU APLICACION EN LA RESOLUCION DE PROBLEMAS DE INGENIERIA. TAMBIEN ES INTERESANTE CONSTATAR QUE ESTAS TECNICAS NO TIENEN QUE ESTAR LIGADAS A UN LENGUAJE CONCRETO DE PROGRAMACION. ADEMAS, RESULTANDE ESPECIAL INTERES EN LA REALIZACION DE APLICACIONES DE GRAN ENTIDAD POR LAS FACILIDADES DE DIVISION DE TRABAJO QUE APORTAN.

Autor: GARCIA DE LA BANDA GARCIA M. JOSE.
Año: 1993.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: INTELIGENCIA ARTIFICIAL PROGRAMA DE DOCTORADO: CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL.

Resumen: LA NOCION DE INDEPENDENCIA ES CRUCIAL EN LA DEFINICION DE LOS MODELOS DE PARALELISMO CONJUNTIVO INDEPENDIENTE COMO CONDICION PARA GARANTIZAR LA CORRECION Y EFICIENCIA DE DICHOS MODELOS CON RESPECTO AL MODELO SECUENCIAL. EL PRESENTE TRABAJO GENERALIZA LA APLICABILIDAD DEL PARALELISMO CONJUNTIVO INDEPENDIENTE A LOS LENGUAJES LOGICOS CON RESTRICCIONES Y PLANIFICACION DINAMICA. DICHO ESTUDIO REVELA LA IMPORTANCIA DEL CONCEPTO DE INDEPENDENCIA NO SOLO DESDE EL PUNTO DE VISTA DEL PARALELISMO CONJUNTIVO INDEPENDIENTE, SINO TAMBIEN DESDE EL PUNTO DE VISTA DE MUCHAS OTRAS APLICACIONES QUE MODIFICAN LAS REGLAS DE COMPUTACION. EN SEGUNDO LUGAR, Y UNA VEZ GENERALIZADO EL CONCEPTO DE INDEPENDENCIA, ES NECESARIO REALIZAR UN ESTUDIO EXHAUSTIVO DE LA EFECTIVIDAD DE LAS HERRAMIENTAS DE ANALISIS EN LA TAREA DE LA PARALELIZACION AUTOMATICA. LOS RESULTADOS OBTENIDOS DE DICHA EVALUACION PERMITEN ASEGURAR DE FORMA EMPIRICA QUE LA UTILIZACION DE ANALIZADORES GLOBALES EN LA TAREA DE LA PARALELIZACION AUTOMATICA ES VITAL PARA LA CONSECUCION DE UNA PARALELIZACION EFECTIVA. POR ULTIMO, A LA LUZ DE LOS BUENOS RESULTADOS OBTENIDOS SOBRE LA EFECTIVIDAD DE LOS ANALIZADORES DE FLUJO GLOBALES BASADOS EN LA INTERPRETACION ABSTRACTA, SE PRESENTA LA GENERALIZACION DE LAS HERRAMIENTAS DE ANALISIS AL CONTEXTO DE LOS LENGUAJES LOGICOS RESTRICCIONES Y PLANIFICACION DINAMICA.

Autor: LOPEZ FRAGUAS FRANCISCO J..
Año: 1993.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: MATEMATICAS.
Centro de realización: DEPARTAMENTO: INFORMATICA Y AUTOMATICA PROGRAMA DE DOCTORADO: SISTEMAS INFORMATICOS Y CIENCIAS DE LA COMPUTACION .

Resumen: EN ESTE TRABAJO PRESENTAMOS E INVESTIGAMOS EL ESQUEMA TEORICO CFLP(X) PARA LA PROGRAMACION LOGICO FUNCIONAL PEREZOSA CON RESTRICCIONES. CADA ESTRUCTURA CON RESTRICCIONES X, QUE CONSISTE EN UN DOMINIO DE SCOTT COMO SOPORTE MAS UN CONJUNTO DE OPERACIONES PREDEFINIDAS CONTINUAS, DETERMINA UNA INSTANCIA DEL ESQUEMA. LOS PROGRAMAS EN CFLP(X) ESTAN CONSTITUIDOS POR REGLAS DE REESCRITURA CON RESTRICCIONES PARA DEFINIR NUEVAS FUNCIONES. SE DESARROLLA UNA SEMANTICA DECLARATIVA DE MODELO MINIMO, CARACTERIZADO TAMBIEN COMO MINIMO PUNTO FIJO, Y UNA SEMANTICA OPERACIONAL BASADA EN UN MECANISMO DE COMPUTO - ESTRECHAMIENTO PEREZOSO POR RESTRICCIONES - DEL QUE SE PRUEBAN RESULTADOS DE CORRECCION Y COMPLETITUD CON RESPECTO A LA SEMANTICA DECLARATIVA. PROBAMOS TAMBIEN QUE, BAJO HIPOTESIS RAZONABLES, EL ESTRECHAMIENTO POR RESTRICCIONES SE PUEDE COMBINAR CON UN SISTEMA DE RESOLUCION DE RESTRICCIONES, PRESERVANDO LA CORRECCION Y LA COMPLETITUD. EN UNA SEGUNDA PARTE SE APLICAN LOS RESULTADOS OBTENIDOS AL LENGUAJE SFL , QUE INCORPORA RESTRICCIONES DE DESIGUALDAD A LA PROGRAMACION LOGICO FUNCIONAL PEREZOSA. SE MUESTRA QUE SFL PUEDE SER CONCEBIDO COMO LA INSTANCIA DE CFLP(X) QUE TIENE AL UNIVERSO DE HERBRAND INFINITARIO COMO SOPORTE, DOTADO DE RESTRICCIONES DE IGUALDAD Y DESIGUALDAD, MAS LAS OPERACIONES PRIMITIVAS NECESARIAS PARA EXPRESAR DE FORMA CONTINUA LA UNIFICACION. DE ESTE MODO, HEREDA LAS PROPIEDADES GENERALES DEL ESQUEMA. FINALMENTE SE PRESENTA, EN FORMA DE CLAUSULAS, UNA ESPECIFICACION DE LA SEMANTICA OPERACIONAL, QUE SE CONVIERTE EN UN PROGRAMA PROLOG EJECUTABLE AL ADOPTAR UNA ADECUADA REPRESENTACION DE LAS EXPRESIONES, DANDO LUGAR A UNA IMPLEMENTACION DEL LENGUAJE.

Autor: ALONSO GONZALEZ LUIS M..
Año: 1992.
Universidad: PAIS VASCO.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LENGUAJES Y SISTEMAS INFORMATICOS.

Resumen: SE PRESENTA UN METODO PARA EL DESARROLLO DE SISTEMAS CONCURRENTES, APLICABLE A SISTEMAS QUE INERACICIONAN CON SU ENTORNO ENVIANDO Y RECIBIENDO MENSAJES. LA ESPECIFICACION DE UN SISTEMA ESTA DADA POR UNA FAMILIA DE VARIABLES DE ESTADO QUE REPRESENTAN LOS ESTADOS DEL SISTEMA; UNA FAMILIA DE REGLAS DE TRANSICION QUE DESCRIBEN EL CAMBIO DE ESTADO QUE TIENE LUGAR CON CADA OPERACION DE COMUNICACION; UNA FAMILIA DE GUARDAS, QUE JUNTO CON LAS ANTERIORES, DESCRIBEN LAS SECUENCIAS DE COMUNICACIONES POSIBLES; UNA FAMILIA DE REGLAS DE VITALIDAD QUE DESCRIBEN CIERTAS PROPIEDADES DEL SISTEMA. SE INCLUYE TAMBIEN UNA NOCION DE IMPLEMENTACION DISTRIBUIDA Y SE PRESENTAN TECNICAS PARA ESTABLECER FORMALMENTE SU CORPECCION. LA SEMANTICA DE LAS ESPECIFICACIONES CON VARIABLES DE ESTADO SE ESTABLECEN EMPLEANDO UN MODELO MATEMATICO DE LOS PROGRAMAS PARALELOS AMPLIAMENTE DIFUNDIDO: EL MODLO DE FALLOS. SE DEFINEN UNA REPRESENTACION DE DICHO MODELO EMPLEANDO UNA CLASE PARTICULAR DE AUTOMATAS, LOS LLAMADOS AUTOMATAS DE ACEPTACION. DICHA REPRESENTACION PRPORCIONA TAMBIEN LAS BASES PARA LA CONSTRUCCION DE HERRAMIENTAS DE VERIFICACION AUROMATICA DE SISTEMAS CONCURRENTES, CUANDO EL NUMERO DE ESTADOS ES FINITO. LA UTILIDAD DEL METODO PROPUESTO SE ILUSTRA MEDIANTE SU APLICACION EN DIVERSOS EJEMPLOS NO TRIVIALES.

Autor: GONZALEZ DE MENDIVIL MORENO JOSE RAMON.
Año: 1992.
Universidad: PAIS VASCO.
Centro de lectura: CIENCIAS.
Centro de realización: DEPARTAMENTO: ELECTRICIDAD Y ELECTRONICA PROGRAMA DE DOCTORADO: ELECTRICIDAD Y ELECTRONICA .

Resumen: EL OBJETIVO DEL TRABAJO HA SIDO EL DESARROLLO DE ALGORITMOS DE DETECCION DEL INTERBLOQUEO UTILIZANDO TECNICAS FORMALES PARA LA VERIFICACION DE SU CORRECTO FUNCIONAMIENTO. EN EL PRIMER TRABAJO SE PRESENTA UNA REFORMULACION DEL INTERBLOQUEO EN SISTEMAS OPERATIVOS DESDE EL PUNTO DE VISTA DE LA TEORIA DE LENGUAJES Y AUTOMATAS. SE CONSTRUYE UN ALGORITMO PERIODICO DE DETECCION BASADO EN UN AUTOMATA DETERMINISTA CON COMPLEJIDAD LINEAL Y SE EXTIENDE A UN ALGORITMO NO PERIODICO CON COMPLEJIDAD PROPORCIONAL A UNO. EN EL SEGUNDO TRABAJO SE REALIZA UN ALGORITMO DISTRIBUIDO DE DETECCION Y RESOLUCION DEL INTERBLOQUEO PARA UN SISTEMA DISTRIBUIDO DE BASE DE DATOS CON MODELO DE OCUPACION UNICO-RECURSO. EL ALGORITMO ES MUY SIMPLE Y SE DEMUESTRA FORMALMENTE UTILIZANDO LA TEORIA DE AUTOMATAS QUE DETECTA TODOS LOS INTERBLOQUEOS Y NO GENERA FALSOS INTERBLOQUEOS. EN EL TERCER TRABAJO SE DISEÑA UN ALGORITMO DE DETECCION Y RESOLUCION DEL INTERBLOQUEO PARA UN SISTEMA DISTRIBUIDO DE BASE DE DATOS CON MODELO DE OCUPACION AND. SU PRUEBA DE CORRECCION SE REALIZA MEDIANTE LA FORMULACION DE LAS PRECONDICIONES Y POSTCONDICIONES QUE LAS ACCIONES DEL ALGORITMO VERIFICAN. SE DEMUESTRA QUE EL ALGORITMO SOLO RESUELVE INTERBLOQUEOS GENUINOS Y NO RESUELVE INTERBLOQUEOS QUE NO EXISTEN.

Autor: PIMENTEL SANCHEZ ERNESTO.
Año: 1992.
Universidad: MALAGA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LENGUAJES Y CIENCIAS DE LA COMPUTACION PROGRAMA DE DOCTORADO: TECNOLOGIAS DE LA INFORMACION Y LAS COMUNICACIONES.

Resumen: EL TRABAJO DESARROLLADO EN EL ESTUDIO SE DEBE ENMARCAR EN EL AMBITO DE LA PROGRAMACION LOGICA CONCURRENTE Y LA PROGRAMACION ORIENTADA A OBJETOS. SE REALIZA UNA PROPUESTA DE INTEGRACION ENTRE AMBOS PARADIGMAS CON IMPORTANTES BENEFICIOS DERIVADOS DE SU COMBINACION. EN ESTE SENTIDO, SE HA EXTENDIDO EL PARADIGMA LOGICO CONCURRENTE POR MEDIO DE MECANISMOS Y CONCEPTOS PROPIOS DE LA PROGRAMACION ORIENTADA A OBJETOS. TAL INTEGRACION SE TRADUCE EN UNA DEFINICION E IMPLEMENTACION DE UN LENGUAJE LOGICO CONCURRENTE ORIENTADO A OBJETOS (L2 II O2). LAS APORTACIONES DE ESTE TRABAJO SE CENTRAN EN EL DISEÑO E IMPLEMENTACION DE UN LENGUAJE LOGICO CONCURRENTE, DE UNA PARTE, Y SU DEFINICION FORMAL, DE OTRA. EN EL PRIMER ASPECTO, AUMENTA LA CAPACIDAD EXPRESIVA DE OTROS Y COMPLETA ALGUNAS PROPUESTAS EXISTENTES EN EL SEGUNDO, ADEMAS DE LA DEFINICION OPERACIONAL, DECLARATIVA Y DENOTACIONAL, EXTIENDE LA TEORIA DE LA UNIFICACION.

Autor: SANCHEZ ORTEGA ANA R..
Año: 1992.
Universidad: PAIS VASCO .
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LENGUAGES Y SISTEMAS INFORMATICOS PROGRAMA DE DOCTORADO: ASPECTOS TEORICOS DE LA INGELIGENCIA ARTIFICIAL Y SU RELACION CON OTRAS TECNOLOGIAS.

Resumen: LAS ESPECIFICACIONES FORMALES PERMITEN COMPROBAR LA CORRECCION DE UNA IMPLEMENTACION RESPECRTO DE SU ESPECIFICACION. EN ESTA TESIS SE ANALIZA EL CONCEPTO DE IMPLEMENTACION DE ESPECIFICACIONES ENTENDIENDO COMO SIMULACION: UNA ESPECIFICACION, SP, SIMULA OTRA, SP, SI LOS MODELOS DE SP SE COMPORTAN COMO LOS DE SP. SINTACTICAMENTE UNA IMPLEMENTACION DE SP MEDIANTE SP ES UN PAR FORMADO POR UN CONJUNTO DE OPERACIONES, QUE DEFINEN LOS GENEROS DE LA ESPECIFICACION SP EN TERMINOS DE LOS DE SP Y UN CONJUNTO DE ECUACIONES QUE IMPLEMENTAN LAS OPERACIONES DE SP EN TERMINOS DE LAS D SP. LA SEMANTICA DE LA IMPLEMENTACION VIENE DADA POR LA COMPOSICION DE TRES FUNTORES: SINTESIS RESTRICCION E IDENTIFICACION. LA NOVEDAD DE NUESTRA DEFINICION ESTA EN EL TRATAMIENTO DE LAS OPERACIONES DE LA IMPLEMENTACION COMO OPERACIONES PARCIALES, LO CUAL PERMITE UNA CARACTERIZACION DE LA ORRECCION FACILMENTE VERIFICABLE. ADEMAS PERMITE RESOLVER LOS PROBLEMAS DE ORDEN TEORICO Y PRACTICO QUE PRESENTABA LA GNERALIZACION AL CASO PARAMETRIZADO. GENERALIZAMOS LAS IMPLEMENTACIONES AL CASO DE ESPECIFICACIONES PARCIALES TENIENDO EN CUENTA LA EQUIVALENCIA EN COMPORTAMIENTO. ABORDAMOS EL DISEÑO MODULAR DE UN SISTEMA DE SOFTWARE DESDE SU ESPECIFICACION HASTA LA CONSTRUCCION DE LOS MODULOS DE PROGRAMAS. EL RESULTADO FUNDAMENTAL PRESENTADO ESTABLECE QUE LA CORRECCION TOTAL DE LA IMPLEMENTACION DE UN SISTEMA DEPENDE DE LA CORRECCION DE LA IMPLEMENTACION CONCRETA DE CADA MODULO. ES CRUCIAL EN LA DEMOSTRACION TENER EN CUENTA PROPIEDADES DEL LENGUAJE DE PROGRAMACION QUE SOPORTA LA MODULARIDAD COMO LA ESTABILIDAD.