Una Sem´ antica de Ensamblaje y Composici´on de Servicios y Componentes Camilo Rocha 2 , Rafael Garc´ ıa 1 , and Rubby Casallas 1 1 rgarcia,rcasalla@uniandes.edu.co Grupo de Construcci´on de Software Departamento de Ingenier´ ıa de Sistemas y Computaci´on Universidad de los Andes, Bogot´a, Colombia 2 hrocha@escuelaing.edu.co Centro de Estudios de Ingenier´ ıa de Software Decanatura de Ingenier´ ıa de Sistemas Escuela Colombiana de Ingenier´ ıa, Bogot´a, Colombia Resumen El Desarrollo de Software Basado en Componentes es una disciplina de la Ingenier´ ıa de Software que promete una mejora en la productividad de los equipos de desarrollo a partir de la reutilizaci´on de piezas de software de buena calidad. La utilizaci´on de componen- tes existentes reducir´a costos y potenciar´a el trabajo a gran escala. Sin embargo, no hay una terminolog´ ıa ni unos conceptos unificados que faciliten el desarrollo de la disciplina. Adem´as, las nociones de correc- ci´on sobre estos modelos son pr´acticamente inexistentes. Este trabajo presenta una unificaci´on formal de la terminolog´ ıa y conceptos, una no- ci´on de correcci´on sobre un modelo y el c´alculo πtp (extensi´on tipada y poli´adicadelc´alculo π) como formalismo de notaci´on y derivaci´on. 1. Introducci´on En la historia del desarrollo del software el inter´ es por la reutilizaci´on de piezas de software ha sido una constante. Las ventajas de la reutilizaci´ onest´an asociadas a la productividad, la capacidad de mantenimiento, la portabilidad y la calidad [1,10,15]. Imaginarse un sistema de m´odulos es recrear un ambiente en donde piezas de software interact´ uan entre s´ ı para lograr un objetivo: satisfacer una especificaci´ on. Dicha interacci´on obedecer´ ıa a diferentes tipos de relaci´ on y una vez establecida, ´ esta puede usarse una y otra vez. En general se distinguen dos tipos de m´odulos, los servicios y los componen- tes. Una relaci´ on de dependencia entre dos servicios o entre dos componentes se llama ensamblaje, mientras que las relaciones de un componente con su es- tructura interna son llamadas de composici´ on. En este art´ ıculo presentamos una extensi´on del c´ alculo π, llamada π tp , como formalismo para describir un sistema de servicios y/o componentes y las relaciones entre ellos. Adem´ as, con este formalismo podemos verificar la correcci´ on de los sistemas descritos. Este documento est´a organizado de la siguiente forma: la secci´ on 2 presenta un recuento de propuestas de formalizaci´ on, la secci´on 3 introduce un c´ alculo de ensamblajes como extensi´ on del c´ alculo π, que sirve como base para las Sem´ anticas de Ensamblaje y de Composici´ on que se presentan en las secciones 4 y 5. Finalmente se presentan posibles trabajos futuros y las conclusiones.