Un framework para el chequeo de consistencia en modelos uml

Abstract

Es indudable hoy en día que el desarrollo de software se ha convertido en una actividad de gran importancia, principalmente, debido a que puede repercutir en diversas actividades cotidianas de las personas. Dada dicha diversidad de actividades que abarcan los desarrollos, los equipos de trabajo suelen estar constituidos a su vez por personas que trabajan en áreas muy diversas. Resulta entonces vital para estos grupos de trabajo contar con un lenguaje común que les permita comunicarse de mejor manera. Justamente con esta intención es que nace UML (Unified Modeling Language) que se ha transformado en el lenguaje de modelado de sistemas de software más utilizado en la actualidad. UML es un lenguaje gráfico para visualizar, especificar, construir y documentar sistemas de software. Básicamente ofrece una familia de diagramas para describir distintos aspectos del sistema, incluyendo aspectos conceptuales tales como procesos de negocios y funciones del sistema, y aspectos concretos como expresiones de lenguajes de programación, esquemas de bases de datos y componentes de software reutilizables. UML fue adoptado por el OMG (Object Management Group) en el año 1997 como el estándar de-facto para el modelamiento orientado a objetos. Desde entonces atravesó varias revisiones y refinamientos hasta llegar a la versión actual (UML 2.0) aprobada en octubre de 2004 [11]. Si bien, como fue mencionado anteriormente, UML 2.0 es el estándar dentro en la industria, esto no significa que sea definitivo ya que cuenta con una serie de dificultades. De hecho, no define una clara relación entre la semántica de los distintos diagramas, ni ofrece políticas de versionamiento en el caso de la evolución de un modelo. Estas dificultades son justificadas aduciendo a que no toda inconsistencia es accidental. Por ejemplo, cuando se hace un diseño abarcando desde lo global a lo particular, se inicia el proceso de diseño con un modelo incompleto, por lo tanto inconsistente. Indudable es que el uso de herramientas CASE facilita bastante la labor del diseñador, sobre todo en desarrollos de gran tamaño y complejidad. Sin embargo, dada la posición de los creadores de UML respecto a la validez de las inconsistencias, el usuario de UML debe preocuparse de las inconsistencias en forma manual.