CHEQUEO DE INCONSISTENCIAS ENTRE LOS DIAGRAMAS DE CLASES Y DIAGRAMAS DE SECUENCIA MEDIANTE OCL

Cada vez son más las personas que utilizan UML para modelar sus sistemas, los diseñadores encuentran en UML la posibilidad de representar todo el sistema desde diversos puntos de vista estáticos y dinámicos, además por ser una construcción gráfica que se apoya en el lenguaje natural, resulta muy intuitivo a la hora de interpretarlo para su implementación. El UML fue adoptado por el Object Management Group (OMG) como el estándar para el modelado orientado a objetos en 1997 (UML 1.1), fue definido por una sintaxis abstracta, un conjunto de reglas de buen uso (especificadas en OCL) y una semántica expresada en lenguaje natural. Estas definiciones se han ido refinando y corrigiendo a través de nuevas versiones, hoy contamos con UML 2.0, versión publicada en septiembre de 2004, que incluye en sus especificaciones la superestructura y la infraestructura, las cuales definen la sintaxis y semántica del lenguaje, así como el lenguaje de restricciones OCL y el XMI (XML Metadata Interchange).

Algunas de las reglas del UML que son consideradas necesarias están expresadas formalmente en [OMG07], para asegurar su correcta utilización en el modelado. Otras, principalmente las reglas semánticas, son definidas informalmente para dar mayor flexibilidad y poder expresivo a los diseños en los diferentes niveles de abstracción, por diferentes metodologías de modelado o para diversos dominios de aplicación. Esta flexibilidad, sin embargo, se presta para una serie de ambigüedades que pueden terminar en errores de interpretación e inconsistencias en los modelos.

La importancia de revisar la consistencia de los modelos UML recae, por un lado, en la exactitud, generalmente un problema de inconsistencia revela errores en el diseño o en el uso del UML, si estas inconsistencias se detectan rápidamente, el impacto en el desarrollo del sistema es menor y resulta más económica la corrección de errores. Por otra parte, cuando no se detectan las inconsistencias, estas pueden pasar como errores a la etapa de implementación, lo que generaría errores en el sistema desarrollado. Corregir errores en la etapa de desarrollo suele ser muy costoso, complejo y demandar grandes periodos de tiempo, ya que un error puede incluso llevar a la redefinición de módulos o componentes dentro del sistema.

En las clasificaciones de consistencias según, consistencia intra-modelo (consistencia horizontal) es la propiedad que tiene un modelo de asegurar la conformidad sintáctica y semántica entre los modelos de una misma versión de un diseño, consistencia Inter-modelo (consistencia vertical) se da entre diagramas relacionados por una o más relaciones de transformación, es decir cuando un diagrama es un refinamiento de otro, por ejemplo, la relación entre el diagrama de clase y la primera versión del código fuente. Dentro de estas clasificaciones se puede considerar la evolución de los diagramas, un diagrama es

...