Tesis:
Soporte gráfico para la descripción arquitectónica de sistemas
- Autor: SANCHEZ ALLENDE, Jesús
- Título: Soporte gráfico para la descripción arquitectónica de sistemas
- Fecha: 1994
- Materia: Sin materia definida
- Escuela: E.T.S. DE INGENIEROS DE TELECOMUNICACION
- Departamentos: INGENIERIA DE SISTEMAS TELEMATICOS
- Acceso electrónico:
- Director/a 1º: LEON SERRANO, Gonzalo
- Resumen: La contribución de la presente tesis consiste en la definición de un lenguaje gráfico para la descripción de la arquitectura de un sistema. Junto con la misma se ofrece un conjunto de operaciones y un método de traducción a y desde el lenguaje de especificación LOTOS que permiten utilizarlo dentro de un desarrollo basado en técnicas de descripción formal. El lenguaje gráfico diseñado se utiliza para representar la arquitectura de alto nivel de un sistema como la relación que existe entre los componentes del mismo. El lenguaje se ha denominado DART (Diagramas de Representación Arquitectónica). Una vez diseñado el sistema, o durante su diseño, se pueden utilizar un conjunto definido de operaciones para su transformación. Estas operaciones sirven para realizar reestructuraciones en el diseño, cambiar unas estructuras por otras y realizar refinamientos. Se han definido para proporcionar al diseñador un mecanismo ágil y seguro que permite transformar los diseños conservando determinadas propiedades del mismo. Uno de los objetivos, planteados desde el principio, era la posibilidad de relacionar la notación gráfica con el lenguaje de especificación LOTOS. En este sentido, el diseño de un sistema realizado mediante DART, puede traducirse en una especificación LOTOS, cuyas expresiones de comportamiento reproducen con fidelidad las relaciones entre los componentes del diseño gráfico. Además de proporcionar la traducción de DART a LOTOS, también se da una operación que permite abstraer en forma de DART, las relaciones entre procesos (o expresiones de comportamiento) que presenta una especificación LOTOS. Esta operación se convierte por tanto en un paso de ingeniería inversa, donde se intenta obtener un diseño de alto nivel a partir de una especificación terminada. Los DART se han utilizado en varios casos de estudio. En ellos se presenta un uso avanzado de la notación gráfica: su uso para representar el comportamiento dinámico de una especificación mediante animación. La animación permite, a partir de una especificación LOTOS y su diseño correspondiente mediante DART, obtener una realimentación visual del comportamiento de la especificación sobre la notación de diseño