Coordinación de Componentes Distribuidos:
un Enfoque Generativo Basado en Arquitectura del Software
C. Canal, L. Fuentes, E. Pimentel, J. M. Troya
IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD'99)
Cáceres, Noviembre 1999
En Actas, pp. 443-454, Universidad de Extremadura, Departamento de Informática, ISBN 84-699-0956-8
Resumen
La ingeniería del software basada en componentes está despertando mucho interés, no sólo en el ámbito académico, sino también en el industrial. Sin embargo, el uso de estas tecnologías implica que deben realizarse importantes cambios en los procesos de desarrollo de software. En particular, es necesario desarrollar y utilizar notaciones específicas, que incorporen conceptos de componentes y rigurosas especificaciones formales. Nuestra propuesta parte de LEDA, un lenguaje formal de descripción de arquitecturas software dinámicas y va hasta la implementación. LEDA permite verificar la componibilidad de los sistemas especificados con esta notación, asegurando la ausencia de interbloqueos entre los componentes. El reto de este trabajo consiste en generar una implementación fiel a la especificación original, que permita el prototipado y el desarrollo evolutivo, obteniéndose una aplicación robusta y libre de errores directamente ejecutable en Java. (Artículo)