Contribucion a la especificacion formal de sistemas tmn a partir del modelo de informacion de gestion

  1. RODRIGUEZ CAYETANO, MANUEL
Dirixida por:
  1. Eusebio Fernández López Director

Universidade de defensa: Universidad de Valladolid

Fecha de defensa: 04 de novembro de 1999

Tribunal:
  1. Julio José Berrocal Colmenarejo Presidente/a
  2. Pablo Lucio de la Fuente Redondo Secretario/a
  3. José Ramón Vidal Vogal
  4. Martín Llamas Nistal Vogal
  5. Victor Abraham Villagrá González Vogal

Tipo: Tese

Teseo: 77904 DIALNET

Resumo

El principal objetivo de la presente tesis es contribuir a la especificación formal de los aspectos de información de los sistemas de gestión normalizados que siguen bien la arquitectura de Red de Gestion de Telecomunicaciones (RGT o TMN), bien el modelo OSI de gestión de red. Para la definición de la informacion de gestion de estos modelos se utiliza la notación GDMO, que presenta como principal deficiencia la falta de una notación especifica para la descripcion de comportamiento. Una de las principales aportaciones de la tesis seria la utilizacion de una tecina de la descripcion formal, SOL, para resolver dicha deficiencia. Además, se propone un modelo formal de un sistema gestionado generico, que recoge los sistemas gestionados y un metodo para la obtención de una especificacion formal de un sistema gestionado concreto.