Resumen de El lenguaje de OCL para UML 2.0: síntesis y evaluación

Heinrich Hussmann, Steffen Zschaler

• paralelamente al lanzamiento de UML 2.0 (Unified Modeling Language), se ha publicado también una nueva versión del OCL (Object Constraint Language). OCL es un lenguaje para la descripción textual precisa de restricciones que se aplican a los modelos gráficos UML. El nuevo estándar OCL 2.0 va mucho más allá que el lenguaje anterior, no tanto en características sino principalmente en el enfoque elegido para exponer fundamentos mucho más precisos y formales para el lenguaje. Este trabajo, escrito por miembros del equipo que ha desarrollado OCL 2.0, brinda una síntesis de los nuevos aspectos de este lenguaje la vez que proporciona una discusión crítica acerca de algunos aspectos seleccionados del mismo.