Varios

Interpretación Ejecutable de Modelos Estructurales UML
Enriquecidos con Restricciones OCL
J. M. Cañete, F. J. Galán, M. Toro
Dep. Lenguajes y Sistemas Informáticos, Facultad de Informática
Avenida Reina Mercedes s/n c.p.: 41012-SEVILLA-ESPAÑA
Fax: 95 4557139 e-mail: {canete@arturo.lsi.us.es, galanm@arturo.lsi.us.es}

Resumen

Los formalismos de especificación gráfico-textuales para elanálisis de sistemas orientados a
objetos presentan un importante equilibrio entre cantidad de información, precisión y legibilidad.
Nuestro interés se centra en traducir, automáticamente, especificaciones de sistemas expresados
gráfico-textualmente a programas ejecutables. La corrección y no interactividad en la traducción
serán las características más importantes de nuestro método.
Palabrasclaves: sistemas orientados a objetos, modelado,restricciones, unified modelling language,
object constraint language, especificación ejecutable, corrección, equivalencia semántica,
metamodelo.

1. Introducción
Una técnica ampliamente usada en ingeniería del software es modelar un sistema mediante combinación de vistas del
sistema que son semánticamente compatibles [CD94]. El primer beneficiode esta aproximación es un mejor manejo
de los sistemas complejos y detección de inconsistencias en etapas tempranas del análisis. Normalmente, el
modelado se compone de una vista estructural, otra dinámica y otra funcional.
El modelo estructural describe la relación entre las clases de componentes del sistema y la configuración de los
propios componentes del mismo. El modelo dinámico describeel ciclo de vida de los componentes del sistema y el
modelo funcional describe las transformaciones de datos, e invariantes del sistema.
Llamamos formalismos de especificación gráfico-textual a notaciones gráficas (ej. Object Modelling Technique
(OMT), notación de Booch, OOSE, Unified Modelling Language (UML), ...etc.) más una notación formal para
especificar restricciones que se integra comotexto en la notación anterior (ej. subconjuntos de Z o VDM, OCL, etc).
Esto nos permite disponer de precisión a través del lenguaje de restricciones sin perder el impacto visual de la parte
gráfica. Por otra parte, las notaciones gráficas de análisis (y diseño) son más accesibles que las notaciones asentadas
en la teoría formal de conjuntos.

El formalismo gráfico-textual adoptado en estetrabajo es la combinación de UML (Unified Modelling Language)
[UML971] para la parte gráfica y Object Constraint Language (OCL) [OCL97] como lenguaje formal para
especificar restricciones. No ha habido una razón especial para la elección de UML, si bien nos parece una notación
que fusiona las notaciones Booch, OMT y OOSE. Sin embargo, si lo ha habido para la elección de OCL ya que se
trata deun lenguaje de fácil lectura y escritura y puede ser ejecutable sin necesidad de una traducción compleja.

OCL se caracteriza por ser un lenguaje sin efectos laterales; por tanto, no altera el estado del sistema. Se trata de un
lenguaje tipado; esto significa que toda expresión OCL tiene un tipo. En una expresión OCL todos los tipos deben
ser conformes; por ejemplo no podemos comparar un enterocon una cadena. Toda expresión OCL es
conceptualmente atómica. El estado de los objetos en el sistema no puede cambiar durante su evaluación. Usaremos
OCL para especificar invariantes sobre clases y tipos en el modelo de clases, describir pre y post condiciones de
operaciones y métodos, describir guardas y como lenguaje de navegación a través del modelo.

Los diagramas de UML son: diagramasde objetos que representan los objetos y sus relaciones, diagramas de
secuencia que representan las interacciones de los objetos en el tiempo, diagramas de estado-transición que
representan el comportamiento de una clase en términos de estado, diagramas de clases que representan la estructura
estática en términos de clase, diagramas de actividades que representan el comportamiento de una...