Proyecto Castelldefels: definición formal de los perfiles de usuario del campus y ejecución de los mismos en una herramienta de simulación

Abstract

El presente Trabajo Fin de Carrera, en adelante TFC, se encuentra definido dentro del área de Simulación de redes y sistemas informáticos de la Universidad Oberta de Cataluña. Una de las líneas de investigación en este área es el Proyecto Castelldefels. Este proyecto tiene como objetivo, crear un modelo informático que simule el Campus Virtual de la UOC. Dentro de este objetivo general se encuadra este TFC, que partiendo de la base de trabajos y proyectos anteriores completara la definición formal de los perfiles de usuario del Campus Virtual y la ejecución de los mismos en una herramienta de simulación. Por una parte se ampliara el número de perfiles identificados y se asociara cada perfil a las diferentes funcionalidades del Campus. Dichas funcionalidades serán descritas por primera vez y serán ponderadas en función del impacto de las mismas en el rendimiento del Campus Virtual. Por otra parte y utilizando el conocimiento anterior, se ampliaran los escenarios de tipo "what-if" ya definidos, mediante un Sistema Multi-agente, siendo SDL el lenguaje utilizado para la definición formal y el plug-in SanDriLa para la herramienta Microsoft Visio, la herramienta que generara el modelo en el lenguaje SDL. Para la ejecución del modelo generado, utilizaremos la herramienta SDLPS. SDLPS es un simulador distribuido que permite la definición de los modelos mediante SDL. Esta definición es completa y representa el comportamiento del modelo y la estructura, lo que permite la simulación sin la necesidad de implementar el modelo, simplificando la validación y verificación. Este TFC finalizara con las conclusiones extraídas tras su elaboración y las futuras lineas de trabajo que se desprenden de los resultados obtenidos.