Validación de Patrones de Diseño de Comportamiento a través de Perfiles UML: Observer, un caso de estudio

Abstract

Los patrones de diseño describen soluciones a problemas recurrentes en la ingeniería de software, proporcionando un importante instrumento para la reutilización de software. En particular, los Patrones de Diseño de Comportamiento (según la clasificación Gof), abordan la especificación de las características dinámicas. Tanto los perfiles UML (por sus siglas en inglés, Unified Modeling Language) como el lenguaje OCL (por sus siglas en inglés, Object Constraint Language) se pueden utilizar como mecanismos para la formalización de los patrones de diseño de comportamiento. El presente trabajo presenta un enfoque para la validación de patrones de comportamiento haciendo uso de perfiles UML y lenguajes OCL, en diagramas estáticos y dinámicos UML.