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

  1. RODRIGUEZ CAYETANO, MANUEL
Dirigida per:
  1. Eusebio Fernández López Director/a

Universitat de defensa: Universidad de Valladolid

Fecha de defensa: 04 de de novembre de 1999

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

Tipus: Tesi

Teseo: 77904 DIALNET

Resum

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.