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

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 ydiná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 ObjectManagement 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 unasemá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 ensus especificaciones la superestructura y la infraestructura, las cuales definen la sintaxis y semántica del lenguaje, así como el lenguaje de restricciones OCL [OCL03] y el XMI (XML MetadataInterchange).

Algunas de las reglas del UML que son consideradas necesarias están expresadas formalmente en, para asegurar su correcta utilización en el modelado. Otras, principalmente las reglassemá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 deaplicació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 laconsistencia 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 detectanrá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...