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

Laburpena

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.