Modelado conceptual con un lenguaje formal orientado a objeto

Abstract

El modelado conceptual tiene por objetivo el establecer los requisitos funcionales del sistema. El modelo conceptual establece el vínculo entre el espacio del problema y el espacio de la solución, constituyendo la base para las tareas posteriores en el desarrollo del sistema de información. Los enfoques más populares para abordar el modelado conceptual están basados en notaciones informales, donde la verificación y validación suelen ser poco exhaustivas y difíciles de realizar. Los métodos formales ofrecen una mejora en estos aspectos pero su introducción en entornos industriales de desarrollo de software no se ha popularizado por carencia de métodos y herramientas adecuadas. OASIS es un enfoque formal para el modelado conceptual orientado a objeto. En OASIS, desde sus primeras versiones se ha puesto especial hincapié en su utilización como modelo subyacente en métodos y herramientas de aplicabilidad industrial. Así, siguiendo el modelo OASIS, se han desarrollado una serie de herramientas integradas en un entorno CASE y un método ad hoc denominadoOO-METHOD. Este artículo presenta algunas de las principales características incluidas en la última versión de OASIS. Se describen brevemente los conceptos generales del modelo OASIS y se recorren algunos aspectos del lenguaje de especificación asociado.