Hacia la reutilización y el reciclaje de los componentes activos
Para que Europa continúe al frente en el sector de la tecnología, tan competitivo, el brazo de las Tecnologías Emergentes y Futuras (FET) del programa de Tecnologías de la Sociedad de la Información (IST) financia proyectos de máxima calidad. EASYCOMP es uno de esos proyectos que trataron de desarrollar los medios necesarios para reutilizar y reciclar componentes en el desarrollo de software. El consorcio EASYCOMP diseñó una propuesta de varias fases para gestionar los componentes. La primera fase emplea el razonamiento basado en la compresión o CBR (del inglés Compression-Based Reasoning), algo comparable con al definición de especificaciones técnicas común a la mayoría de los proyectos de TI. La adaptación de la comprobación de modelos de los sistemas tradicionales a los sistemas de componentes resulta fundamental en el CBR. Esto se facilita con la herramienta Component Verifier (CoV) o comprobador de componentes, que aborda el agrupamiento de estados, la jerarquía, la compresión y otros aspectos. Como la mayoría de los sistemas incluyen componentes distribuidos, la siguiente fase aborda las necesidades específicas que se derivan de esos sistemas. Es necesario inventar nuevos métodos y aplicarlos para garantizar el funcionamiento firme y sin problemas. La solución vino en forma de protocolos y comprobación de protocolos por parte de un socio del proyecto EASYCOMP. Crearon el lenguaje transaccional de protocolo de componentes (TCPL) y la herramienta CoTaP (Composition of Transaction Protocols) para gestionar los protocolos. El consorcio EASYCOMP busca más fondos y asociaciones para seguir desarrollando esta propuesta y sus herramientas.