Controles semánticos en el modelamiento orientado a objetos

1.Introduccion En un sentido general, un modelo es "una abstraccion de algo con el proposito de entenderlo antes de construirlo" [2]. Los modelos omiten detalles no esenciales, facilitando asi el analisis de las propiedades de entidades demasiado complejas para ser entendidas directamente. Asi como desde tiempos remotos las obras de ingenieria, arte o artesania se construyen a partir de modelos, tambien para las distintas etapas del desarrollo de todo software resulta el Modelamiento una actividad crucial.