Aplicación de técnicas de descripción formal, mediante lenguaje SDL, al modelo arquitectónico de referencia normalizado de la infraestructura global de la información

• Autores: Manuel Tomas Valero
• Directores de la Tesis: Antonio Alabau Muñoz (dir. tes.)
• Lectura: En la Universitat Politècnica de València ( España ) en 1998
• Idioma: español
• Tribunal Calificador de la Tesis: Vicente Casares Giner (presid.), Jorge Mataix Oltra (secret.), Juan Bautista Riera García (voc.), Antonio Castillo Holgado (voc.), Jordi Domingo i Pascual (voc.)
• Materias:
  • Lógica
    • Lógica deductiva
      • Lenguajes formales
  • Ciencias tecnológicas
    • Tecnología de las telecomunicaciones
• Texto completo no disponible (Saber más ...)
• Resumen

  • Esta Tesis está dedicada a analizar el problema de la construcción de las futuras infraestructuras de la Información, Este trabajo de investigación recoge las propuestas que la Unión Internacional de Telecomunicación (UIT) ha realizado en el campo de la Normalización de las Infraestructuras de la Información. En particular, este estudio presenta un análisis crítico de la Arquitectura de Referencia elaborada por la UIT para definir la funcionalidad interna de la Infraestructura Global de la Información. Adicionalmente, la tesis demuestra que la utilización de Técnicas de Descripción formal, basada en el uso de lenguajes formales, constituye un vehículo para posibilitar la aplicación del marco conceptual establecido por los Modelos Arquitectónicos de Referencia a la resolución de los problemas concretos de ingeniería que surgen ante la implantación de las citadas Infraestructuras de la Información. De esta forma, se abre una vía orientada a buscar la convergencia entre la visión de conjunto del Sector, propia de los Organismos Formales de Normalización, con la necesidad de obtener soluciones tecnológicas viables, propia de los agentes industriales.