Portal de Periódicos da CAPES

ESPECIFICACIÓN FORMAL EN OCL DE REGLAS DE CONSISTENCIA ENTRE LOS DIAGRAMAS DE CLASES Y CASOS DE USO DE UML Y EL MODELO DE INTERFACES

2008; University of Medellín; Volume: 7; Issue: 12 Linguagem: Espanhol

2248-4094

Carlos Mario Zapata Jaramillo, Guillermo González,

Engineering and Information Technology

En el ciclo de vida del software, durante las fases de definicion y analisis, se realiza una especificacion de los requisitos. Para ello, es necesario realizar un proceso de captura de las necesidades y expectativas de los interesados, que se traduce posteriormente en un conjunto de modelos que representan tanto el problema como su solucion. Por lo general, la mayoria de esos modelos se expresan en el lenguaje de modelado unificado –UML-, que define un conjunto de artefactos que permiten especificar los requisitos del software, los cuales deberian guardar consistencia, cuando se trate del mismo modelo. Sin embargo, la consistencia entre diferentes artefactos no se encuentra definida en la especificacion de UML y poco se ha trabajado con este tipo de consistencia. En este articulo se propone un metodo para verificar la consistencia entre el diagrama de clases y el diagrama de casos de uso de UML de una manera formal. Dicho proceso se lleva a cabo evaluando una serie de reglas definidas en el lenguaje de restricciones de objetos –OCL- que se deben cumplir para garantizar que la informacion brindada por dichos modelos sea consistente. Como se reconoce la participacion de los dos diagramas en la elaboracion de las interfaces graficas de usuario –GUI–, se define adicionalmente la consistencia con este artefacto.