Uso de bisimulación para diseño basado en componentes aplicado en RAISE

Elsa Estévez.

2003.

xvii, 335 págs. : ilustraciones ; 30 cm.

Director de tesis: Tomasz Janowski; codirector: Pablo Fillottrani.

Tesis (magíster)--Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación, 2003.

Resumen: Los componentes y el Desarrollo Basado en Componentes son los conceptos que proveen soluciones a necesidades emergentes en ingeniería de software. Las últimas tecnologías de sistemas distribuidos soportan y promueven una visión de componentes para la integración y utilización de las aplicaciones. Los componentes son una forma de encapsular la funcionalidad existente, adquirir soluciones desarrolladas por terceras partes, y construir los servicios necesarios para soportar los nuevos procesos de negocio. El Desarrollo Basado en Componentes provee un paradigma de diseño sumamente adecuado a los nuevos requerimientos, donde el enfoque tradicional de diseñar y construir ha sido reemplazado por seleccionar e integrar. Dentro del Desarrollo Basado en Componentes, la especificación de componentes juega un rol crucial. Si se está trabajando en desarrollo de componentes para construir una librería de uso general, se necesita una especificación precisa del comportamiento de los mismos, a fin de poder seleccionarlos para su reuso. Por esto, en ambos casos, la especificación del comportamiento de componentes es decisivo. Por otro lado, las especificaciones algebraicas son un enfoque bien conocido en la teoría de computación, que ha sido extensamente estudiado en las últimas décadas. Las especificaciones algebraicas abstraen todos los detalles de implementación de un módulo, y sólo enfatizan las propiedades que se pueden observar. El concepto de refinamiento está asociado con las especificaciones algebraicas. Un refinamiento incluye agregar decisiones de diseño a una especificación, y luego probar que la nueva especificación satisface todas las propiedades, al igual que la anterior. Otro formalismo estudiado en los últimos años está basado en coálgebras. Las coálgebras son duales a las álgebras en la teoría de categorías. Las coálgebras fueron propuestas como un enfoque para formalizar los principios del paradigma de orientación a objetos. En coálgebras, los módulos son modelados como cajas negras, a las cuales sólo se tienen acceso vía observaciones. Por lo tanto, también es un formalismo que abstrae bisimulación es una relación entre dos procesos que expresa el hecho que son indistinguibles desde el punto de vista de comportamiento. En esta tesis se propone usar especificaciones algebraicas con refinamiento, y especificaciones coalgebraicas con bisiulación para representar la abstracción de comportamiento que se necesita en Desarrollo Basado en Componentes. Durante el desarrollo de componentes se propone usar especificaciones algebraicas con refinamiento. De esta manera, se define precisamente y formalmente la signatura y semántica del componente, y es útil además para su catalogación en un respositorio. Asímismo, se propone usar las especificaciones coalgebraicas con bisimulación, durante el proceso de integración de componentes. Primero, se provee una especificación abstracta del sistema deseado. Luego, se obtiene una especificación más concreta del sistema, ensamblando la especificación de componentes existentes. Esta especificación es producida usando especificaciones algebraicas y coalgebraicas como enfoques complementarios. Finalmente, usamos bisimulación para probar formalmente que ambas especificaciones presentan el mismo comportamiento. Por lo tanto, el sistema construido a partir de componentes preexistentes se comporta como el que se especificó originalmente. CALIFICACION DEPARTAMENTO DE GRADUADOS Calificación de la defensa oral: Sobresaliente - 10 (diez) Fecha: 02/09/03

Incluye referencias bibliográficas.