Especificación del patrón de diseño Memento a través de un Perfil UML

Resumen

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 (en inglés, Gang of Four), abordan la especificación de las características dinámicas. Tanto los perfiles UML (en inglés, Unified Modeling Language) como el lenguaje OCL (en inglés, Object Constraint Language) se pueden utilizar para modelar y validar respectivamente, 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.