miércoles, 7 de diciembre de 2011

Lenguaje de Especificación OCL 2.0


En Ingeniería en Sistemas no deben de existir holguras, o al menos no hay que tener lagunas en el aprendizaje o en los procesos que esto conlleva, por lo pronto traigo este pequeño eslabón del Lenguaje Unificado de Modelado.

LENGUAJE DE ESPECIFICACIÓN DE OBJETOS [OCL]
Es un lenguaje para la descripción formal de expresiones en los modelos UML. Sus expresiones pueden representar:
  • Invariantes
  • Precondiciones
  • Inicializaciones
  • Guardias
  • Reglas de derivación
  • Consultas a objetos
Se trata de un lenguaje sin efectos de borde de manera que la verificacion de una condición que se presupone una operación instantánea, nunca altera los objetos del modelo. Su papel principal es el de "compleatar los diferentes artefactos de la notación UML" con requerimientos formalmente expresados.


UML 2.0 OCL Specification
Especificación Oficial "Inglés"
LENGUAJE DE ESPECIFICACIÓN DE OBJETOS
Introducción Breve "Español"

No hay comentarios:

Publicar un comentario en la entrada