Reutilización de requisitos funcionales de sistemas distribuidos utilizando técnicas de descripción formal

Resumo

La reutilización de software fue planteada en su día como una vía complementaria para la mejora de los procesos de desarrollo de sistemas, con los objetivos de aligerar todas las tareas propias de estos procesos e incrementar la calidad de los sistemas obtenidos, Los investigadores en este ámbito coinciden en asegurar que un programa de reutilización sistemático, automatizado y formal conseguiría todos estos propósitos, aunque hasta el momento los intentos de incorporar este tipo de planes de reutilización se han visto ralentizados por diversos factores, de los cuales quizá la carencia de entornos tecnológicos apropiados sea uno de los más destacables. Es precisamente en esta línea en la que se enmarca el trabajo de esta tesis, proporcionando las bases teóricas y formales, y describiendo una metodología de aplicación de las mismas con el objetivo de lograr un entorno la reutilización especialmente adaptado a un proceso de obtención de sistemas ya existente. Debido a las peculiaridades de este proceso, se ha constatado que uno de los puntos débiles del mismo es la elevada frecuencia de ejecución del algoritmo de verificación --basado en técnicas de model checking--, y, debido a ello, se propone la reutilización de información de verificación asociada a modelos de sistemas, completos o incompletos, con el objetivo de aliviar la carga computacional requerida para las tareas de verificación. Pero no es ésta la única circunstancia propicia para la reutilización en el entorno de desarrollo de partida, sino que a la hora de comenzar con el proceso de creación de un nuevo sistema también sería conveniente ser capaces de evitar trabajo redundante y partir de algún modelo apropiado sobre el que se haya trabajado con anterioridad, de esta forma podría incrementarse la eficiencia del proceso al reducirse las labores de síntesis iniciales. De esta manera nuestra propuesta establece la reutilización de elementos softwar