Tesis doctoral de Manuel Rodriguez Cayetano
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.
Datos académicos de la tesis doctoral «Contribucion a la especificacion formal de sistemas tmn a partir del modelo de informacion de gestion«
- Título de la tesis: Contribucion a la especificacion formal de sistemas tmn a partir del modelo de informacion de gestion
- Autor: Manuel Rodriguez Cayetano
- Universidad: Valladolid
- Fecha de lectura de la tesis: 04/11/1999
Dirección y tribunal
- Director de la tesis
- Eusebio Fernandez Lopez
- Tribunal
- Presidente del tribunal: Berrocal colmenarejo julio jose
- Vidal catala José ramon (vocal)
- martin Llamas nistal (vocal)
- victor Villagra gonzalez (vocal)