Generación automática de una aplicación multiconferencia

Resumen

Actualmente hay una gran demanda de nuevos servicios telemáticos, entre ellos el servicio de multiconferencia. Este servicio se define en base a criterios de acceso, modelo de interacción entre los usuarios y palnificación temporal del servicio. En nuestro trabajo se ha definido un protocolo de multiconferencia, MultiTalk, que cumple con los requisitos de una aplicación de multiconferencia. Debido a la complejidad del protocolo surge la necesidad de hacer la especificación formal y la correspondiente validación que dé como resultado un protocolo completo, consistente, concreto y sin ambigüedades en el que garantice que se cumplen los requisitos y objetivos expresados en la especificación informal. El paso de la especificación formal a la implementación suele ser realizado directamente por el programador, el cual hace una traducción "manual" del lenguaje formal al de implementación. Normalmente surge el problema de que la implementación resultante no suele corresponderse con los requisistos iniciales. En este trabajo hemos utilizado una herramienta de generación automática de código y demostramos que la aplicación obtenida corresponde completamente a la especificación inicial del servicio.