Especificación del comportamiento interactivo de componentes mediante pew

Abstract

El desarrollo de software basado en componentes es una disciplina en continuo crecimiento dentro del campo de la ingeniería de software. Consideramos un sistema basado en componentes como un conjunto de componentes de software que interactúan. A tal efecto los componentes deben ser diseñados para asegurar que un sistema construido a partir de ellos y sus interfaces satisfará especificaciones de desempeño claramente definidas. En este sentido los lenguajes de descripción de interfaces tradicionales, provistos por las plataformas orientadas a componentes del mercado describen los servicios ofrecidos por los componentes pero no dan información alguna respecto al orden relativo en el que los servicios pueden ser utilizados, de manera que no hay garantía de que los componentes interoperarán con éxito. Nuestra propuesta se orienta a enriquecer la información provista por los lenguajes de descripción de interfaces mediante la descripción de una abstracción del protocolo de interacción de los componentes. Proponemos y analizamos la utilización de Pew, un modelo de coordinación basado en cálculo de canales que posee una gran potencia expresiva, para especificar software basado en componentes. Presentamos un álgebra de procesos basada en las primitivas de comunicación y composición de Pew que luego aplicamos en algunos ejemplos para especificar el comportamiento interactivo de los componentes involucrados.