Controles semánticos para modelamiento orientado a objetos

Abstract

En un sentido general, un modelo es "una abstracción de algo con el propósito de entenderlo antes de construirlo". Los modelos omiten detalles no esenciales, facilitando así el análisis de las propiedades de entidades demasiado complejas para ser entendidas directamente. Así como desde tiempos remotos las obras de ingeniería, arte o artesanía se construyen a partir de modelos, también para las distintas etapas del desarrollo de todo software resulta el Modelamiento una actividad crucial. Es posible construir distintos modelos de un mismo sistema, cada uno enfatizando determinados aspectos que abstraen al sistema desde un punto de vista particular. Como cada uno de estos modelos enfoca la atención sobre determinados detalles mientras simplifica otros que no resulten importantes desde esa perspectiva, un sistema complejo podrá ser representado por una serie de pequeños modelos complementarios que facilitarán su entendimiento. En el proceso de desarrollo del software, un mismo modelo puede ser expresado a niveles diferentes de abstracción, según sea su propósito mostrar los requisitos y conocimiento del dominio, ayudar en el diseño del sistema, comunicar las decisiones de diseño, organizar un sistema complejo, documentar el sistema final, etc. Por consiguiente, la elección del modelo influirá profundamente en el enfoque del problema y en el aspecto de su solución.