Tesis doctoral de Jesús Sanchez Allende
La contribucion de la presente tesis consiste en la definicion de un lenguaje grafico para la descripcion de la arquitectura de un sistema. Junto con la misma se ofrece un conjunto de operaciones y un metodo de traduccion a y desde el lenguaje de especificacion lotos que permiten utilizarlo dentro de un desarrollo basado en tecnicas de descripcion formal. el lenguaje grafico diseñado se utiliza para representar la arquitectura de alto nivel de un sistema como la relacion que existe entre los componentes del mismo. El lenguaje se ha denominado dart (diagramas de representacion arquitectonica). una vez diseñado el sistema, o durante su diseño, se pueden utilizar un conjunto definido de operaciones para su transformacion. 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 agil 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 notacion grafica con el lenguaje de especificacion lotos. en este sentido, el diseño de un sistema realizado mediante dart, puede traducirse en una especificacion lotos, cuyas expresiones de comportamiento reproducen con fidelidad las relaciones entre los componentes del diseño grafico. ademas de proporcionar la traduccion de dart a lotos, tambien se da una operacion que permite abstraer en forma de dart, las relaciones entre procesos (o expresiones de comportamiento) que presenta una especificacion lotos. Esta operacion se convierte por tanto en un paso de ingenieria inversa, donde se intenta obtener un diseño de alto nivel a partir de una especificacion terminada. los dart se han utilizado en varios casos de estudio. En ellos se presenta un uso avanzado de la notacion grafica: su uso para representar el comportam
Datos académicos de la tesis doctoral «Soporte grafico para la descripcion arquitectonica de sistemas«
- Título de la tesis: Soporte grafico para la descripcion arquitectonica de sistemas
- Autor: Jesús Sanchez Allende
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 01/01/1994
Dirección y tribunal
- Director de la tesis
- Gonzalo León Serrano
- Tribunal
- Presidente del tribunal: De Miguel Moro Tomas
- Alberto Llamosi Casas (vocal)
- Ricardo Baeza Yates (vocal)
- José María Troya Linero (vocal)